第9講基本輸入輸出函數(shù)ppt課件

1、第九講第九講 根本的輸入和輸出根本的輸入和輸出 提綱提綱l根本input/output文件l測(cè)試程序TestbencheslASSERT語(yǔ)句文件對(duì)象文件對(duì)象lVHDL的對(duì)象包括l信號(hào)l變量l常量l文件l經(jīng)過(guò)引入文件類(lèi)型，使得我們可以定義和運(yùn)用文件對(duì)象文件定義文件定義l文件可以經(jīng)過(guò)它所存儲(chǔ)的內(nèi)容來(lái)進(jìn)展區(qū)分ltype text 是字符串文件；ltype IntegerFileType 是整數(shù)型文件；lVHDL 1987中的文件定義lfile infile: text is in “inputdata.txt；lfile outfile: text is out “outputdata.txt；lV

2、HDL 1993中的文件定義lfile infile: text open read_mode is “inputdata.txt;lfile outfile: text open write_mode is “outputdata.txt;文件定義：二進(jìn)制文件定義：二進(jìn)制I/O文件文件VHDL 1993文件定義：二進(jìn)制文件定義：二進(jìn)制I/O文件文件VHDL 1993lVHDL支持readf,value, writef, value和 endfilef操作；lVHDL 93支持File_Open和File_Close操作；l直接和間接的文件翻開(kāi)操作；文件定義：二進(jìn)制文件定義：二進(jìn)制I/O文件文

3、件VHDL 1987文件定義：二進(jìn)制文件定義：二進(jìn)制I/O文件文件VHDL 1987lVHDL1987支持readf,value, writef, value和 endfilef操作；l經(jīng)過(guò)文件聲明來(lái)間接地進(jìn)展文件翻開(kāi)操作；文件定義：文件定義：TEXTIO包包文件定義：文件定義：TEXTIO包包l文件是按行l(wèi)ines來(lái)組織的；lRead和write子程序?qū)ine數(shù)據(jù)構(gòu)造進(jìn)展操作；lReadline和writeline子程序和文件進(jìn)展數(shù)據(jù)交換；l基于Text的 I/O操作；l在STD 庫(kù)的TEXTIO包中封裝了全部的操作子程序l從行 lines 中讀取和寫(xiě)入預(yù)定義類(lèi)型數(shù)據(jù)的子程序；l針對(duì)std

4、_input and std_output的預(yù)定義訪(fǎng)問(wèn)操作；l子程序名的重載Overloaded；文件定義：文件定義：TEXTIO包的運(yùn)用包的運(yùn)用文件定義：文件定義：TEXTIO包的運(yùn)用包的運(yùn)用文件定義：文件定義：TEXTIO包的運(yùn)用包的運(yùn)用文件定義：擴(kuò)展文件定義：擴(kuò)展TEXTIO支持其他數(shù)據(jù)類(lèi)型支持其他數(shù)據(jù)類(lèi)型l對(duì)用戶(hù)隱藏TEXTIO的ASCII格式；l針對(duì)所希望的數(shù)據(jù)類(lèi)型的讀和寫(xiě)，如， std_logic_vector ，提供類(lèi)型轉(zhuǎn)換子程序；l將子程序封裝在包中；l將包 package安裝在庫(kù) library中，然后經(jīng)過(guò)use 子句使庫(kù)中的內(nèi)容可見(jiàn)；代碼例如：類(lèi)型轉(zhuǎn)換代碼例如：類(lèi)型轉(zhuǎn)換代碼

5、例如：類(lèi)型轉(zhuǎn)換代碼例如：類(lèi)型轉(zhuǎn)換代碼例如：代碼例如：Bhasker95l輸出格式定義：lwrite (buf, “This is the header);lwriteline (outfile,buf);lwrite (buf, “Clk =);lwrite (buf, clk);lwrite (buf, “, N1 =);lwrite (buf, N1);l輸出結(jié)果：lThis is the headerlClk = 0, N1 = 01001011代碼例如：代碼例如：Bhasker95l讀入的格式化輸入行：代碼例如：代碼例如：Bhasker95l讀入該格式化輸入行的程序：代碼例如：文件名的

