IC验证学习笔记（MCDF）实验1-用task、动态数组、产生数据部分单独划分

实验1：

产生时钟和发起复位的两个initial被task取代：

Task和function的区别

函数能调用另一个函数，但不能调用任务；任务能调用另一个任务，也能调用另一个函数

函数总是在仿真时刻0就开始执行；任务可以在非零时刻执行

函数一定不能包含任何延迟、事件或者时序控制声明语句；任务可以包含延迟、事件或者时序控制声明语句

函数至少有一个输入变量，可以有多个输入变量；任务可以没有或者多个输入(input)、输出(output)和双向(inout)变量

函数的参数列表只有input，返回值是通过函数名带回，只能有一个返回值，不能有输出(output)或者双向(inout)变量；任务不返回任何值，任务可以通过输出(output)或者双向(inout)变量传递多个值

注意clk_gen()和rstn_gen()不能放在一个initial块里面，否则只会产生clock信号，不会产生复位信号。这是因为多个initial块是并行的，把时钟信号和复位信号放在一个initial块里面，在initial块内部的执行顺序是串行的，执行clk_gen()时，forever会一直执行，不断产生时钟信号，导致rstn_gen()方法无法调用执行。
 

用动态数组作为输入的数据，每个通道100个数

 将产生数据的部分单独拎出来，用新的模块initiator来写。

        为了实现清晰的验证结构，我们将DUT和激励发生器stimulator之间划分。可以将激励方法chnl_write()封装在新的模块chnl_initator中。模块可以例化，chnl0_init、chnl1_init、chnl2_init分别扮演每个channel通道对应的stimulator，发送激励，因此在其模块chnl_initiator中定义了三个方法set_name()、chnl_write()和chnl_idle()。

set_name()：设置实例的名称，在发送各个channel数据前，设置各个channel_initiator的实例名称。
chnl_write()：要实现一次有效的写数据，并随后调用chnl_idle()，实现一个空闲周期。在实现有效写数据时，只有当valid为高且ready为高时，数据写入才算成功，如果此时ready为低，那么则应该保持数据和valid信号，直到ready信号拉高时，数据写入才算成功。
chnl_idle()：要实现一个时钟周期的空闲，在该周期中，ch_valid应为低，ch_data应为0。