新四季網

自動化仿真方法及系統的製作方法

2023-06-30 16:56:21

專利名稱:自動化仿真方法及系統的製作方法
技術領域:
本發明涉及仿真技術,特別涉及一種自動化仿真方法及系統。
背景技術:
無線通信設備的基帶部分處理主要採用數字方式實現的物理層協議和數位訊號處理算法。根據實現方式的不同,可將現有技術中的實現方式分為軟體、硬體或軟硬體混合三種實現方式。在軟硬混合實現方式中,硬體部分實現主要採用專用集成電路(ASIC)/現場可編程門陣列(FPGA)方式。但是,由於ASIC/FPGA具有設計規模大,結構複雜,驗證難度大的特點,所以,隨著邏輯晶片的規模越來越大,複雜度不斷提高,邏輯仿真驗證的工作量呈指數倍增長,進而不利於實現且增加了成本。
在現有技術中,常用商用仿真器來完成邏輯仿真驗證,該商用仿真器內部集成了腳本運行環境,例如在Modelsim仿真器本身便嵌入了工具命令語言(TCL)腳本運行環境,並開發了一套專門用於仿真的宏命令集,用戶可以在此環境中運行仿真腳本,可以實現一定程度的自動化,如圖1所示。
但是,上述方案中,仿真環境是完全封閉的且功能有限,只能運行仿真腳本,沒有針對邏輯驗證的特點設計專門的邏輯仿真項目管理功能,無法實現對整個仿真項目、測試用例、回歸測試等的管理,使得仿真效率及自動化程度很低。另外,由於仿真環境和具體的仿真器相關,對外接口不開放,與其它工具集成困難,其可擴展性、可移植性和可重用性都較差,進而使得用戶在增加自己需要的功能時變得非常困難。

發明內容
本發明提供一種自動化仿真方法及系統,以解決現有技術中因不能實現邏輯驗證的自動化而導致的效率低的問題。
為解決上述問題,本發明提供如下的技術方案一種自動化仿真方法,包括以下步驟A、啟動執行腳本開始驗證項目;B、執行腳本啟動激勵腳本和配置腳本分別產生激勵信號和生成配置文件;C、執行腳本啟動仿真器,由仿真器接收所述激勵信號和讀取配置文件;D、仿真器運行仿真腳本進行仿真,並保存仿真過程產生的響應數據;E、執行腳本啟動數據對比腳本和結果分析腳本,將響應數據與預期值進行比較,輸出分析結果。
一種自動化仿真系統,包括用於數據處理的處理器,用於存儲程序和數據的存儲器,以及仿真平臺,該仿真平臺包括驗證腳本模塊由啟動執行腳本的命令集構成,用於啟動執行腳本來執行測試用列;仿真器模塊由執行腳啟動,用於運行仿真腳本進行仿真;驗證項目模塊包括驗證過程所需的相關文件模塊,並採用固定的目錄結構組織所述相關文件模塊;驗證項目管理模塊用於實現整個驗證項目模塊的目錄管理、測試用列的執行和回歸測試執行,並提供一用戶界面供項目管理操作。
其中所述的仿真平臺還包括用戶擴展接口模塊,通過該擴展接口模塊向仿真臺增加工具。
本發明採用適合邏輯仿真自動化的驗證項目管理方法,並為用戶提供了一個方便的擴展接口,使得用戶能夠基於此平臺完成整個邏輯項目的自動化仿真,大大提高了仿真規範性和自動化程度,以及仿真項目之間的共享。


