【摘要】一種抽取式硬盤固定結(jié)構(gòu)包括一框體，該框體設(shè)有一收容硬盤的收容空間，該硬盤一端與框體的擋壁之間設(shè)有第一與第二連桿，該第一與第二連桿一端均凸出框體兩相對側(cè)壁，而與電子裝置殼體扣孔配合，而該第一與第二連桿的另一端相互套合，并且每一連桿的端
【摘要】 一種包括自動驗(yàn)證工具模塊和仿真工具模塊的電路功能自動驗(yàn)證程序產(chǎn)品，操作步驟如下：向自動驗(yàn)證工具模塊輸入庫單元電路描述和庫單元電路功能描述，由其生成驗(yàn)證輸入代碼和驗(yàn)證結(jié)果代碼。自動驗(yàn)證工具模塊調(diào)用仿真工具模塊，并向其輸入驗(yàn)證輸入代碼，得到仿真結(jié)果代碼。若選擇內(nèi)部檢測，則自動驗(yàn)證工具模塊比較仿真結(jié)果代碼和驗(yàn)證結(jié)果代碼，若相同則生成正確報(bào)告，若不同則生成錯誤報(bào)告；若選擇外部檢測，則自動驗(yàn)證工具模塊將仿真結(jié)果代碼和驗(yàn)證結(jié)果代碼轉(zhuǎn)換成其它計(jì)算機(jī)語言，交由其它使用該轉(zhuǎn)換后語言的電路功能驗(yàn)證程序產(chǎn)品進(jìn)行分析判斷。庫單元電路功能描述包括描述輸入輸出信號之間邏輯關(guān)系和時序關(guān)系的文件；代碼包括各種波形代碼。 該數(shù)據(jù)由<馬克數(shù)據(jù)網(wǎng)>整理 【專利類型】發(fā)明申請 【申請人】上海微電子設(shè)計(jì)有限公司 【申請人類型】企業(yè) 【申請人地址】200001上海市黃浦區(qū)北京東路666號B區(qū)704A室 【申請人地區(qū)】中國 【申請人城市】上海市 【申請人區(qū)縣】黃浦區(qū) 【申請?zhí)枴緾N200610026807.8 【申請日】2006-05-23 【申請年份】2006 【公開公告號】CN101079077A 【公開公告日】2007-11-28 【公開公告年份】2007 【IPC分類號】G06F17/50 【發(fā)明人】姚海平; 潘日華 【主權(quán)項(xiàng)內(nèi)容】1.一種電路功能自動驗(yàn)證程序產(chǎn)品，包括自動驗(yàn)證工具模塊和 仿真工具模塊，其特征在于：操作步驟如下： (1)向自動驗(yàn)證工具模塊輸入庫單元電路描述和庫單元電路功 能描述； (2)自動驗(yàn)證工具模塊根據(jù)庫單元電路描述和庫單元電路功能 描述生成驗(yàn)證輸入代碼和驗(yàn)證結(jié)果代碼； (3)自動驗(yàn)證工具模塊調(diào)用仿真工具模塊，并向其輸入驗(yàn)證輸 入代碼，得到仿真結(jié)果代碼； (4)若選擇內(nèi)部檢測，則自動驗(yàn)證工具模塊將仿真結(jié)果代碼同 驗(yàn)證結(jié)果代碼進(jìn)行比較，若相同則生成正確報(bào)告，若不同則生成錯誤 報(bào)告； (5)若選擇外部檢測，則自動驗(yàn)證工具模塊將仿真結(jié)果代碼和 驗(yàn)證結(jié)果代碼轉(zhuǎn)換成其它計(jì)算機(jī)語言，交由其它使用該轉(zhuǎn)換后語言的 電路功能驗(yàn)證程序產(chǎn)品進(jìn)行分析判斷。 【當(dāng)前權(quán)利人】上海微電子設(shè)計(jì)有限公司 【當(dāng)前專利權(quán)人地址】上海市黃浦區(qū)北京東路666號B區(qū)704A室 【專利權(quán)人類型】其他有限責(zé)任公司 【統(tǒng)一社會信用代碼】91310101772101506J 【被引證次數(shù)】5 【被他引次數(shù)】5.0 【家族被引證次數(shù)】5
未經(jīng)允許不得轉(zhuǎn)載：http://m.duba2008.cn/1775675329.html
喜歡就贊一下
