一种检查不同类型库单元正确性及一致性的方法技术

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

【技术实现步骤摘要】

针对集成电路设计中存在着不同类型、不同版本的多套库（Library）信息，本文提出一种有效的库单元组织结构和检查方法，可以多维度对设计库进行检查和比较，提高设计质量，保证设计的正确性。本专利技术属于EDA设计领域。
技术介绍
随着制造工艺的发展和集成电路设计规模的扩大，设计者在面对越来越多，越来越复杂的库（Library）文件。这些库文件可能是来源于不同的设计提供商，也可能是来源于不同的版本控制。库的类型也会有很多，包括描述标准单元物理信息的LEF库；描述版图信息的GDS库；描述网表信息的Verilog库；描述仿真信息的CDL库；描述时序信息的Timingliberty库等。如果库单元自身就有问题，或者不同类型的库版本不匹配，会直接影响设计的正确性，带来的问题也很难调试和定位错误。现有的库检查的EDA工具，往往针对某一种类型检查，缺乏不同类型库单元之间的横向检查和比较。当库单元的数目非常多的时候，缺乏清晰有效的管理；成百上千条的规则很难让使用者理解，从检查结果中也不容易发现真正的问题。我们在这里提出了一种方法，层次化组织和管理不同类型、不同版本的众多库单元文件。通过详细的检查报告和本文档来自技高网...

【技术保护点】
一种检查不同类型库单元正确性及一致性的方法，涉及到EDA设计工具的主要特征为:1）自动检查集成电路设计中库（Library）本身的正确性以及库单元之间的一致性，并提供检查报告和结果的图形化显示；2）在当前工作目录建立“workspace”，保存设计者所有的库单元文件，包括不同版本下的不同类型的多套库信息；3）在“workspace”下建立“session”，保存一套库的整体信息，对应某一版本的库；4）在“session”下导入各个库单元文件，在每个库单元下建立不同的“view”； 例如LEF/GDS/CDL/Verilog/Timing liberty等；5）在某一库单元类型“view”下建立...

【技术特征摘要】
1.一种检查不同类型库单元正确性及一致性的方法，涉及到EDA设计工具的主要特征为:1）自动检查集成电路设计中库（Library）本身的正确性以及库单元之间的一致性，并提供检查报告和结果的图形化显示；2）在当前工作目录建立“workspace”，保存设计者所有的库单元文件，包括不同版本下的不同类型的多套库信息；3）在“workspace”下建立“session”，保存一套库的整体信息，对应某一版本的库；4）在“session”下导入各个库单元文件，在每个库单元下建立不同的“view”；例如LEF/GDS/CDL/Verilog/Timingli...

【专利技术属性】
技术研发人员：陈彬，董森华，傅静静，刘毅，
申请(专利权)人：北京华大九天软件有限公司，
类型：发明
国别省市：北京;11