功能ECO理論基礎：邏輯等價性檢查（LEC）

邏輯錐Logic Cone 從數字網表的角度來看，可以把設計分成若干個「以DFF爲終點的邏輯塊」，如下圖。DFF的CK（時鐘）、Ｄ（數據）、RN（復位）、SN（置位）就是這個「邏輯塊」的終點，它們的輸入都是一個組合邏輯。時鐘和復位很可能是clock tree或者buffer tree，也可能有與門、或門、異或門、選擇器等稍複雜的邏輯。 （圖一） 如果設計（module）是組合邏輯輸出，也可想像在設

>>阅读原文<<