fifo实验(4)-基于数据流的功能验证
时间:10-02
整理:3721RD
点击:
前几天和一个工程师交流时,他说了这么几句话"做仿真的不是通过肉眼查看波形,而是做仿真的应答,提取相应的数据,判断收发数据是否符合要求。",我觉得说得很有道理,我想在他后面再加一句,通过判断收发数据是否符合要求判断逻辑是否正确。
当然我个人认为是:(1)要看波形,看波形是为了保证时序正确,这个在高速设计时很重.
(2)写程序验证首先要实现的就是逻辑验证或者说是功能验证,初学者应该首先达到这一层面。
今天写这个帖子想讲一下基于数据流的验证方法,闲言少叙,进入正题。
一、仿真数据文件
这个数据文件写的非常标准,首先写上要验证的功能,后面是数据,数据后面有注释,需要说一下,“#”号后面的是注释。
二、仿真用到的几个函数
1、fopen
该函数的作用是打开指定路径的文件,如果没有找到,返回值为0,下面是一个小例子。
integer log_flie;
log_file=$fopen("ceshi.txt");
2、