一種基于斷言的處理器驗(yàn)證方法、裝置及電子設(shè)備
基本信息
| 申請(qǐng)?zhí)?/td> | CN202210150169.X | 申請(qǐng)日 | - |
| 公開(kāi)（公告）號(hào) | CN114519332A | 公開(kāi)（公告）日 | 2022-05-20 |
| 申請(qǐng)公布號(hào) | CN114519332A | 申請(qǐng)公布日 | 2022-05-20 |
| 分類(lèi)號(hào) | G06F30/398（2020.01）I;G06F30/34（2020.01）I | 分類(lèi) | 計(jì)算；推算；計(jì)數(shù); |
| 發(fā)明人 | 施軍;葉晨 | 申請(qǐng)（專(zhuān)利權(quán)）人 | 超?？萍迹ㄩL(zhǎng)沙）有限公司 |
| 代理機(jī)構(gòu) | 北京風(fēng)雅頌專(zhuān)利代理有限公司 | 代理人 | - |
| 地址 | 410006 湖南省長(zhǎng)沙市高新開(kāi)發(fā)區(qū)麓松路459號(hào)東方紅小區(qū)延農(nóng)綜合樓7樓卡-657 | ||
| 法律狀態(tài) | - | ||
摘要
| 摘要 | 本發(fā)明公開(kāi)了一種基于斷言的處理器驗(yàn)證方法、裝置及電子設(shè)備，該方法包括：構(gòu)建斷言數(shù)據(jù)庫(kù)，該斷言數(shù)據(jù)庫(kù)包含多個(gè)待檢查斷言的斷言檢查表達(dá)式以及對(duì)應(yīng)的斷言編碼；定義斷言檢查機(jī)制；該斷言檢查機(jī)制定義為在斷言數(shù)據(jù)庫(kù)中任一個(gè)斷言檢查表達(dá)式滿(mǎn)足斷言觸發(fā)條件時(shí)，判定處理器狀態(tài)發(fā)生異常；在接收到處理器設(shè)計(jì)指令時(shí)，將斷言數(shù)據(jù)庫(kù)和斷言檢查機(jī)制集成到處理器中，并等待接收處理器驗(yàn)證指令；在接收到處理器驗(yàn)證指令時(shí)，通過(guò)斷言檢查機(jī)制檢查處理器的內(nèi)部狀態(tài)；在處理器狀態(tài)發(fā)生異常時(shí)，啟動(dòng)異常處理機(jī)制，以生成處理器異常報(bào)告。本發(fā)明提高了處理器驗(yàn)證的速度以及處理器設(shè)計(jì)的靈活性，同時(shí)有利于提高處理器后續(xù)調(diào)試的便利性。 |
