08-逻辑仿真工具VCS-mismatch

逻辑仿真工具VCS

mismatch,预计的仿真结果和实际仿真结果不同,寻找原因?

• 首先考虑代码,,不要让代码跑到工具的盲区中
• 其次考虑仿真工具的问题
  
• +race -- 将竞争冒险的情况写到文件中
  
• 不同仿真工具仿真出来的结果不同,不同版本的仿真器,仿真出来的结果不同
• RTL级仿真和门级仿真结果不同

1. VCS事件仿真队列

2. 同时读写产生竞争冒险

3. 阻塞赋值产生的问题

• 不定态只有在仿真的时候才存在
  

4. Reset初始化导致的mismatch

5. time-zero races

6. FF Race

• 使用阻塞赋值
  

7. Coding Style

8. Race编译选项