一种电路功能自动验证程序产品制造技术

一种包括自动验证工具模块和仿真工具模块的电路功能自动验证程序产品，操作步骤如下：向自动验证工具模块输入库单元电路描述和库单元电路功能描述，由其生成验证输入代码和验证结果代码。自动验证工具模块调用仿真工具模块，并向其输入验证输入代码，得到仿真结果代码。若选择内部检测，则自动验证工具模块比较仿真结果代码和验证结果代码，若相同则生成正确报告，若不同则生成错误报告；若选择外部检测，则自动验证工具模块将仿真结果代码和验证结果代码转换成其它计算机语言，交由其它使用该转换后语言的电路功能验证程序产品进行分析判断。库单元电路功能描述包括描述输入输出信号之间逻辑关系和时序关系的文件；代码包括各种波形代码。

【技术实现步骤摘要】

本专利技术属于计算机仿真领域，具体涉及电路功能自动验证程序产品。
技术介绍
集成电路的设计就是将各种库单元电路进行组合的过程。对各个库单元电路或库单元电路组合进行验证是集成电路设计的重要环节。由于通过制造实际产品进行验证既费金钱又费时间，所以采用计算机仿真是最行之有效的一种手段。目前使用的验证程序产品，如HSPICE、ModelSim等存在不足，主要表现在需自己编写验证输入代码并逐一手工输入，仿真后还需自己判断仿真结果代码的正确与错误。以8个数据端的多路选择器为例，其共有12个输入端，也就是说有4096种输入，如果再考虑‘0’、‘1’之外的取值‘X’和‘Z’，共有1678万种输入。由此可见此种验证不仅枯燥易错，且对于大型电路来说本身是一件不可完成的任务。
技术实现思路
本专利技术就是为了避免以上不足，提供一种能够自动生成验证输入代码并自动输入，同时将仿真结果代码同验证结果代码进行自动判断的电路功能自动验证程序产品。本专利技术的专利技术目的可以通过以下技术手段得以实现一种电路功能自动验证程序产品，包括自动验证工具模块和仿真工具模块，其特征在于操作步骤如下1.向自动验证工具模块输入库单元电路描述和库单元电路功能描述；2.自动验证工具模块根据库单元电路描述和库单元电路功能描述生成验证输入代码和验证结果代码；3.自动验证工具模块调用仿真工具模块，并向其输入验证输入代码，得到仿真结果代码；4.若选择内部检测，则自动验证工具模块将仿真结果代码同验证结果代码进行比较，若相同则生成正确报告，若不同则生成错误报告；5.若选择外部检测，则自动验证工具模块将仿真结果代码和验证结果代码转换成其它计算机语言，交由其它使用该转换后语言的电路功能验证程序产品进行分析判断。库单元电路功能描述包括描述输入输出信号之间逻辑关系和时序关系的文件。代码包括各种波形。使用本产品，只需输入库单元电路描述和库单元电路功能描述，验证输入代码的生成与输入以及仿真结果代码的判断完全由计算机自动进行，从而使工程师不必过多干预电路功能验证，而可以将注意力集中到错误的分析和解决上，这样将大大提高电路设计的效率。说明书附图附附图说明图1为库单元自动仿真验证原理图；附图2为仿真库单元过程示意图；附图3为进行内部检测时的示意图；附图4为进行外部检测时的示意图；具体实施方式下面结合附图对本专利技术作进一步的说明。参照图1和图2，作为用户的设计工程师将库单元电路描述和库单元电路功能描述提供给自动验证工具模块，自动验证工具模块根据功能描述生成测试波形并调用仿真工具模块仿真得到仿真结果代码，若仿真结果代码与验证结果代码不同，则生成错误报告，供用户分析和纠正错误。根据不同的仿真语言，库单元功能仿真方法可以分为内部检测和外部检测两种。依照图3的内部检测方法实施方式为1.自动验证工具模块利用库单元电路功能描述生成输入波形代码。2.自动验证工具模块调用仿真工具模块，对库单元电路和输入波形进行仿真。3.自动验证工具模块比较仿真工具模块产生的输出波形和自动验证工具模块产生的验证结果波形是否一致，并产生相应的报告。依照图4的外部检测方法实施方式为1.自动验证工具模块利用功能描述生成输入波形代码。2.自动验证工具模块调用仿真工具模块，对库单元电路和输入波形进行仿真。3.将各结果转换成其他计算机语言，交由其它使用该转换后语言的电路功能验证程序产品进行分析判断。权利要求1.一种电路功能自动验证程序产品，包括自动验证工具模块和仿真工具模块，其特征在于操作步骤如下(1)向自动验证工具模块输入库单元电路描述和库单元电路功能描述；(2)自动验证工具模块根据库单元电路描述和库单元电路功能描述生成验证输入代码和验证结果代码；(3)自动验证工具模块调用仿真工具模块，并向其输入验证输入代码，得到仿真结果代码；(4)若选择内部检测，则自动验证工具模块将仿真结果代码同验证结果代码进行比较，若相同则生成正确报告，若不同则生成错误报告；(5)若选择外部检测，则自动验证工具模块将仿真结果代码和验证结果代码转换成其它计算机语言，交由其它使用该转换后语言的电路功能验证程序产品进行分析判断。2.如权利要求1所述的一种电路功能自动验证程序产品，其特征在于所述库单元电路功能描述包括描述输入输出信号之间逻辑关系和时序关系的文件。3.如权利要求1所述的一种电路功能自动验证程序产品，其特征在于所述代码包括各种波形代码。全文摘要一种包括自动验证工具模块和仿真工具模块的电路功能自动验证程序产品，操作步骤如下向自动验证工具模块输入库单元电路描述和库单元电路功能描述，由其生成验证输入代码和验证结果代码。自动验证工具模块调用仿真工具模块，并向其输入验证输入代码，得到仿真结果代码。若选择内部检测，则自动验证工具模块比较仿真结果代码和验证结果代码，若相同则生成正确报告，若不同则生成错误报告；若选择外部检测，则自动验证工具模块将仿真结果代码和验证结果代码转换成其它计算机语言，交由其它使用该转换后语言的电路功能验证程序产品进行分析判断。库单元电路功能描述包括描述输入输出信号之间逻辑关系和时序关系的文件；代码包括各种波形代码。文档编号G06F17/50GK101079077SQ20061002680公开日2007年11月28日 申请日期2006年5月23日 优先权日2006年5月23日专利技术者姚海平, 潘日华 申请人:上海微电子设计有限公司本文档来自技高网...

【技术保护点】
一种电路功能自动验证程序产品，包括自动验证工具模块和仿真工具模块，其特征在于：操作步骤如下：　　　　（１）向自动验证工具模块输入库单元电路描述和库单元电路功能描述；　　　　（２）自动验证工具模块根据库单元电路描述和库单元电路功能描述生成验证输入代码和验证结果代码；　　　　（３）自动验证工具模块调用仿真工具模块，并向其输入验证输入代码，得到仿真结果代码；　　　　（４）若选择内部检测，则自动验证工具模块将仿真结果代码同验证结果代码进行比较，若相同则生成正确报告，若不同则生成错误报告；　　　　（５）若选择外部检测，则自动验证工具模块将仿真结果代码和验证结果代码转换成其它计算机语言，交由其它使用该转换后语言的电路功能验证程序产品进行分析判断。

【技术特征摘要】

【专利技术属性】
技术研发人员：姚海平，潘日华，
申请(专利权)人：上海微电子设计有限公司，
类型：发明
国别省市：31[中国|上海]