【摘要】一種包括自動(dòng)驗(yàn)證工具模塊和仿真工具模塊的電路功能自動(dòng)驗(yàn)證程序產(chǎn)品,操作步驟如下:向自動(dòng)驗(yàn)證工具模塊輸入庫單元電路描述和庫單元電路功能描述,由其生成驗(yàn)證輸入代碼和驗(yàn)證結(jié)果代碼。自動(dòng)驗(yàn)證工具模塊調(diào)用仿真工具模塊,并向其輸入驗(yàn)證輸入代碼,
【專利類型】外觀設(shè)計(jì) 【申請(qǐng)人】王蓮珍 【申請(qǐng)人類型】個(gè)人 【申請(qǐng)人地址】200023上海市盧灣區(qū)打浦路1號(hào)金玉蘭廣場D2樓1051室 【申請(qǐng)人地區(qū)】中國 【申請(qǐng)人城市】上海市 【申請(qǐng)人區(qū)縣】黃浦區(qū) 【申請(qǐng)?zhí)枴緾N200630039684.2 【申請(qǐng)日】2006-08-16 【申請(qǐng)年份】2006 【公開公告號(hào)】CN3656301D 【公開公告日】2007-06-13 【公開公告年份】2007 【授權(quán)公告號(hào)】CN3656301D 【授權(quán)公告日】2007-06-13 【授權(quán)公告年份】2007.0 【發(fā)明人】王蓮珍 【主權(quán)項(xiàng)內(nèi)容】無 【當(dāng)前權(quán)利人】王蓮珍 【當(dāng)前專利權(quán)人地址】上海市盧灣區(qū)打浦路1號(hào)金玉蘭廣場D2樓1051室
未經(jīng)允許不得轉(zhuǎn)載:http://m.sg012.cn/1775704965.html
喜歡就贊一下






