Formal
文章平均质量分 54
Vinson_Yin
这个作者很懒,什么都没留下…
展开
-
Formal -- VC Formal DPV study
VC formal studyDPV原创 2024-09-05 10:57:51 · 291 阅读 · 0 评论 -
Formal -- VC Formal FPV study
VC formal study原创 2024-02-29 14:56:57 · 1035 阅读 · 0 评论 -
Formal Experience Record
JasperGold1. 痛点 有太多的property 不能被prove 解决方法:1.Register 一个cycle配置完,直接把config 接到DUT上2.Abstract DUT internal counter, DUT内部每次加1的counter看看是否可以每次+2或者更大的指3.Decrease delay of interface handshake(valid and ready)4.block-box 不必须的module5.增加cycle cou..原创 2020-10-14 16:49:04 · 321 阅读 · 0 评论