【摘要】一種胃腸藥及其應用，這種藥主要是針對在這之前的許多中成胃藥，用藥品種過多、混亂、繁雜，沒有肯定規范等式的效驗方和定論，療效不理想、療程長；現代西醫藥難以根治、易復發；并在無形中給患者增加許多冤枉的經濟負擔而取而代之研創的；這種藥藥方
【摘要】 一種包括自動驗證工具模塊和仿真工具模塊的電路功能自動驗證程序產品，操作步驟如下：向自動驗證工具模塊輸入庫單元電路描述和庫單元電路功能描述，由其生成驗證輸入代碼和驗證結果代碼。自動驗證工具模塊調用仿真工具模塊，并向其輸入驗證輸入代碼，得到仿真結果代碼。若選擇內部檢測，則自動驗證工具模塊比較仿真結果代碼和驗證結果代碼，若相同則生成正確報告，若不同則生成錯誤報告；若選擇外部檢測，則自動驗證工具模塊將仿真結果代碼和驗證結果代碼轉換成其它計算機語言，交由其它使用該轉換后語言的電路功能驗證程序產品進行分析判斷。庫單元電路功能描述包括描述輸入輸出信號之間邏輯關系和時序關系的文件；代碼包括各種波形代碼。 該數據由<馬克數據網>整理 【專利類型】發明申請 【申請人】上海微電子設計有限公司 【申請人類型】企業 【申請人地址】200001上海市黃浦區北京東路666號B區704A室 【申請人地區】中國 【申請人城市】上海市 【申請人區縣】黃浦區 【申請號】CN200610026807.8 【申請日】2006-05-23 【申請年份】2006 【公開公告號】CN101079077A 【公開公告日】2007-11-28 【公開公告年份】2007 【IPC分類號】G06F17/50 【發明人】姚海平; 潘日華 【主權項內容】1.一種電路功能自動驗證程序產品，包括自動驗證工具模塊和 仿真工具模塊，其特征在于：操作步驟如下： (1)向自動驗證工具模塊輸入庫單元電路描述和庫單元電路功 能描述； (2)自動驗證工具模塊根據庫單元電路描述和庫單元電路功能 描述生成驗證輸入代碼和驗證結果代碼； (3)自動驗證工具模塊調用仿真工具模塊，并向其輸入驗證輸 入代碼，得到仿真結果代碼； (4)若選擇內部檢測，則自動驗證工具模塊將仿真結果代碼同 驗證結果代碼進行比較，若相同則生成正確報告，若不同則生成錯誤 報告； (5)若選擇外部檢測，則自動驗證工具模塊將仿真結果代碼和 驗證結果代碼轉換成其它計算機語言，交由其它使用該轉換后語言的 電路功能驗證程序產品進行分析判斷。 【當前權利人】上海微電子設計有限公司 【當前專利權人地址】上海市黃浦區北京東路666號B區704A室 【專利權人類型】其他有限責任公司 【統一社會信用代碼】91310101772101506J 【被引證次數】5 【被他引次數】5.0 【家族被引證次數】5
未經允許不得轉載：http://www.mhvdw.cn/1775675329.html
喜歡就贊一下
