【摘要】本實用新型涉及車輛乘客用設(shè)備類，具體地講是涉及一種座椅助眠裝置，該裝置將固定環(huán)與凹體固定連接，使用時通過將固定環(huán)固定在座椅靠背，將人體頸部以上部位置于凹體內(nèi)，以固定頭部的左右晃動，其優(yōu)點是，結(jié)構(gòu)簡單，使用方便，可使乘客以坐姿狀態(tài)入眠
【摘要】 一種包括自動驗證工具模塊和仿真工具模塊的電路功能自動驗證程序產(chǎn)品，操作步驟如下：向自動驗證工具模塊輸入庫單元電路描述和庫單元電路功能描述，由其生成驗證輸入代碼和驗證結(jié)果代碼。自動驗證工具模塊調(diào)用仿真工具模塊，并向其輸入驗證輸入代碼，得到仿真結(jié)果代碼。若選擇內(nèi)部檢測，則自動驗證工具模塊比較仿真結(jié)果代碼和驗證結(jié)果代碼，若相同則生成正確報告，若不同則生成錯誤報告；若選擇外部檢測，則自動驗證工具模塊將仿真結(jié)果代碼和驗證結(jié)果代碼轉(zhuǎn)換成其它計算機語言，交由其它使用該轉(zhuǎn)換后語言的電路功能驗證程序產(chǎn)品進行分析判斷。庫單元電路功能描述包括描述輸入輸出信號之間邏輯關(guān)系和時序關(guān)系的文件；代碼包括各種波形代碼。 該數(shù)據(jù)由<馬克數(shù)據(jù)網(wǎng)>整理 【專利類型】發(fā)明申請 【申請人】上海微電子設(shè)計有限公司 【申請人類型】企業(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)項內(nèi)容】1.一種電路功能自動驗證程序產(chǎn)品，包括自動驗證工具模塊和 仿真工具模塊，其特征在于：操作步驟如下： (1)向自動驗證工具模塊輸入庫單元電路描述和庫單元電路功 能描述； (2)自動驗證工具模塊根據(jù)庫單元電路描述和庫單元電路功能 描述生成驗證輸入代碼和驗證結(jié)果代碼； (3)自動驗證工具模塊調(diào)用仿真工具模塊，并向其輸入驗證輸 入代碼，得到仿真結(jié)果代碼； (4)若選擇內(nèi)部檢測，則自動驗證工具模塊將仿真結(jié)果代碼同 驗證結(jié)果代碼進行比較，若相同則生成正確報告，若不同則生成錯誤 報告； (5)若選擇外部檢測，則自動驗證工具模塊將仿真結(jié)果代碼和 驗證結(jié)果代碼轉(zhuǎn)換成其它計算機語言，交由其它使用該轉(zhuǎn)換后語言的 電路功能驗證程序產(chǎn)品進行分析判斷。 【當(dāng)前權(quán)利人】上海微電子設(shè)計有限公司 【當(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.sg012.cn/1775675329.html
喜歡就贊一下
