一種電路功能自動驗證程序產品

基本信息

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

摘要

摘要 一種包括自動驗證工具模塊和仿真工具模塊的電路功能自動驗證程序產品，操作步驟如下：向自動驗證工具模塊輸入庫單元電路描述和庫單元電路功能描述，由其生成驗證輸入代碼和驗證結果代碼。自動驗證工具模塊調用仿真工具模塊，并向其輸入驗證輸入代碼，得到仿真結果代碼。若選擇內部檢測，則自動驗證工具模塊比較仿真結果代碼和驗證結果代碼，若相同則生成正確報告，若不同則生成錯誤報告；若選擇外部檢測，則自動驗證工具模塊將仿真結果代碼和驗證結果代碼轉換成其它計算機語言，交由其它使用該轉換后語言的電路功能驗證程序產品進行分析判斷。庫單元電路功能描述包括描述輸入輸出信號之間邏輯關系和時序關系的文件；代碼包括各種波形代碼。