验证基础及modelsim使用方法.ppt

验证基础及modelsim使用方法 验证基础 验证方法 自动化验证 Modelsim使用方法 基本操作 脚本使用 预置验证 – 复位，读写寄存器等。 直接验证 – 根据需要产生测试用例，进行验证。 随机验证 – 平台自动产生测试用例，进行验证。 覆盖验证 – 根据覆盖率统计，产生补充测试用例。 验证方法 产生复位信号 上电复位：上电时自动产生的复位信号，在时刻0发生 硬/软复位：按键或上位机产生的复位信号，在时刻t(t0)发生 预置验证 　 　 　 　 　 　 　 　 　 硬/软复位 　 　 　 　 　 　 　 上电复位 　 　 硬/软复位 0ns 　 　 　 　 　 　 　 　 　 　 always @ (posedge sys_clk or negedge reset_n) if(~reset_n) wait_reset_done = 1b0; else wait_reset_done = ~wait_reset_done; 预置验证 读写寄存器 遍历(0x00~0xff) ? time = 256 * 66/1000000 = 169us 如果是32bit数据， time = 283468s (0x00,0xff)？ 预置验证 0xff 　 1 　 1 　 0xff 0xff 　 1 　 1 　 0xf