一种新式的"可扩展"验证策略

现有的设计和验证方式存在的问题是：验证处于设计的从属地位。由于很多相关原因必须改变这种现状，特别在大规模高复杂度电子系统的时代，这个改变尤其需要。功能错误是导致设计返工的主要原因。而作为检测那些错误的功能验证过程．是设计流程中最大的瓶颈。一般来说，验证工作至少占整个设计活动的50％。