100emD硬件述语言 Chinapub. coM 下载 系统任务 sst。p 使模拟被挂起。在这一阶段,交互命令可能被发送到模拟器。下面是该命令使用方法的例子, initial #500 $stop 500个时间单位后,模拟停止。 10.35定时校验任务 系统任务: setup(data event, reference event, limit) 如果 (t⊥ me of reference event- time of da ta event1⊥m⊥t 则报告时序冲突( timing violation) 系统调用实例如下: Setup(D, posedge ck, 1, 0) 系统任务: shold(reference event, data event, limit 如果 (time of data event -time of reference event limit 则报数据保持时间时序冲突 例如 sho⊥d(p。 sedge Ck,D,0.1); 系统任务 Ssetuphold是 Setup和$hold任务的结合 Ssetuphold(reference event, data event, setup limit, hold limit 而系统任务: 则检查信号的脉冲宽度限制,如果 threshold <(time of data event-time of reference event)< limit 则报告信号上出现脉冲宽度不够宽的时序错误 数据事件来源于基准事件:它是带有相反边沿的基准事件,例如 Width(negedge Ck,0.0, 0 系统任务: Speriod (reference event, iimit 检查信号的周期,若 time of da ta event -time of reference event limit 则报告时序错误 基准事件必须是边沿触发事件。数据事件来源于基准事件:它是带有相同边沿的基准事 系统任务: skew(reference event, data event, limit) 检查信号之间(尤其是成组的时钟控制信号之间)的偏斜(skew)是否满足要求,若 t⊥ me of data event- time of reference even t>⊥m⊥t系统任务 $s t o p 使模拟被挂起。在这一阶段，交互命令可能被发送到模拟器。下面是该命令使用方法的例子。 i n i t i a l #500 $s t o p; 5 0 0个时间单位后，模拟停止。 10.3.5 定时校验任务 系统任务： $s e t u p(d a t a _ e v e n t , r e f e r e n c e _ e v e n t , l i m i t) ; 如果 (time_of_reference_event - time_of_data_event ) < limit 则报告时序冲突（timing violation）； 系统调用实例如下： $s e t u p(D, p o s e d g e Ck, 1, 0); 系统任务： $h o l d(r e f e r e n c e _ e v e n t , d a t a _ e v e n t , l i m i t) ; 如果 (time_of_data_event - time_of_reference_event ) < limit， 则报数据保持时间时序冲突。 例如： $h o l d(p o s e d g e C k , D , 0 . 1) ; 系统任务$s e t u p h o l d是$s e t u p和$h o l d任务的结合: $s e t u p h o l d(r e f e r e n c e _ e v e n t , d a t a _ e v e n t , s e t u p _ l i m i t , h o l d _ l i m i t) ; 而系统任务： $w i d t h(r e f e r e n c e _ e v e n t , l i m i t , t h r e s h o l d) ; 则检查信号的脉冲宽度限制，如果 threshold < (t i m e _ o f _ d a t a _ e v e n t - t i m e _ o f _ r e f e r e n c e _ e v e n t) < limit 则报告信号上出现脉冲宽度不够宽的时序错误。 数据事件来源于基准事件：它是带有相反边沿的基准事件，例如： $w i d t h(n e g e d g e C k ,0 . 0 , 0 ) ; 系统任务： $p e r i o d(r e f e r e n c e _ e v e n t , l i m i t) 检查信号的周期，若 ( time_of_data_event - time_of_reference_event ) < limit 则报告时序错误。 基准事件必须是边沿触发事件。数据事件来源于基准事件：它是带有相同边沿的基准事 件。 系统任务： $s k e w(r e f e r e n c e _ e v e n t , d a t a _ e v e n t , l i m i t) 检查信号之间（尤其是成组的时钟控制信号之间）的偏斜（ s k e w）是否满足要求，若 time_of_data_event - time_of_reference_event > limit 100 Verilog HDL 硬件描述语言 下载