什么是形式验证 现在做集成电路好像不提什么后仿真了。时髦的名词是“形式验证”。不知道这个“形式验证”是什 么东西 Formal Verification(形式验证) 由于后仿真对于超大规模设计来说太耗费时间,形式验证就出现了。当确认设计的功能仿真 是正确的以后, 设计实现的每一个步骤的结果都可以与上个步骤的结果做形式比较, 也就是等价 检查,如果一致就OK啦,不必进行仿真了。FV主要是进行逻辑形式和功能的一致性比较,是靠工 具自己来完成,无需开发测试向量。而且由于实现的每个步骤之间逻辑结构变化都不是很大,所 有逻辑的形式比较会非常快。这比仿真的时间要少很多。