首页/ 上海微电子设计有限公司/ 专利详情

一种电路功能自动验证程序产品

基本信息

申请号 CN200610026807.8 申请日 -
公开（公告）号 CN101079077A 公开（公告）日 2007-11-28
申请公布号 CN101079077A 申请公布日 2007-11-28
分类号 G06F17/50(2006.01) 分类 计算；推算；计数;
发明人 姚海平;潘日华 申请（专利权）人 上海微电子设计有限公司
代理机构 上海伯瑞杰知识产权代理有限公司 代理人 吴泽群
地址 200001上海市黄浦区北京东路666号B区704A室
法律状态 -

摘要

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