Cadence Perspec System Verifier 23.03新版本，实测了一下，改进不少。
主要改进：
– 用例生成速度提升30%
– 覆盖率分析更细致
– 边界情况自动识别更准
– 报告导出格式优化
实测感受：
– 跑同样的规格说明，生成用例确实快了
– 覆盖率报告更直观，哪个功能没覆盖一眼看到
– 边界情况识别比老版本准，之前漏掉的case现在能抓到
踩坑记录
第一个坑：老工程迁移过来要重新跑。新版本的用例生成算法变了，老工程的测试用例要重新生成。
第二个坑：服务器配置要求高了。新版本跑起来更吃内存，服务器配置不够会很慢。
第三个坑：规格说明要写得更规范。新版本识别更准了，但前提是你的规格说明写得清楚。模糊的说明生成的用例也不对。
