在DC中使用tcl腳本綜合和Formality一致性檢查

Design Compiler工藝庫的更換 通過上一節的基本操作，我們學會了如何使用design compiler綜合一個電路，但是由於centos自帶的庫class中沒有寄存器的相關映射，而導致綜合失敗，因此在eetop論壇上下載了新的庫smic180，這個庫需要的東西應有盡有完全可以滿足此次實驗內容要求：  因爲工藝角的不同，區分爲FF SS TT，這次就使用tipical當做庫文件，相應的，

>>阅读原文<<