第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_