好一个乖乖女短剧在线观看免费_色戒完整版无删减版免费观看_巨胸喷奶水www久久久_亚洲男男gaygay无套_午夜激情电影在线播放_国产又粗又猛的视频_操女人app_亚洲精品国产美女在线一区_亚洲国产精品一_精品一区二区三区免费看

【摘要】 一種包括自動(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)系的文件；代碼包括各種波形代碼。 該數(shù)據(jù)由<馬克數(shù)據(jù)網(wǎng)>整理 【專利類型】發(fā)明申請(qǐng) 【申請(qǐng)人】上海微電子設(shè)計(jì)有限公司 【申請(qǐng)人類型】企業(yè) 【申請(qǐng)人地址】200001上海市黃浦區(qū)北京東路666號(hào)B區(qū)704A室 【申請(qǐng)人地區(qū)】中國(guó) 【申請(qǐng)人城市】上海市 【申請(qǐng)人區(qū)縣】黃浦區(qū) 【申請(qǐng)?zhí)枴緾N200610026807.8 【申請(qǐng)日】2006-05-23 【申請(qǐng)年份】2006 【公開(kāi)公告號(hào)】CN101079077A 【公開(kāi)公告日】2007-11-28 【公開(kāi)公告年份】2007 【IPC分類號(hào)】G06F17/50 【發(fā)明人】姚海平; 潘日華 【主權(quán)項(xiàng)內(nèi)容】1.一種電路功能自動(dòng)驗(yàn)證程序產(chǎn)品，包括自動(dòng)驗(yàn)證工具模塊和 仿真工具模塊，其特征在于：操作步驟如下： (1)向自動(dòng)驗(yàn)證工具模塊輸入庫(kù)單元電路描述和庫(kù)單元電路功 能描述； (2)自動(dòng)驗(yàn)證工具模塊根據(jù)庫(kù)單元電路描述和庫(kù)單元電路功能 描述生成驗(yàn)證輸入代碼和驗(yàn)證結(jié)果代碼； (3)自動(dòng)驗(yàn)證工具模塊調(diào)用仿真工具模塊，并向其輸入驗(yàn)證輸 入代碼，得到仿真結(jié)果代碼； (4)若選擇內(nèi)部檢測(cè)，則自動(dòng)驗(yàn)證工具模塊將仿真結(jié)果代碼同 驗(yàn)證結(jié)果代碼進(jìn)行比較，若相同則生成正確報(bào)告，若不同則生成錯(cuò)誤 報(bào)告； (5)若選擇外部檢測(cè)，則自動(dòng)驗(yàn)證工具模塊將仿真結(jié)果代碼和 驗(yàn)證結(jié)果代碼轉(zhuǎn)換成其它計(jì)算機(jī)語(yǔ)言，交由其它使用該轉(zhuǎn)換后語(yǔ)言的 電路功能驗(yàn)證程序產(chǎn)品進(jìn)行分析判斷。 【當(dāng)前權(quán)利人】上海微電子設(shè)計(jì)有限公司 【當(dāng)前專利權(quán)人地址】上海市黃浦區(qū)北京東路666號(hào)B區(qū)704A室 【專利權(quán)人類型】其他有限責(zé)任公司 【統(tǒng)一社會(huì)信用代碼】91310101772101506J 【被引證次數(shù)】5 【被他引次數(shù)】5.0 【家族被引證次數(shù)】5

未經(jīng)允許不得轉(zhuǎn)載：http://www.sg012.cn/1775675329.html