网络列表验证/分析

这个验证阶段通常需要重新模拟netlist上的rtl测试套件,并使用反注释的时间。因为这个过程对大多数人来说相当耗时,复杂设备,有时,逻辑等价性检查(LEC)可以用来增强这种方法。

用于网络列表模拟的ModelSim或Questa

根据您的RTL模拟方法,您可以使用相同的方法和测试套件进行netlist验证,即。,用于传统模拟的ModelSim和用于更高级方法的Questa。

了解有关ModelSim的更多信息
进一步了解Questa

逻辑等价性检验的形式

福尔马波罗使用形式(数学)方法将一个模型与另一个模型进行比较,以确定它们在功能上是否等效。这在DO-254流中特别有用,用于验证合成(或放置和路由)网络列表的功能是否与RTL相同。甲缩醛可以单独使用,也可以与精密合成集成在一起。

进一步了解福尔马波罗