数字IC芯片验证流程及验证软件推荐？

流程：

1.阅读spec

2.根据spec，制定testplan

3.根据testplan，写testcase

4.搭建验证环境

5.跑仿真并debug

6.持续跑 RTL regression

7.持续跑 SDF regression

8.收集代码/功能覆盖率，并完善testplan和增加testcase。

验证软件之前主要是被美国三大大公司所垄断，目前国内也有多家芯片设计验证软件公司如雨后春笋快速发展，比如性价比比较高的上海弗摩电子科技有限公司的形式验证解决方案的库产品PNFlib，拥有出色的权威性、全面性、可靠性和易用性，可验证某些最艰巨的 SoC 设计挑战，它包括值注释、原理图查看、源代码浏览和分析报告速度分析，涵盖了整个形式验证领域的大部分典型设计案例和常规应用流程。

这个是为了验证数据是不是正确做的校验运算。先把前面的len个字节变成16进制加在一起，结果是一个16bit的数字，然后将这个16bit的数变成负的，（0-x）得到的就是x的负数，最后将这个16bit的数高8bit放到len为止，而第8bit放到len+1的位置。

---