芯片设计完了，怎么验证系统功能对不对？手动写测试用例写不过来。Cadence Perspec System Verifier就是自动化生成测试用例的。
Perspec做什么：
– 根据规格说明自动生成测试用例
– 覆盖各种功能场景
– 找设计里的边界情况
– 提高验证覆盖率
使用流程：
1. 输入系统规格说明
2. Perspec自动生成测试用例
3. 把测试用例导入XCELIUM跑仿真
4. 看仿真结果找bug
踩坑记录
第一个坑：规格说明写得太模糊。Perspec根据你的规格生成测试用例，规格写得不清不楚，生成的用例也不对。
第二个坑：测试覆盖率不够。自动生成的用例不一定全覆盖。还要手动补一些边界情况。
第三个坑：跑仿真太慢。芯片规模大了，跑一次仿真要几个小时。用服务器集群并行跑。
