ASIC仿真:是使用真实的memery库,而不是虚拟的ram块(比如使用二维数组代替真实的ram),这样有利于发现在rtl中引入真实的memery库文件后,rtl本身是否会有bug出现(比如时序、功能问题)。
ASIC仿真是更加真实的电路仿真。
---------------------------------------------------------------------------------------------------------------------------------
DFT网表仿真:所有网表仿真加deposit文件是标准步骤,deposit文件作用是对网表中不带复位端的寄存器给初始值,否者可能引起X态传播,影响仿真。
- 也有可能有些没有复位端的寄存器在没有初始值的情况下,X态传播没有影响到当前用例激励的路径,所以会存在有些用例仿真通过,有些没过的情况。
- 注:网表仿真中的x态传播,条件中的x态是可能传播到赋值语句中的,如:if(A | B) C = D; 如果A、B中有x态有可能导致C为x态(D不为x态的前提下);