Chip123 科技應用創新平台

標題: 帶門控的網表和不帶門控的網表做formality [打印本頁]

作者: fengzhepianzhou 時間: 2013-9-30 12:18 PM
標題: 帶門控的網表和不帶門控的網表做formality
由於用RTl和帶門控的網表對比，時間太長，於是在做完DC后刪除門控，產生兩個網表，一個帶門控，一個不帶。但是做formality的時候，rtl和不帶門控的沒有問題，這兩個網表對比缺失敗在門控后的reg，從pattern上看，顯然兩個reg的輸入不相同在CP為零的時候，但問題是，CP為零的時候，這個時候輸入肯定不同，但輸入一樣啊，帶門控的位holding 1 ，不帶門控的為loading 1.為何 formality 認為兩個不等？

歡迎光臨 Chip123 科技應用創新平台 (http://chip123.com/)