| 保序模塊的formal fpv驗(yàn)證 | |
| 所屬分類：技術(shù)論文 | |
| 上傳者：aetmagazine | |
| 文檔大小：1007 K | |
| 標(biāo)簽： formal FPV 保序模塊 | |
| 所需積分：0分積分不夠怎么辦？ | |
| 文檔介紹：與simulation驗(yàn)證相比，formal驗(yàn)證方法可以在短時(shí)間內(nèi)遍歷所有可能的激勵(lì)，大大提高驗(yàn)證的效率。保序模塊與時(shí)序控制以及流水線控制密切相關(guān)，設(shè)計(jì)規(guī)模較大，邏輯復(fù)雜度較高。介紹了使用formal fpv驗(yàn)證保序模塊的流程，并對(duì)JasperGold debug結(jié)果進(jìn)行了分析，采用formal fpv驗(yàn)證能提高驗(yàn)證效率，加快驗(yàn)證收斂速度。 | |
| 現(xiàn)在下載 | |
| VIP會(huì)員，AET專家下載不扣分；重復(fù)下載不扣分，本人上傳資源不扣分。 | |
formal 相關(guān)資源
aetmagazine 的最新分享
- 國(guó)產(chǎn)高性能PLC綜合測(cè)試平臺(tái)設(shè)計(jì)
- 批產(chǎn)衛(wèi)星自動(dòng)化測(cè)試系統(tǒng)研究與實(shí)現(xiàn)
- 基于VMD-LSTM的非侵入式負(fù)荷識(shí)別方法
- 基于平均電流模式的同步Buck數(shù)字電源設(shè)計(jì)研究
- 基于以太網(wǎng)的FPGA遠(yuǎn)程調(diào)試系統(tǒng)設(shè)計(jì)
- 毫米波CQFN外殼地孔設(shè)計(jì)與優(yōu)化
- K波段緊湊型收發(fā)前端組件的設(shè)計(jì)
- 射頻模塊中晶振對(duì)電磁兼容影響研究
Copyright ? 2005-2024 華北計(jì)算機(jī)系統(tǒng)工程研究所版權(quán)所有 京ICP備10017138號(hào)-2