1.一種檢查不同類型庫單元正確性及一致性的方法，涉及到EDA設(shè)計工具的主要特征為:
1）自動檢查集成電路設(shè)計中庫（Library）本身的正確性以及庫單元之間的一致性，并提供檢查報告和結(jié)果的圖形化顯示；
2）在當(dāng)前工作目錄建立“workspace”，保存設(shè)計者所有的庫單元文件，包括不同版本下的不同類型的多套庫信息；
3）在“workspace”下建立“session”，保存一套庫的整體信息，對應(yīng)某一版本的庫；
4）在“session”下導(dǎo)入各個庫單元文件，在每個庫單元下建立不同的“view”； 例如LEF/GDS/CDL/Verilog/Timing liberty等；
5）在某一庫單元類型“view”下建立“corner”，對屬于相同類型的不同庫單元進(jìn)行再分組；例如，Timing liberty類型的庫，不同的設(shè)計場景下會有不同的庫文件與之對應(yīng)，可以存放在相應(yīng)的corner下；
6）針對某一具體的庫單元，可以針對其正確性進(jìn)行自我檢查“self-check”；
7）針對不同類型的庫單元之間，可以針對其一致性進(jìn)行對比檢查“cross-check”；
8）針對相同類型的庫單元之間，可以比較其性能差異“compare”。
2.具有特征（2）、（3）、（4）、（5）的組合。
3.具有特征（1）、（6）、（7）、（8）的組合。