Jul 17, 2011 #1 A archillios Guest 大家好，我使用等效性检查流于形式，它的门，门检查。我的参考设计是一个网表顺序细胞通常事实上的，而执行设计网表，包括所有的2级锁存顺序细胞。匹配是确定的，但在验证阶段，几乎所有的顺序比较点失败。当我调试的故障模式，我发现，它似乎的工具是试图验证之间事实上的部队/ Q（REF）和2级DFF（IMP）一级锁存。我怎样才能打通？感谢。
大家好，我使用等效性检查流于形式，它的门，门检查。我的参考设计是一个网表顺序细胞通常事实上的，而执行设计网表，包括所有的2级锁存顺序细胞。匹配是确定的，但在验证阶段，几乎所有的顺序比较点失败。当我调试的故障模式，我发现，它似乎的工具是试图验证之间事实上的部队/ Q（REF）和2级DFF（IMP）一级锁存。我怎样才能打通？感谢。
Jul 17, 2011 #3 A AlexWan Guest 您好archillios，通常情况下，正规的工具将使DFFs的比较过程中的关键点和黑盒子。它会分析的关键点之间的逻辑块functonality。所以，如果它不能找到相应的关键点，也不会检查两者之间的设计functionlity。
您好archillios，通常情况下，正规的工具将使DFFs的比较过程中的关键点和黑盒子。它会分析的关键点之间的逻辑块functonality。所以，如果它不能找到相应的关键点，也不会检查两者之间的设计functionlity。
