在正式属性验证（FPV）流程中不要过度限制约束条件

正式产权验证（FPV）越来越多地被用于为系统级芯片（SoC）验证补充模拟。添加FPV到您的验证流程，可以大大加快核查结束和找到强硬极端情况的错误，但要了解技术之间的差异是很重要的。的主要区别在于，FPV使用性能，即，断言和限制，而不是测试平台。断言在模拟中使用为好，但约束的作用是不同的。约束的理解是必要的成功使用FPV的。

点击这里阅读更多...