[發明專利]一種寄存器傳輸級N模冗余驗證方法

在審

• 申請號: 201611187712.4
• 申請日: 2016-12-20
• 公開（公告）號: CN106802848A
• 公開（公告）日: 2017-06-06
• 發明（設計）人: 馮志華;沈煒;閆帥;陳麗容;王志昊;王紀;李東方;朱秋巖;王宏;孟超;胡亞云;葉東升;張建偉;慕德俊
• 申請（專利權）人: 北京計算機技術及應用研究所
• 主分類號: G06F11/26
• 分類號: G06F11/26
• 代理公司: 中國兵器工業集團公司專利中心11011
• 代理人: 張然

1.一種寄存器傳輸級N模冗余設計的半自動化驗證方法，其特征在于，包括：

將測試激勵輸入待驗證平臺；

對n模冗余的待驗證平臺的寄存器的輸出進行檢查；

接收待驗證平臺的寄存器1-n的輸出值，判斷寄存器1-n的輸出值是否相等，如相等則此步驗證通過；

定義二進制數值data，位寬為n；每個系統時鐘給data的最低位加1，將data的n位的每一位分別賦給寄存器1-n，待驗證平臺根據每個系統時鐘的上升沿的寄存器1-n的值，在每個系統時鐘的下降沿，輸出投票輸出結果；

在每個系統時鐘，計算所有寄存器值為1和0的寄存器的數量，如寄存器值為1的寄存器較多，則a＝1，如寄存器值為0的寄存器較多，則令a＝0；檢查待驗證平臺的投票輸出結果是否等于a，數量最多的取值，如等于，則本步驗證通過；

對于寄存器等價檢查，通過寄存器等價檢查斷言實時檢查待測N模冗余的寄存器是否相等，如果不相等則會通過仿真器輸出不相等的時刻和不相等的寄存器值，并得出驗證不通過的結論；在驗證三模冗余設計時，寄存器等價檢查模塊中的寄存器等價檢查斷言如下所示：

該斷言的含義是，在CLK時鐘下降沿的時候檢查寄存器r1、r2以及r3是否互相相等，如果不相等，斷言失敗并會在仿真器中報告此時的仿真時間，此時寄存器r1、r2以及r3的取值并報告出驗證失敗的提示；

執行投票功能檢查中，驗證方法生成的投票功能檢查模塊，會不斷改變冗余的寄存器的值，使它們取到實際中可能會存在的所有情況，并使用投票檢查斷言檢驗投票功能是否符合少數服從多數的準則，如果不滿足則會向測試人員報告投票功能存在缺陷的時刻、此刻投票結果的，并得出驗證不通過的結論；在驗證三模冗余設計時，生成的投票功能檢查模塊會執行以下操作：定義二進制變量data，位寬為3，data能夠進行8種取值；將Data的最低位等于寄存器r1的值，data的中間位等于r2，data的最高位等于r3；投票檢查的斷言的含義是在CLK時鐘下降沿的時刻，檢查投票輸出結果是否等于r1、r2以及r3這3個寄存器中數量最多的取值，如果不滿足，斷言失敗并會在仿真器中報告此時的仿真時間、不滿足的投票結果并報告出驗證失敗提示；

如上述驗證均通過，則認為待驗證平臺測試通過。

2.如權利要求1所述的寄存器傳輸級N模冗余設計的半自動化驗證方法，其特征在于，在每個系統時鐘的下降沿，計算所有寄存器值為1和0的寄存器的數量。

3.如權利要求1所述的寄存器傳輸級N模冗余設計的半自動化驗證方法，其特征在于，對data進行2的n次方種取值測試。

4.如權利要求1所述的寄存器傳輸級N模冗余設計的半自動化驗證方法，其特征在于，獲取n模冗余的模塊位置、寄存器名稱以及測試激勵名稱。