第9章设计校验解释.ppt

时钟和控制信号时序检查 事件标志控制参数event_based_flag和事件标志保留参数remain_active_flag的组合产生三种检查方式： （1）禁止事件标志event_based_flag，禁止保留标志remain_active_flag。 （2）使能事件标志event_based_flag，禁止保留标志remain_active_flag。 （3）使能事件标志event_based_flag，使能保留标志remain_active_flag。 时钟和控制信号时序检查 例：设参考事件为上升沿时钟CLK，数据事件为下降沿信号Data，偏斜限制初始时间窗limit1为50个时间单位，激活时间窗limit2为70个时间单位，检查报告为fullskew_notifier，事件标志为EFlag，激活标志为AFlag： specify $fullskew(posedge CLK EFlag, negedge Data, 50,70, fullskew_notifier,AFlag); endspecify 时钟和控制信号时序检查 脉冲宽度检查$width和周期检查$period分别检查信号的脉冲宽度和周期是否超出时间限制，若超出，则报告冲突信息。形式如下： $width(reference_event ,limit,threshold,notifier); $period (reference_event ,limit ,notifier); 例：指定CLK信号的脉冲宽度限制limit_width为20个时间单位，阀值门限limit_threshold设为4，周期限制limit_period为50个时间单位： specify specparam limit_width = 20; specparam limit_threshold= 4; specparam limit_period = 50; $width(posedge CLK, limit_width, limit_threshold,width_notifer); $period(posedge CLK, limit_period,period_notifier); endspecify 时钟和控制信号时序检查 数据变化检查$nochange是以上升沿或下降沿的参考事件检查数据事件的数据变化是否超过起始点start_edge_offset和结束点end_edge_offset区间的限制范围，若超出限制，则报告冲突信息。其形式如下： $ nochange (reference_event ,data_event,start_edge_offset, end_ edge_ offset ,notifier); 例：设参考事件clk的上升沿起点偏移时间为0，结束点偏移时间为0，考察数据事件Data的数据变化检查： $nochange( posedge clk, Data, 0, 0) ; 边沿控制方式指定 边沿控制方式指定是针对时序检查过程中，用于事件控制的逻辑0、1和x进行边沿传输方式的定义。其形式由关键词edge、方括号和边沿描述组成： edge[edge_descriptor] 边沿描述是0、1和x的六种组合，z当作x对待： 01 //从0至1的传输 0x //从0至x的传输 10 //从1至0的传输 1x //从1至x的传输 x0 //从x至0的传输 x1 //从x至1的传输 关键词posedge和negedge可用于某种边沿控制指定符， 例：posedge rst与edge[01,0x,x1] rst等价 negedge rst与edge[10, x0, 1x] rst等价 时序检查冲突报告的处理 不同层次的模块中，时序检查冲突报告以寄存器类型申明，按照设计流以x值输出冲突描述信息。 例：带置位和清零端D触发器用户定义原语的时序检查和冲突报告处理。定义D触发器用户定义原语，指定时序检查参数和模块路径延时，分别检查D端的建立时间、保持时间，置位端SD和复位端RD的脉冲宽度、恢复时间，时钟端CLK的周期，将冲突报告notifier的输出纳入UDP的输入，在状态表中描述notifier的状态，当时