保序模塊的formal fpv驗(yàn)證
所屬分類：技術(shù)論文
上傳者：aetmagazine
文檔大?。?span>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ù)下載不扣分,，本人上傳資源不扣分,。