本發明公開了一種備份cell替換電路驗證方法、裝置、存儲介質和終端,提取備份cell替換電路轉換為Verilog代碼,失效cell替換完成后,根據隨機生成需要進行數據配置替換地址進行仿真驗證,判斷仿真結果成功則再根據隨機生成需要進行數據配置替換地址通過斷言驗證該地址是否在對應的時刻產生了替換使能信號,若是則說明備份cell替換電路對待測設計中失效cell的替換成功,反之替換失??;本方案通過將備份cell替換電路轉成Verilog代碼,系統可以自動隨機生成需要進行數據配置替換地址,以及對替換情況進行自動檢查,代替人工操作,極大地提高仿真速度;而且系統可以隨機大量生成替換激勵,大大增加驗證覆蓋率。
聲明:
“備份cell替換電路驗證方法、裝置、存儲介質和終端” 該技術專利(論文)所有權利歸屬于技術(論文)所有人。僅供學習研究,如用于商業用途,請聯系該技術所有人。
我是此專利(論文)的發明人(作者)