保序模塊的formal fpv驗(yàn)證
所屬分類(lèi):技術(shù)論文
上傳者:aetmagazine
文檔大小:1007 K
標(biāo)簽: formal FPV 保序模塊
所需積分:0分積分不夠怎么辦?
文檔介紹:與simulation驗(yàn)證相比,formal驗(yàn)證方法可以在短時(shí)間內(nèi)遍歷所有可能的激勵(lì),大大提高驗(yàn)證的效率。保序模塊與時(shí)序控制以及流水線(xiàn)控制密切相關(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專(zhuān)家下載不扣分;重復(fù)下載不扣分,本人上傳資源不扣分。
主站蜘蛛池模板: 日韩欧美视频在线一区二区 | 国产精品久久久久久久毛片 | 欧美性色xo在线 | 一区视频在线播放 | 日韩欧美中文字幕在线视频 | 亚洲精国产一区二区三区 | 亚洲视频精品在线 | 91精品国产色综合久久不 | 免费一级毛片在级播放 | 国产午夜免费视频片夜色 | 日本精品久久久久久久久免费 | 久久99国产亚洲精品观看 | 一级做a爱 一区 | 一级毛片私人影院免费 | 欧美一级淫片免费播放口 | 免费观看成人www精品视频在线 | 国产成人久久精品一区二区三区 | 欧美精品片在线观看网站 | 欧美在线香蕉在线现视频 | 国产自愉自愉全免费高清 | 欧美生活片在线 | 国产成人一区二区视频在线观看 | 三级中文字幕 | 欧美韩国xxx| 日本免费的一级绿象 | 日韩久久一级毛片 | 国产精品爱久久久久久久小 | 久久91精品国产91久久小草 | 日韩 综合 | 手机在线国产精品 | 久草在线免费资源站 | aaa国产一级毛片 | 成人爽a毛片在线视频网站 成人爽爽大片在线观看 | 国产欧美亚洲精品一区 | 欧美一区欧美二区 | 手机看片国产日韩 | 欧美日韩一区二区三区久久 | 久久综合九色综合欧洲色 | 欧美成一级 | 国产亚洲精品成人一区看片 | 国产小网站 |