本發(fā)明屬于一種三模冗余措施的驗證方法,包括以下步驟:生成經過三模冗余措施的綜合后的FPGA網表文件,并選取經過三模冗余措施的關鍵寄存器的輸入-輸出;將三模冗余情況分為有效和失效的情況進行考慮;對所有的經過三模冗余措施的寄存器進行輸入-輸出結構選擇并重復步驟(1)~步驟(2),直至所有的寄存器三模冗余有效性的情況均得到驗證;根據(jù)6種情況分別在門級仿真和時序仿真情況下進行三模冗余措施的有效性驗證。其優(yōu)點是,可以選定關鍵寄存器進行驗證,最終測試結果可判斷預測且可觀測;既可以模擬實際情況,又可以模擬多種環(huán)境條件下的所有情況,可以準確驗證三模冗余措施的有效性;驗證時間短,操作簡單。
聲明:
“三模冗余措施的驗證方法” 該技術專利(論文)所有權利歸屬于技術(論文)所有人。僅供學習研究,如用于商業(yè)用途,請聯(lián)系該技術所有人。
我是此專利(論文)的發(fā)明人(作者)