6、處置代碼例如：文件名的處置代碼例如：文件名的處置代碼例如：文件名的處置l在上面的代碼中假定“input映射到模擬器的控制臺(tái)l通?！癷nput和 “output分別映射到規(guī)范輸入和規(guī)范輸出代碼例如：測(cè)試模塊代碼例如：測(cè)試模塊代碼例如：測(cè)試模塊代碼例如：測(cè)試模塊代碼例如：測(cè)試程序代碼例如：測(cè)試程序Testbenches 測(cè)試程序具有一定的通用性 根本戰(zhàn)略是：施加測(cè)試鼓勵(lì)，丈量和記錄呼應(yīng)矢量代碼例如：測(cè)試程序代碼例如：測(cè)試程序Testbenches測(cè)試程序產(chǎn)生周期性的時(shí)鐘信號(hào)并施加測(cè)矢量代碼例如：測(cè)試程序代碼例如：測(cè)試程序Testbenches代碼例如：構(gòu)造化測(cè)試模塊代碼例如：構(gòu)造化測(cè)試模塊測(cè)試鼓勵(lì)

7、的生成測(cè)試鼓勵(lì)的生成l定義功能測(cè)試所需的鼓勵(lì)矢量和參考矢量l鼓勵(lì)源l部分常數(shù)陣列l(wèi)I/O文件l時(shí)鐘和復(fù)位信號(hào)的生成l通常與鼓勵(lì)矢量相隔離l實(shí)現(xiàn)周期性的鼓勵(lì)測(cè)試鼓勵(lì)的生成：例如測(cè)試鼓勵(lì)的生成：例如Smith96測(cè)試鼓勵(lì)的生成：例如測(cè)試鼓勵(lì)的生成：例如Smith96測(cè)試結(jié)果確實(shí)認(rèn)測(cè)試結(jié)果確實(shí)認(rèn)Validationl將測(cè)試呼應(yīng)矢量與參考矢量相比較，并在外部文件中記錄其中不匹配的部分出錯(cuò)點(diǎn)；l同時(shí)需求記錄出錯(cuò)點(diǎn)所對(duì)應(yīng)的仿真時(shí)間點(diǎn)；l能夠需求記錄仿真形狀。斷言斷言ASSERTl將測(cè)試呼應(yīng)矢量與參考矢量相比較，并在外部文件中記錄其中不匹配的部分出錯(cuò)點(diǎn)；l同時(shí)需求記錄出錯(cuò)點(diǎn)所對(duì)應(yīng)的仿真時(shí)間點(diǎn)；l能夠需求記錄

8、仿真形狀。斷言斷言ASSERTassert Q = check(1) and Qbar = check(0)report “Test Vector Failedseverity error;仿真器控制臺(tái)輸出例如仿真器控制臺(tái)輸出例如 Selected Top-Level: srbench (behavioral) : ERROR : Test Vector Failed : Time: 20 ns, Iteration: 0, Instance: /T1. : ERROR : Test Vector Failed : Time: 100 ns, Iteration: 0, Instance: /

9、T1.斷言斷言ASSERTassert Q = check(1) and Qbar = check(0)report “Test Vector Failedseverity error;仿真器控制臺(tái)輸出例如仿真器控制臺(tái)輸出例如 Selected Top-Level: srbench (behavioral) : ERROR : Test Vector Failed : Time: 20 ns, Iteration: 0, Instance: /T1. : ERROR : Test Vector Failed : Time: 100 ns, Iteration: 0, Instance: /T1

10、.斷言斷言ASSERTl設(shè)計(jì)者可以在預(yù)定義的級(jí)別上報(bào)告出錯(cuò)情況：NOTE,WARNING, ERROR and FAILURE 枚舉類(lèi)型l報(bào)告的參數(shù)是一個(gè)字符串，該字符串會(huì)寫(xiě)到仿真輸出l斷言所對(duì)應(yīng)的操作是仿真器相關(guān)的l并行 vs. 串行斷言語(yǔ)句l在不中斷仿真的情況下TEXTIO比 ASSERT快斷言斷言ASSERT：例如：例如Bhaskar 95larchitecture check_times of DFF islconstant hold_time: time:=5 ns;lconstant setup_time : time:= 2 ns;lbeginlprocesslvariable lastevent: time;lbeginlif devent thenlassert NOW = 0 ns or (NOW - lastevent) =hold_timelreport “Hold time too shortlseverity FAILURE;llastevent := NOW;lend if;l- check setup timel- D fl