圖1為現有技術的仿真結構框圖;圖2為本發明的仿真結構框圖;圖3、圖4為本發明的仿真平臺結構圖;
圖5為本發明的仿真流程圖;圖6為仿真過程示意圖;圖7為用戶界面示意圖;圖8為測試用列與測試平臺的對應關係示意圖;圖9為驗證項目的目錄結構示意圖;圖10為驗證相關文件的目錄結構示意圖;圖11為腳本對應關係示意圖;圖12、圖13、圖14、圖15和圖16為工具嚮導開發模板界面圖;圖17A、圖17B和圖17C為開發工具過程中的流程示意圖;圖18為WCDMA上行專用信道激勵數據產生工具工作流程圖。
具體實施例方式
邏輯驗證的過程就是對被測對象施加激勵,並通過檢測其響應來驗證邏輯是否正確的過程,如圖2A所示。對於簡單的邏輯,只需在用硬體描述語言(HDL)編寫的測試平臺中即可實現激勵的提供和響應的比較,因此對於自動化的要求並不高。隨著技術的發展,邏輯設計越來越複雜,邏輯的驗證難度也大大增加,激勵的提供和響應的檢測需要採用多種方式實現,例如通過編寫C語言程序實現激勵數據的產生。對於算法邏輯,激勵的產生和響應的檢測常常涉及複雜的算法,因此需要採用Matlab、Cossap等算法仿真工具或者自己編寫應用程式實現複雜的算法。
實現自動化最常用的辦法就是提供統一的工作平臺,並實現過程的腳本化。如圖2B所示,完成一個測試任務可能需要很多資源,而仿真過程執行包含很多步驟,以往這些資源和步驟之間是相對獨立和零散的,管理和執行的效率很低。
參閱圖3和圖4所示,本發明的系統將資源有機的整合到一起,並通過腳本將仿真過程各個步驟串聯起來,從而實現仿真過程的自動執行。
圖3顯示了一臺計算機用它來實施本發明的方法。計算機具有一個處理器,它通過總線和存儲器相連接,同時還通過總線連接輸入輸出接口。
存儲器儲存了仿真平臺程序和相關數據。輸入輸出接口連接鍵盤、列印裝置和顯示器,驗證結果和用戶界面等通過顯示器顯示出來,驗證結果還通過規定的格式由列印裝置以文本形式輸出。
圖4為算法邏輯仿真平臺結構,包括一個驗證項目管理模塊,該模塊實現整個仿真項目的目錄管理、測試用例的執行和回歸測試執行。測試用例的執行是通過調用TCL驗證腳本實現的。在平臺中,TCL腳本起到「粘貼」的作用,用來將各種應用程式、工具集成起來,從而實現整個驗證過程的自動化。此外,平臺提供了用戶擴展接口,用戶可以方便的將自己需要的功能擴展為工具,在驗證腳本中調用。例如,用戶需要增加產生某種激勵數據的功能,可以採用C或其它語言實現該功能並擴展為TCL命令,這樣就可以在驗證腳本中調用。
算法邏輯自動化仿真平臺採用的是TCL腳本語言。該平臺不直接控制HDL仿真器,也不直接與仿真器進行數據交換,而是通過腳本間接調用仿真器達到仿真目的,因此可以兼容所有的HDL仿真器,作為通用的邏輯仿真平臺。
參閱圖7所示,算法邏輯測試平臺的驗證項目管理模塊提供一用戶界面。用戶界面有三個主要區域模式控制區、代碼顯示和編輯區以及狀態區,另外還有菜單欄和工具欄。
模式控制區中有三種模式可供選擇,分別是測試任務、工具箱和代碼瀏覽,測試任務主要進行測試任務的創建和管理,測試用例管理等功能,採用符合算法邏輯集成仿真規範的目錄結構。代碼瀏覽可以顯示TCL腳本的基本結構,如名字空間及其中定義的子程序名,雙擊子程序名可以在右邊代碼顯示和編輯區顯示該子程序的代碼。工具箱則包含了為具體測試項目開發的各種工具,如WCDMA上行接入信道激勵信號產生。工具箱中各種工具提供圖形用戶界面,為浮動的窗口,用戶可以在窗口中進行相關的參數設定。三種模式均採用導航樹結構。
參閱圖5和圖6所示,自動化仿真過程如下步驟10啟動執行腳本開始驗證項目;步驟20執行腳本啟動激勵腳本和配置腳本分別產生激勵信號和生成配置文件;步驟30執行腳本啟動仿真器,由仿真器運行仿真腳本對被測對象進行仿真;步驟40被測對象接收激勵信號和讀取配置文件,並保存被測對象在仿真過程產生的響應數據;步驟50執行腳本啟動數據對比腳本和結果分析腳本,將響應數據與預期值進行比較,輸出分析結果。
其中,執行腳本可為多個,由驗證腳本依次啟動該複數個執行腳本,以完成需要進行多個測試任務的驗證項目。
為了實現對驗證項目的統一管理和規範驗證過程,本實施例將驗證項目的目錄固定下來。每個驗證項目都採用同樣的目錄結構,使用通用的目錄結構最大的好處是可以使用相對路徑,編寫可移植的腳本,而且方便查找文件。
目錄結構根據算法邏輯驗證的特點來確定。在邏輯驗證中,對測試用例進行分組,同組的測試用例使用同一個測試平臺(Testbench)。將一組測試用例和其對應的Testbench稱為一個驗證程序組。對於一個驗證項目,可能存在多個驗證程序組。參閱圖8,測試用例與Testbench的對應關係。
參閱圖9,圖中示出了驗證項目的的頂層目錄結構其中,圖中子目錄SoC_N為驗證項目,每個驗證項目包含第一至第六6個子目錄,功能分別如下第一子目錄doc存放相關的規格、設計和驗證文檔;第二子目錄beh存放可重用行為模型、公共子程序和函數等;第三子目錄rtl存放可綜合的設計原始碼;第四子目錄syn存放綜合腳本、網表以及綜合產生的各種報告文件;第五子目錄phy存放約束文件、布局布線腳本、燒片文件以及布局布線過程中產生的各種報告文件;第六子目錄verif存放驗證相關的文件,由驗證程序組(verisuite)組成,一個程序組包括一組互相關聯的測試文件,主要是testbench和與此testbench對應的一組測試用例(testcase)。每個testcase中又包括測試腳本、配置數據文件、激勵數據文件、仿真結果數據文件和參考比對數據文件等。
第六子目錄verif的目錄結構如圖10所示。該目錄結構充分考慮了testbench的結構以及算法邏輯的特點。
驗證程序組子目錄verisuite稱為驗證程序組,存放為了驗證某一類特性所需的測試文件。該組中的所有testcase都使用相同的testbench,每個測試用例具有不同的配置、激勵、響應和參考比對數據;仿真工作子目錄work為仿真工作目錄,存放仿真編譯結果,並作為臨時目錄供仿真時進行文件拷貝操作;腳本子目錄scripts存放仿真中需要被調用的腳本;配置文件子目錄config存放配置文件;激勵文件子目錄stimuli存放激勵數據文件;仿真結果子目錄result存放仿真輸出結果,仿真過程日誌文件,代碼覆蓋率報告及缺陷跟蹤表;對比數據子目錄reference存放仿真參考比對數據;執行腳本子目錄run.tcl該測試用例的執行腳本,回歸測試時執行的也是該腳本;說明文件子目錄readme.txt該測試用例的詳細說明文件。
仿真平臺的項目管理功能包括·驗證項目的創建、刪除、導入、導出用戶可以在測試根目錄下,創建、刪除、導入、導出驗證項目。
·驗證程序組的創建、刪除、導入、導出用戶可以在verif目錄下,創建、刪除、導入、導出驗證程序組。
·測試用例的創建、刪除、導入、導出用戶可以在verisuite目錄下,創建、刪除、導入、導出測試用例。
利用以上功能,驗證人員可以很方便的實現測試代碼的共享、重用、移植和歸檔。
測試用例腳本調用關係如圖11所示(將testcase作為當前目錄)。每個測試用例只有一個執行腳本(run.tcl),測試用例的執行通過運行該腳本實現。執行腳本將根據具體測試項目的情況,調用其它腳本。這些腳本包括仿真腳本、激勵產生腳本、響應比較腳本和結果分析腳本等等。需要簡單說明一下仿真腳本的調用方法,對Modelsim仿真器使用如下命令實現。
exec vsim-c-do./scripts/sim.tcl
回歸測試是邏輯驗證過程必不可少的部分。使用算法邏輯仿真平臺的測試調度器Scheduler,我們能夠容易的將需要回歸的測試用例加入回歸測試組,並保存和自動運行。測試調度器允許用戶按指定順序建立回歸測試組,並在指定的時間啟動測試,順序執行其中的測試腳本。
用戶擴展接口(平臺中稱為工具嚮導或工具箱,以下簡稱工具嚮導)作為算法邏輯仿真平臺的一部分,也是平臺中用戶可以進行二次開發的部分,它具有很好的可擴展性和可重用性,界面如圖12A。因為在邏輯測試活動中,每個邏輯都有自已不同的特點,用戶為了完成驗證,需要自己開發一些工具,如激勵產生工具、結果分析工具、過程控制工具、腳本生成工具等等。使用用戶擴展接口,可以使用戶以最少的時間完成向平臺增加功能。
工具嚮導將一個工具需要配置的所有參數分成多個步驟配置,通過一步一步的參數配置來完成所有參數的配置。仿真平提供了工具嚮導的開發模板,按照此模板開發出來的工具嚮導,在界面風格、使用方法上都是一樣的,這樣任何人開發出來的工具嚮導都是標準的,別人都可以直接使用,而無須在使用方法上進行培訓。工具嚮導完全採用TCL/TK語言開發的,可以在不同的作業系統上運行,具有很好的可移植性。
·工具嚮導的目錄結構在平臺的根目錄中有一個專門用來存放工具嚮導的文件夾ToolWizards,目錄結構形式如圖12B在平臺的根目錄下有一個目錄ToolWizards,所有的工具嚮導都存放在這個目錄中,在每個工具嚮導目錄中又包括兩個目錄(存放流程圖的images目錄和存放實現工具的文件的目錄pakcage)和兩個文件(工具嚮導界面實現TCL文件和wordpro格式的幫助文件),其中工具嚮導界面實現的TCL文件已做成模板文件,用戶只需進行簡單修改即可完成工具的開發。
·工具嚮導的界面說明工具嚮導只包括三種不同的界面,分別是工具信息(起始步)、參數配置(中間步)和完成(結束步)的頁面,其中參數配置可以包括多個頁面。
工具信息界面是工具啟動後顯示的頁面,主要顯示一些工具的基本信息,使用戶對該工具有一個基本的了解。點擊左下方的按鈕[Help]可以打開本工具幫助文檔。工具信息界面如圖13所示。
參數配置是工具嚮導的主要部分,這部分完成工具所有步驟的參數配置,每一個步驟對應一個頁面。每個頁面都由提示部分和參數配置部分組成,提示部分主要指示本步在整個工具工作流程中的位置,由用戶提供所需的圖片,嵌入到此頁面中,讓用戶明白現在配置的參數對應工作流程的哪一部分;參數配置部分以可視化方式讓用戶對參數進行方便的配置。點擊左下方的按鈕[Help]可以打開本工具幫助文檔;點擊右下方的按鈕[Next>>]可進入參數配置步的下一步參數配置;點擊右下方的按鈕[<<Back]可返回前一個頁面;右上方的下拉式組合框是所有參數步驟的列表,它提供了一個進入其它參數配置頁面的快速通道,選擇不同的配置步驟可直接進入相應的步驟頁面。參數配置界面如圖14所示。
如圖15所示,完成頁面是工具嚮導的最後一個步驟,頁面的左面是參數列表,是所有參數配置情況的一個匯總,將已經配置的所有參數值列出來,參數的值在這裡是不能修改的,如果用戶需要修改可返回相應的步驟進行修改,這裡每個參數名稱前都加了一個數字,指示該參數屬於哪一步;右邊是工具腳本命令編輯區,當用戶點擊下面的按鈕[Make]時便將左邊列表中的參數代入工具實現的命令裡形成一個TCL腳本命令,顯示在工具腳本編輯區裡,用戶可以在編輯區裡對工具腳本進行修改,也可以直接複製和粘貼到驗證腳本中;下面是一排命令操作按鈕,依次為[Help]打開本工具的幫助文檔,[Clear]清除工具腳本編輯區的內容,[Make]生成工具腳本並顯示在編輯區,[Insert]將編輯區的內容插入到平臺的腳本編輯。
·六種基本控制項介紹在每個參數配置頁面裡,提供了六種基本控制項,這六種控制項可以滿足輸入參數的所有情況,下面分別介紹A、下拉式組合框(ComboBox),用於選擇多個選擇中的一個,選項在10個以下的情況,控制項屬性格式為{「第一個值」「第二個值」「第三個值」「第四個值」「第五個值」}B、開關控制項(checkbutton),用於二選一的情況,控制項屬性格式為{「顯示的內容」「打上勾時取值」「去掉勾時取值」},如{「雙天線打開」「1」「0」}C、數值調整控制項(SpinBox),用於數值變化有規律的數據選擇,一般選項超過10個以上,控制項屬性格式為{最小值最大值變化步長},如{0 100 5}D、文本輸入框(entry),用於輸入文本,包括數字,用於無規律的文本或數字輸入,控制項屬性格式為空,即{}E、收音機按鈕(radiobutton),用於從少量選項中選一的情況,選項不超過4個,控制項屬性格式為{「第一種情況」「第一種情況取值」「第二種情況」「第二種情況取值」「第三種情況」「第三種情況取值」「第四種情況」「第四種情況取值」}F、文件選擇框(entry),用於選擇文件名,如選擇輸入或輸出文件,控制項屬性格式為{「I或O」},I表示所選文件為輸入文件,O表示所選文件為輸出文件。
·控制項位置在每個參數配置頁面裡,有8個擺放控制項的位置,其分布和位置編號如圖16所示圖中的每個位置可以放一個短控制項(控制項A、B、C、D中一個),位於同一行的兩個位置(即1和2、3和4、5和6)可以放一個長控制項(控制項E、F中的一個),這樣在每個頁面中最多可以放8個短控制項或者4個長控制項,如果既有長控制項也有短控制項,則其控制項個數在4個至8個之間。所以在每個步驟中最多只能配置8個參數,如果有更多的參數,可以拆分為多個步驟進行配置。
·工具嚮導開發步驟下面介紹在算法邏輯測試平臺上開發工具的一般步驟。
首先,要實現工具,本平臺的工具嚮導支持下面的三種實現形式的工具1)用C/C++實現並擴展為TCL命令的DLL二進位包;2)用純粹的TCL實現的包;3)帶參數的可執行文件(後綴為exe)。
然後,需要對的工具的配置參數進行模塊劃分,形成多個配置步驟,最好按照工具的工作流程進行劃分,這樣將需要配置的所有參數劃分成多個步驟來配置。模塊劃分的原則是要能體現出工具的工作流程,劃分成的各個步驟之間要有較緊密的聯繫。然後將這些步驟畫成流程圖,用於該步驟中的圖片提示,例如分成兩個步驟的流程圖如圖17A所示。
例如WCDMA上行專用信道激勵數據產生工具工作流程圖如圖18所示接下來就要開始製作顯示在每一個步驟中對應的圖片,每個步驟中的提示圖片可以是不一樣的,基本的要求是要能起到提示的作用,讓用戶看了圖片後知道這個步驟中要配置的參數是起什麼作用的。在配置相應步驟的參數時,建議將上面畫好的流程圖中的該步以加強色彩的形式體現,這樣製作起來簡單,但有較強的提示作用。製作好的兩個步驟中的提示圖片如下面所示第一個步驟中的流程圖(image1.gif)如圖17B所示;第二個步驟中的流程圖(image2.gif)如圖17C所示。
規劃好工具的步驟和各個步驟中要配置的參數後,就可以開始修改工具嚮導界面實現的TCL模板文件,按照下面附件中提供的模板(DemoWizard.tcl,可改為自己的名字)進行修改。只需修改用戶設置部分的變量取值,其它模塊無須做任何修改。
本發明能夠通過腳本將各種資源有機的結合到驗證流程中,具有很好的擴展性、可重複性和可重用性,提高驗證的效率和自動化程度。
權利要求
1.一種自動化仿真方法,其特徵在於該方法包括步驟啟動執行腳本開始驗證項目;執行腳本啟動激勵腳本和配置腳本分別產生激勵信號和生成配置文件;執行腳本啟動仿真器運行仿真腳本對被測對象進行仿真,被測對象接收激勵信號和讀取配置文件,並保存仿真過程產生的響應數據;執行腳本啟動數據對比腳本和結果分析腳本,將響應數據與預期值進行比較,輸出分析結果。
2.如權利要求1所述的方法,其特徵在於,所述執行腳本為複數個,由驗證腳本依次啟動該複數個執行腳本,以完成需要進行多個測試任務的驗證項目。
3.如權利要求1或2所述的方法,其特徵在於,驗證項目均採用固定的目錄結構組織相關文件。
4.如權利要求3所述的方法,其特徵在於,驗證項目的目錄結構包括第一子目錄,用於保存相關的規格、設計和驗證文檔;第二子目錄,用於保存可重用行為模型、公共子程序和函數;第三子目錄,用於保存可綜合的設計原始碼;第四子目錄,用於保存綜合腳本、網表以及綜合產生的各種報告文件;第五子目錄,用於保存約束文件、布局布線腳本、燒片文件以及布局布線過程中產生的各種報告文件;第六子目錄,用於保存驗證相關文件。
5.如權利要求4所述的方法,其特徵在於第六子目錄進一步包括仿真工作子目錄,保存仿真編譯結果,並作為臨時目錄供仿真時進行文件拷貝操作;驗證程序組子目錄,用於存放為了驗證被測對象的某一類特性所需的測試文件。
6.如權利要求5所述的方法,其特徵在於驗證程序組子目錄包括多個目錄結構相同的測試用列子目錄,每一測試用例子目錄進一步包括腳本目錄,用於保存仿真中需要被調用的腳本;配置文件目錄,用於保存配置文件;激勵文件目錄,用於保存激勵數據文件;仿真結果目錄,用於保存仿真輸出結果、仿真過程日誌文件、代碼覆蓋率報告及缺陷跟蹤表;對比數據目錄,用於保存仿真參考比對數據;執行腳本目錄,用於保存該測試用例的執行腳本;說明文件目錄,用於保存該測試用例的詳細說明文件。
7.如權利要求1或2所述的方法,其特徵在於所述驗證項目及驗證過程由驗證項目管理模塊進行統一管理,並且該驗證項目管理模塊提供一個用戶界面供用戶進行驗證項目管理操作。
8.如權利要求7所述的方法,其特徵在於,驗證項目管理模塊通過用戶界面提供一個用戶擴展接口,用戶通過該用戶擴展接口開發工具以增加驗證項目管理模塊功能。
9.如權利要求8所述的方法,其特徵在於,所述的擴展接口提供工具嚮導開發模板,以開發出標準的工具嚮導。
10.一種自動化仿真系統,包括用於數據處理的處理器,用於存儲程序和數據的存儲器,其特徵在於該系統還具有仿真平臺,該仿真臺包括驗證腳本模塊由啟動執行腳本的命令集構成,用於啟動執行腳本來執行測試用列;仿真器模塊由執行腳啟動,用於運行仿真腳本進行仿真;驗證項目模塊包括驗證過程所需的相關文件模塊,並採用固定的目錄結構組織所述相關文件模塊;驗證項目管理模塊用於實現整個驗證項目模塊的目錄管理、測試用列的執行和回歸測試執行,並提供一用戶界面供項目管理操作。
11.如權利要求10所述的仿真系統,其特徵在於還包括用戶擴展接口模塊,通過該擴展接口模塊向仿真平臺增加工具。
12.如權利要求11所述的仿真系統,其特徵在於所述用戶擴展接口模塊包括工具嚮導開發模塊,通過該模塊開發出標準的工具。
13.如權利要求10至12之一所述的仿真系統,其特徵在於驗證項目模塊的目錄結構包括第一子目錄,用於保存相關的規格、設計和驗證文檔;第二子目錄,用於保存可重用行為模型、公共子程序和函數;第三子目錄,用於保存可綜合的設計原始碼;第四子目錄,用於保存綜合腳本、網表以及綜合產生的各種報告文件;第五子目錄,用於保存約束文件、布局布線腳本、燒片文件以及布局布線過程中產生的各種報告文件;第六子目錄,用於保存驗證相關文件。
14.如權利要求13所述的仿真系統,其特徵在於第六子目錄進一步包括仿真工作子目錄,保存仿真編譯結果,並作為臨時目錄供仿真時進行文件拷貝操作;驗證程序組子目錄,用於存放為了驗證被測對象的某一類特性所需的測試文件。其中驗證程序組子目錄包括多個目錄結構相同的測試用列子目錄,每一測試用例子目錄進一步包括腳本子目錄,用於保存仿真中需要被調用的腳本;配置文件子目錄,用於保存配置文件;激勵文件子目錄,用於保存激勵數據文件;仿真結果子目錄,用於保存仿真輸出結果、仿真過程日誌文件、代碼覆蓋率報告及缺陷跟蹤表;對比數據子目錄,用於保存仿真參考比對數據;執行腳本子目錄,用於保存該測試用例的執行腳本;說明文件子目錄,用於保存該測試用例的詳細說明文件。
全文摘要
本發明公開了一種自動化仿真的方法,由具有信息處理能力的裝置通過執行腳本完成仿真,該方法包括步驟啟動執行腳本開始驗證項目;執行腳本啟動激勵腳本和配置腳本分別產生激勵信號和生成配置文件;執行腳本啟動仿真器運行仿真腳本對被測對象進行仿真,被測對象接收激勵信號和讀取配置文件,並保存仿真過程產生的響應數據;執行腳本啟動數據對比腳本和結果分析腳本,將響應數據與預期值進行比較,輸出分析結果。本發明同時還公開了一種邏輯自動化仿真系統。
文檔編號G06F9/455GK1577274SQ0315926
公開日2005年2月9日 申請日期2003年9月12日 優先權日2003年7月1日
發明者錢晶, 程智輝 申請人:華為技術有限公司

