一種電路功能自動(dòng)驗(yàn)證程序產(chǎn)品

基本信息

申請(qǐng)?zhí)?/td> CN200610026807.8 申請(qǐng)日 -
公開(kāi)（公告）號(hào) CN101079077A 公開(kāi)（公告）日 2007-11-28
申請(qǐng)公布號(hào) CN101079077A 申請(qǐng)公布日 2007-11-28
分類號(hào) G06F17/50(2006.01) 分類 計(jì)算；推算；計(jì)數(shù);
發(fā)明人 姚海平;潘日華 申請(qǐng)（專利權(quán)）人 上海微電子設(shè)計(jì)有限公司
代理機(jī)構(gòu) 上海伯瑞杰知識(shí)產(chǎn)權(quán)代理有限公司 代理人 吳澤群
地址 200001上海市黃浦區(qū)北京東路666號(hào)B區(qū)704A室
法律狀態(tài) -

摘要

摘要 一種包括自動(dòng)驗(yàn)證工具模塊和仿真工具模塊的電路功能自動(dòng)驗(yàn)證程序產(chǎn)品，操作步驟如下：向自動(dòng)驗(yàn)證工具模塊輸入庫(kù)單元電路描述和庫(kù)單元電路功能描述，由其生成驗(yàn)證輸入代碼和驗(yàn)證結(jié)果代碼。自動(dòng)驗(yàn)證工具模塊調(diào)用仿真工具模塊，并向其輸入驗(yàn)證輸入代碼，得到仿真結(jié)果代碼。若選擇內(nèi)部檢測(cè)，則自動(dòng)驗(yàn)證工具模塊比較仿真結(jié)果代碼和驗(yàn)證結(jié)果代碼，若相同則生成正確報(bào)告，若不同則生成錯(cuò)誤報(bào)告；若選擇外部檢測(cè)，則自動(dòng)驗(yàn)證工具模塊將仿真結(jié)果代碼和驗(yàn)證結(jié)果代碼轉(zhuǎn)換成其它計(jì)算機(jī)語(yǔ)言，交由其它使用該轉(zhuǎn)換后語(yǔ)言的電路功能驗(yàn)證程序產(chǎn)品進(jìn)行分析判斷。庫(kù)單元電路功能描述包括描述輸入輸出信號(hào)之間邏輯關(guān)系和時(shí)序關(guān)系的文件；代碼包括各種波形代碼。