标签： synthesis equivalence asic cadence
我一直在阅读有关LEC工具（Cadence随形工具）的信息，在用户指南中，他们说，不等价的点是基于共同的支持进行分组的。 没有解释什么是支撑或普通支撑。 有人可以解释一下他们是什么吗？ 还提到了DFF支持。我无法理解它们是什么，因此我用Google搜索并且找不到任何东西。
我会很感激。