资源描述：
《《基本输入输出函数》ppt课件》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。
1、第九讲基本的输入和输出提纲基本input/output文件测试程序（Testbenches）ASSERT语句文件对象VHDL的对象包括信号变量常量文件通过引入文件类型，使得我们可以定义和使用文件对象文件定义文件可以通过它所存储的内容来进行区分typetext是字符串文件；typeIntegerFileType是整数型文件；VHDL1987中的文件定义fileinfile:textisin“inputdata.txt”；fileoutfile:textisout“outputdata.txt”；VHDL1993中的文件定义filein
2、file:textopenread_modeis“inputdata.txt”;fileoutfile:textopenwrite_modeis“outputdata.txt”;文件定义：二进制I/O文件（VHDL1993）文件定义：二进制I/O文件（VHDL1993）VHDL支持read（f,value）,write（f,value）和endfile（f）操作；VHDL93支持File_Open（）和File_Close（）操作；直接和间接的文件打开操作；文件定义：二进制I/O文件（VHDL1987）文件定义：二进制I/O文件（V
3、HDL1987）VHDL1987支持read（f,value）,write（f,value）和endfile（f）操作；通过文件声明来间接地进行文件打开操作；文件定义：TEXTIO包文件定义：TEXTIO包文件是按行（lines）来组织的；Read（）和write（）子程序对line数据结构进行操作；Readline（）和writeline（）子程序和文件进行数据交换；基于Text的I/O操作；在STD库的TEXTIO包中封装了全部的操作子程序从行（lines）中读取和写入预定义类型数据的子程序；针对std_inputandstd_
4、output的预定义访问操作；子程序名的重载（Overloaded）；文件定义：TEXTIO包的使用文件定义：TEXTIO包的使用文件定义：TEXTIO包的使用文件定义：扩展TEXTIO支持其他数据类型对用户隐藏TEXTIO的ASCII格式；针对所希望的数据类型的读和写，如，std_logic_vector，提供类型转换子程序；将子程序封装在包中；将包（package）安装在库（library）中，然后通过use子句使库中的内容可见；代码示例：类型转换代码示例：类型转换代码示例：（Bhasker95）输出格式定义：write(buf
5、,“Thisistheheader”);writeline(outfile,buf);write(buf,“Clk=”);write(buf,clk);write(buf,“,N1=”);write(buf,N1);输出结果：ThisistheheaderClk=0,N1=01001011代码示例：（Bhasker95）读入的格式化输入行：代码示例：（Bhasker95）读入该格式化输入行的程序：代码示例：文件名的处理代码示例：文件名的处理在上面的代码中假定“input”映射到模拟器的控制台通常“input”和“output”分别映
6、射到标准输入和标准输出代码示例：测试模块代码示例：测试模块代码示例：测试程序（Testbenches）•测试程序具有一定的通用性•基本策略是：施加测试激励，测量和记录响应矢量代码示例：测试程序（Testbenches）•测试程序产生周期性的时钟信号并施加测矢量代码示例：测试程序（Testbenches）代码示例：结构化测试模块测试激励的生成定义功能测试所需的激励矢量和参考矢量激励源局部常数阵列I/O文件时钟和复位信号的生成通常与激励矢量相隔离实现周期性的激励测试激励的生成：示例（Smith96）测试激励的生成：示例（Smith96）
7、测试结果的确认（Validation）将测试响应矢量与参考矢量相比较，并在外部文件中记录其中不匹配的部分（出错点）；同时需要记录出错点所对应的仿真时间点；可能需要记录仿真状态。断言（ASSERT）将测试响应矢量与参考矢量相比较，并在外部文件中记录其中不匹配的部分（出错点）；同时需要记录出错点所对应的仿真时间点；可能需要记录仿真状态。断言（ASSERT）assertQ=check(1)andQbar=check(0)report“TestVectorFailed”severityerror;仿真器控制台输出示例SelectedTop-
8、Level:srbench(behavioral):ERROR:TestVectorFailed:Time:20ns,Iteration:0,Instance:/T1.:ERROR:TestVectorFailed:Time:100n
