verification

验证

61 Questions
SDF Warning: $setup/hold不支持负值？
ExASIC1
•
0 0 92
postsim verification
parameter与define不同使用场景
jillian1
•
0 1 83
verification
imc merge可以吃case list吗
ExASIC1
•
0 1 39
coverage verification
sram初始化成随机值的时候，是加+initmem然后加啥来着
ExASIC1
•
0 1 46
verification
宏传不进去，怎么debug
ExASIC1
•
0 2 97
verification
跑综合网表的门级仿真是否有意义？
ExASIC1
•
0 0 56
postsim verification
后仿的notiminglist，有方法指定某个特定模块和它包含的所有子模块吗？
ExASIC1
•
0 1 65
postsim verification
TB中的test放在了package中，如果某条case想要关闭dut中的某条assertion，应当怎么关闭？
ExASIC1
•
0 0 11
assertion verification
xrun -coverage all 在imc打开只看到overall，没有其他类型的覆盖率数据？
ExASIC1
•
0 0 11
coverage verification
有什么办法可以对rtl加密还能进行综合？
ExASIC1
•
0 0 80
synthesis verification