一種基于斷言的處理器驗證方法、裝置及電子設(shè)備

基本信息

申請?zhí)?/td> CN202210150169.X 申請日 -
公開（公告）號 CN114519332A 公開（公告）日 2022-05-20
申請公布號 CN114519332A 申請公布日 2022-05-20
分類號 G06F30/398（2020.01）I;G06F30/34（2020.01）I 分類 計算；推算；計數(shù);
發(fā)明人 施軍;葉晨 申請（專利權(quán)）人 超?？萍迹ㄩL沙）有限公司
代理機(jī)構(gòu) 北京風(fēng)雅頌專利代理有限公司 代理人 -
地址 410006 湖南省長沙市高新開發(fā)區(qū)麓松路459號東方紅小區(qū)延農(nóng)綜合樓7樓卡-657
法律狀態(tài) -

摘要

摘要 本發(fā)明公開了一種基于斷言的處理器驗證方法、裝置及電子設(shè)備，該方法包括：構(gòu)建斷言數(shù)據(jù)庫，該斷言數(shù)據(jù)庫包含多個待檢查斷言的斷言檢查表達(dá)式以及對應(yīng)的斷言編碼；定義斷言檢查機(jī)制；該斷言檢查機(jī)制定義為在斷言數(shù)據(jù)庫中任一個斷言檢查表達(dá)式滿足斷言觸發(fā)條件時，判定處理器狀態(tài)發(fā)生異常；在接收到處理器設(shè)計指令時，將斷言數(shù)據(jù)庫和斷言檢查機(jī)制集成到處理器中，并等待接收處理器驗證指令；在接收到處理器驗證指令時，通過斷言檢查機(jī)制檢查處理器的內(nèi)部狀態(tài)；在處理器狀態(tài)發(fā)生異常時，啟動異常處理機(jī)制，以生成處理器異常報告。本發(fā)明提高了處理器驗證的速度以及處理器設(shè)計的靈活性，同時有利于提高處理器后續(xù)調(diào)試的便利性。