VHDL的testbench的编写(转)

大多数硬件设计人员对verilog的testbench比较熟悉,那是因为verilog被设计出来的目的就是为了用于测试使用,也正是因为这样verilog的语法规则才被设计得更像C语言,而verilog发展到后来却因为它更接近C语言的语法规则,设计起来更加方便,不像VHDL那也死板严密,所以verilog又渐渐受到硬件设计者们的青睐。但其实VHDL在最开始也是具有测试能力的,而且它的语法严密,但我们同样可以用它来编写我们的测试文件。

 

下面以一个8bit计数器为例子给出个简单的testbench模板及注释:

fc9bbf98-0924-4adc-9dd9-b1cbda6bdb3f.jpg

85a456fb-717a-41ae-b3ac-8b51e619ecd1.jpg

 

通过编写testbench来仿真和通过拖波形来仿真,最大的好处就是,当测试数据无比庞大时,可以简易得通过testbench中的算法来实现,而另一个更为重要的方面就是,可以通过testbench对数据文件进行读写操作,从而简化我们的仿真工作。

 

首先介绍下时间控制语句——wait:(其实wait语句是通过控制仿真的两种状态——执行和挂起,来控制时间的)

 

1.wait——无线等待;语法【wait;】,类似于Verilog中的¥Stop

 

2.wait on——敏感信号量变化;语法【wait on 信号;】,表示当信号发生变化的时候,仿真开始继续执行,从而结束挂起状态

 

3.wait until——条件满足;语法【wait
until 表达式】,表达式为一个布尔表达式,表示当表达式为“真”时,仿真继续执行,结束挂起状态

 

4.wait for——时间控制;语法【wait
for 时间表达式】,例:【wait for 30ns;】

 

VHDL也提供了文件I/O的操作,以下简单介绍在我们大部分情况下如何通过VHDL来进行文件操作。

ddbf463b-f5f8-4508-a448-ada002566dfb.jpg

 

file类型:文件句柄,用于定义文件。语法1【file 文件变量名:text is 读取或者写入类型 “文件名”;】text——文件类型为文本类型,读取类型为in,写入类型为out;语法2【file 文件变量名:text;】只是定义了文件变量名,并没有给赋予初值。

 

用第二种方式定义文件变量则需要用到函数file_open();语法【file_open(文件状态指示,文件变量,“文件名”,读写状态);】如上图实例。

 

LINE类型:如下图,为std库中TEXTIO文件中的定义

71e0da1f-d6b8-4af3-80e7-7434b10d24c4.jpg

 

LINE 为存取类型的变量,它表示该变量是指向字符串的指针,它是TEXTIO 中所有操作的基本单元。读文件时,先按行(LINE)读出一行数据,再对LINE 操作来读取各种数据类型的数据;写文件时, 先将各种的数据类型组合成LINE,再将LINE 写入文件。在用户使用时, 必须注意只有变量才可以是存取类型, 而信号则不能是存取类型。

 

TEXTIO还定义了一些基本的文件操作过程:

 

【READLINE(文件变量,行变量);】从指定的文件中读取一行。

 

【READ(行变量,数据变量);】从一行中读取一个数据。

 

【WRITELINE(文件变量,行变量);】将行变量中数据写入到指定文件。

 

【WRITE(行变量,数据变量);】将数据写入到一行中。

 

【WRITE(行变量,数据变量,起始位置,字符数);】比上个过程多了起始位置和字符数的指定。

62ab076d-331c-4a4f-8781-69fb80734b3d.jpg

 

上图事例为循环从数据文件中读取出数据,赋值给信号量。

682c9572-573e-45ac-930a-4e607975d2f1.jpg

 

上图事例为了说明行变量与各个变量之间的转换,行变量可与任何变量类型进行转换,并且原样输出到指定文件中。

 

另外再推荐个语句:ASSERT——断言语句。它和VC中的_TRACE语句一样,在调试程序中非常有用非常方便。

 

assert是一个调试仿真时的专用语法,他可以判断一个boolean变量,如果该变量为假就输出一个用户指定的信息到终端(控制台),用户可以附带输出信息的严格等级,从低到高依次是:note,warning,error,failure,可以让用户区分信息的类型。同样assert语句也是不能被综合的。

 

assert可以是同步语句(在process外),此时assert后面的任何变量变化都会引起assert语句判断一次。


assert还可以是顺序语句,此时assert存在于process中。

posted @ 2013-07-16 13:21  feitian629  阅读(1137)  评论(0编辑  收藏  举报