[发明专利]一种检查不同类型库单元正确性及一致性的方法

摘要

随着超大规模集成电路的不断发展，设计者会面对越来越多、越来越复杂的设计库（Library）。如何保证库单元的正确性以及库单元之间的一致性，提高设计质量已经成为了业界关注的焦点。本文提出了一种方法，利用workspace/session/view/corner等概念，可以有效地层次化组织和管理不同类型、不同版本的多个库单元文件。针对某一具体的库单元，可以针对其正确性进行自我检查“self-check”；针对不同类型的库单元之间，可以针对其一致性进行对比检查“cross-check”；针对相同类型的库单元之间，可以比较其性能差异“compare”。详细的检查报告和图形化结果显示会帮助使用者方便地进行库单元的检查与修正，以保证设计质量。

主权项

一种检查不同类型库单元正确性及一致性的方法，涉及到EDA设计工具的主要特征为:1）自动检查集成电路设计中库（Library）本身的正确性以及库单元之间的一致性，并提供检查报告和结果的图形化显示；2）在当前工作目录建立“workspace”，保存设计者所有的库单元文件，包括不同版本下的不同类型的多套库信息；3）在“workspace”下建立“session”，保存一套库的整体信息，对应某一版本的库；4）在“session”下导入各个库单元文件，在每个库单元下建立不同的“view”； 例如LEF/GDS/CDL/Verilog/Timing liberty等；5）在某一库单元类型“view”下建立“corner”，对属于相同类型的不同库单元进行再分组；例如，Timing liberty类型的库，不同的设计场景下会有不同的库文件与之对应，可以存放在相应的corner下；6）针对某一具体的库单元，可以针对其正确性进行自我检查“self‑check”；7）针对不同类型的库单元之间，可以针对其一致性进行对比检查“cross‑check”；8）针对相同类型的库单元之间，可以比较其性能差异“compare”。