功能ECO理论基础：逻辑等价性检查（LEC）

逻辑锥Logic Cone 从数字网表的角度来看，可以把设计分成若干个“以DFF为终点的逻辑块”，如下图。DFF的CK（时钟）、Ｄ（数据）、RN（复位）、SN（置位）就是这个“逻辑块”的终点，它们的输入都是一个组合逻辑。时钟和复位很可能是clock tree或者buffer tree，也可能有与门、或门、异或门、选择器等稍复杂的逻辑。 （图一） 如果设计（module）是组合逻辑输出，也可想像在设

>>阅读原文<<