《基本輸入輸出函數(shù) 》PPT課件.pptVIP

第九講 基本的輸入和輸出,提綱,基本input/output文件 測(cè)試程序（Testbenches） ASSERT語句,文件對(duì)象,VHDL的對(duì)象包括 信號(hào) 變量 常量 文件 通過引入文件類型，使得我們可以定義和使用文件對(duì)象,文件定義,文件可以通過它所存儲(chǔ)的內(nèi)容來進(jìn)行區(qū)分 type text 是字符串文件； type IntegerFileType 是整數(shù)型文件； VHDL 1987中的文件定義 file infile: text is in “inputdata.txt”； file outfile: text is out “outputdata.txt”； VHDL 1993中的文件定義 file infile: text open read_mode is “inputdata.txt”; file outfile: text open write_mode is “outputdata.txt”;,文件定義：二進(jìn)制I/O文件（VHDL 1993）,文件定義：二進(jìn)制I/O文件（VHDL 1993）,VHDL支持read（f,value）, write（f, value）和 endfile（f）操作； VHDL 93支持File_Open（）和File_Close（）操作； 直接和間接的文件打開操作；,文件定義：二進(jìn)制I/O文件（VHDL 1987）,文件定義：二進(jìn)制I/O文件（VHDL 1987）,VHDL1987支持read（f,value）, write（f, value）和 endfile（f）操作； 通過文件聲明來間接地進(jìn)行文件打開操作；,文件定義：TEXTIO包,文件定義：TEXTIO包,文件是按行（lines）來組織的； Read（）和write（）子程序?qū)ine數(shù)據(jù)結(jié)構(gòu)進(jìn)行操作； Readline（）和writeline（）子程序和文件進(jìn)行數(shù)據(jù)交換； 基于Text的 I/O操作； 在STD 庫的TEXTIO包中封裝了全部的操作子程序 從行（ lines ）中讀取和寫入預(yù)定義類型數(shù)據(jù)的子程序； 針對(duì)std_input and std_output的預(yù)定義訪問操作； 子程序名的重載（Overloaded）；,文件定義：TEXTIO包的使用,文件定義：TEXTIO包的使用,文件定義：TEXTIO包的使用,文件定義：擴(kuò)展TEXTIO支持其他數(shù)據(jù)類型,對(duì)用戶隱藏TEXTIO的ASCII格式； 針對(duì)所希望的數(shù)據(jù)類型的讀和寫，如， std_logic_vector ，提供類型轉(zhuǎn)換子程序； 將子程序封裝在包中； 將包（ package）安裝在庫（ library）中，然后通過use 子句使庫中的內(nèi)容可見；,代碼示例：類型轉(zhuǎn)換,代碼示例：類型轉(zhuǎn)換,代碼示例：（Bhasker95）,輸出格式定義： write (buf, “This is the header”); writeline (outfile,buf); write (buf, “Clk =”); write (buf, clk); write (buf, “, N1 =”); write (buf, N1); 輸出結(jié)果： This is the header Clk = 0, N1 = 01001011,代碼示例：（Bhasker95）,讀入的格式化輸入行：,代碼示例：（Bhasker95）,讀入該格式化輸入行的程序：,代碼示例：文件名的處理,代碼示例：文件名的處理,在上面的代碼中假定“input”映射到模擬器的控制臺(tái) 通?！癷nput”和 “output”分別映射到標(biāo)準(zhǔn)輸入和標(biāo)準(zhǔn)輸出,代碼示例：測(cè)試模塊,代碼示例：測(cè)試模塊,代碼示例：測(cè)試程序（Testbenches）, 測(cè)試程序具有一定的通用性 基本策略是：施加測(cè)試激勵(lì)，測(cè)量和記錄響應(yīng)矢量,代碼示例：測(cè)試程序（Testbenches）,測(cè)試程序產(chǎn)生周期性的時(shí)鐘信號(hào)并施加測(cè)矢量,代碼示例：測(cè)試程序（Testbenches）,代碼示例：結(jié)構(gòu)化測(cè)試模塊,測(cè)試激勵(lì)的生成,定義功能測(cè)試所需的激勵(lì)矢量和參考矢量 激勵(lì)源 局部常數(shù)陣列 I/O文件 時(shí)鐘和復(fù)位信號(hào)的生成 通常與激勵(lì)矢量相隔離 實(shí)現(xiàn)周期性的激勵(lì),測(cè)試激勵(lì)的生成：示例（Smith96）,測(cè)試激勵(lì)的生成：示例（Smith96）,測(cè)試結(jié)果的確認(rèn)（Validation）,將測(cè)試響應(yīng)矢量與參考矢量相比較，并在外部文件中記錄其中不匹配的部分（出錯(cuò)點(diǎn)）； 同時(shí)需要記錄出錯(cuò)點(diǎn)所對(duì)應(yīng)的仿真時(shí)間點(diǎn)； 可能需要記錄仿真狀態(tài)。,斷言（ASSERT）,將測(cè)試響應(yīng)矢量與參考矢量相比較，并在外部文件中記錄其中不匹配的部分（出錯(cuò)點(diǎn)）； 同時(shí)需要記錄出錯(cuò)點(diǎn)所對(duì)應(yīng)的仿真時(shí)間點(diǎn)； 可能需要記錄仿真狀態(tài)。,斷言（ASSERT）,assert Q = check(1) and Qbar = check(0) report “Test Vector Failed” severity error; 仿真器控制臺(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.,斷言（ASSERT）,assert Q = check(1) and Qbar = check(0) report “Test Vector Failed” severity error; 仿真器控制臺(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.,斷言（ASSERT）,設(shè)計(jì)者可以在預(yù)定義的級(jí)別上報(bào)告出錯(cuò)情況：NOTE,WARNING, ERROR and FAILURE （枚舉類型） 報(bào)告的參數(shù)是一個(gè)字符串，該字符串會(huì)寫到仿真輸出 斷言所對(duì)應(yīng)的操作是仿真器相關(guān)的 并行 vs. 串行斷言語句 在不中斷仿真的情況下TEXTIO比 ASSERT快,斷言（ASSERT）：示例（Bhaskar 95）,architecture check_times of DFF is constant hold_time: time:=5 ns; constant setup_time : time:= 2 ns; begin process variable lastevent: time; begin if devent then assert NOW = 0 ns or (NOW - lastevent) =hold_time report “Hold time too short” severity FAILURE; lastevent := NOW; end if; - check setup time - D flip flop be