同类文章

一種新型多功能組合攝影箱的製作方法

一種新型多功能組合攝影箱的製作方法【專利摘要】本實用新型公開了一種新型多功能組合攝影箱,包括敞開式箱體和前攝影蓋,在箱體頂部設有移動式光源盒,在箱體底部設有LED脫影板,LED脫影板放置在底板上;移動式光源盒包括上蓋,上蓋內設有光源,上蓋部設有磨沙透光片,磨沙透光片將光源封閉在上蓋內;所述LED脫影

壓縮模式圖樣重疊檢測方法與裝置與流程

本發明涉及通信領域,特別涉及一種壓縮模式圖樣重疊檢測方法與裝置。背景技術:在寬帶碼分多址(WCDMA,WidebandCodeDivisionMultipleAccess)系統頻分復用(FDD,FrequencyDivisionDuplex)模式下,為了進行異頻硬切換、FDD到時分復用(TDD,Ti

個性化檯曆的製作方法

專利名稱::個性化檯曆的製作方法技術領域::本實用新型涉及一種檯曆,尤其涉及一種既顯示月曆、又能插入照片的個性化檯曆,屬於生活文化藝術用品領域。背景技術::公知的立式檯曆每頁皆由月曆和畫面兩部分構成,這兩部分都是事先印刷好,固定而不能更換的。畫面或為風景,或為模特、明星。功能單一局限性較大。特別是畫

一種實現縮放的視頻解碼方法

專利名稱:一種實現縮放的視頻解碼方法技術領域:本發明涉及視頻信號處理領域,特別是一種實現縮放的視頻解碼方法。背景技術: Mpeg標準是由運動圖像專家組(Moving Picture Expert Group,MPEG)開發的用於視頻和音頻壓縮的一系列演進的標準。按照Mpeg標準,視頻圖像壓縮編碼後包

基於加熱模壓的纖維增強PBT複合材料成型工藝的製作方法

本發明涉及一種基於加熱模壓的纖維增強pbt複合材料成型工藝。背景技術:熱塑性複合材料與傳統熱固性複合材料相比其具有較好的韌性和抗衝擊性能,此外其還具有可回收利用等優點。熱塑性塑料在液態時流動能力差,使得其與纖維結合浸潤困難。環狀對苯二甲酸丁二醇酯(cbt)是一種環狀預聚物,該材料力學性能差不適合做纖

一種pe滾塑儲槽的製作方法

專利名稱:一種pe滾塑儲槽的製作方法技術領域:一種PE滾塑儲槽一、 技術領域 本實用新型涉及一種PE滾塑儲槽,主要用於化工、染料、醫藥、農藥、冶金、稀土、機械、電子、電力、環保、紡織、釀造、釀造、食品、給水、排水等行業儲存液體使用。二、 背景技術 目前,化工液體耐腐蝕貯運設備,普遍使用傳統的玻璃鋼容

釘的製作方法

專利名稱:釘的製作方法技術領域:本實用新型涉及一種釘,尤其涉及一種可提供方便拔除的鐵(鋼)釘。背景技術:考慮到廢木材回收後再加工利用作業的方便性與安全性,根據環保規定,廢木材的回收是必須將釘於廢木材上的鐵(鋼)釘拔除。如圖1、圖2所示,目前用以釘入木材的鐵(鋼)釘10主要是在一釘體11的一端形成一尖

直流氧噴裝置的製作方法

專利名稱:直流氧噴裝置的製作方法技術領域:本實用新型涉及ー種醫療器械,具體地說是ー種直流氧噴裝置。背景技術:臨床上的放療過程極易造成患者的局部皮膚損傷和炎症,被稱為「放射性皮炎」。目前對於放射性皮炎的主要治療措施是塗抹藥膏,而放射性皮炎患者多伴有局部疼痛,對於止痛,多是通過ロ服或靜脈注射進行止痛治療

新型熱網閥門操作手輪的製作方法

專利名稱:新型熱網閥門操作手輪的製作方法技術領域:新型熱網閥門操作手輪技術領域:本實用新型涉及一種新型熱網閥門操作手輪,屬於機械領域。背景技術::閥門作為流體控制裝置應用廣泛,手輪傳動的閥門使用比例佔90%以上。國家標準中提及手輪所起作用為傳動功能,不作為閥門的運輸、起吊裝置,不承受軸向力。現有閥門

用來自動讀取管狀容器所載識別碼的裝置的製作方法

專利名稱:用來自動讀取管狀容器所載識別碼的裝置的製作方法背景技術:1-本發明所屬領域本發明涉及一種用來自動讀取管狀容器所載識別碼的裝置,其中的管狀容器被放在循環於配送鏈上的文檔匣或託架裝置中。本發明特別適用於,然而並非僅僅專用於,對引入自動分析系統的血液樣本試管之類的自動識別。本發明還涉及專為實現讀