Chinaopub.com 第1验证125 下载 ND6(Y2, NotY, Notc MD7(Q,Qbar,￥J ND8 (Obar, Y2,oi odule Test SDFF MI(D,C, 0, QA always in⊥tia1 #40D=0 sstop end in⊥tia1 s monitor ("Time t :: time,"C=tb, D=b, Q=bb Qb=b", C,D, 0, ob 在此测试验证模块中,触发器的两个输入和两个输出结果均设置了监控,故只要其中任 何值发生变化就输出指定变量的值。下面是执行产生的输出结果 ⊥me= 0::C=0,D=0,Q=x,Qb= 5::c=1,D=0,Q=x,Qb=x Time= 35::C=1,D=0,Q=0,Qb=1 40::C=0,D=1,Q=0,Qb= Time= 50::C=0,D=1,Q=1,Qb=0 55::C=1,D=1,Q=1,Qb=0 Time= 60::C=0,D=1,Q=1,Qb=0 65::C=1,D=1,Q=1,Qb= 80::C=0,D=0,Q=1,Qb=0ND4 (Ybar, Y, D2) , ND5 (Y1, Y, NotC) , ND6 (Y2, NotY, NotC) , N D 7 (Q, Qbar, Y1) , N D 8 (Qbar, Y2, Q) ; e n d m o d u l e m o d u l e T e s t ; r e g D, C; w i r e Q, Qb; MSDFF M1 (D, C, Q, Qb) ; a l w a y s #5 C = ~ C; i n i t i a l b e g i n D = 0; C = 0; #40 D = 1; #40 D = 0; #40 D = 1; #40 D = 0; $s t o p; e n d i n i t i a l $ m o n i t o r ("Time = %t ::", $t i m e,"C=%b, D=%b, Q=%b, Qb=%b", C,D, Q, Qb ) ; e n d m o d u l e 在此测试验证模块中，触发器的两个输入和两个输出结果均设置了监控，故只要其中任 何值发生变化就输出指定变量的值。下面是执行产生的输出结果。 Time= 0:: C=0, D=0, Q=x, Qb=x Time= 5:: C=1, D=0, Q=x, Qb=x Time= 10:: C=0, D=0, Q=0, Qb=1 Time= 15:: C=1, D=0, Q=0, Qb=1 Time= 20:: C=0, D=0, Q=0, Qb=1 Time= 25:: C=1, D=0, Q=0, Qb=1 Time= 30:: C=0, D=0, Q=0, Qb=1 Time= 35:: C=1, D=0, Q=0, Qb=1 Time= 40:: C=0, D=1, Q=0, Qb=1 Time= 45:: C=1, D=1, Q=0, Qb=1 Time= 50:: C=0, D=1, Q=1, Qb=0 Time= 55:: C=1, D=1, Q=1, Qb=0 Time= 60:: C=0, D=1, Q=1, Qb=0 Time= 65:: C=1, D=1, Q=1, Qb=0 Time= 70:: C=0, D=1, Q=1, Qb=0 Time= 75:: C=1, D=1, Q=1, Qb=0 Time= 80:: C=0, D=0, Q=1, Qb=0 第11章 验 证 125 下载