0: ck=1 data=0 en=1 - out=0 50: ck=0 data=0 en=1 - out=0 95: ck=0 data=1 en=1 - out=0 Expect $setup violation at time 100. Runtime Error at 100: Timing violation in top.l1[latch] $setup(data, (posedge ck) &&& en, 10). 100: ck=1 data=1 en=1 - out=1 150: ck=0 data=1 en=1 - out=1 185: ck=0 data=0 en=1 - out=1 Expect no violations at time 200. 200: ck=1 data=0 en=1 - out=0 250: ck=0 data=0 en=1 - out=0 291: ck=0 data=1 en=1 - out=0 Expect $setup violation at time 300. Runtime Error at 300: Timing violation in top.l1[latch] $setup(data, (posedge ck) &&& en, 10). 300: ck=1 data=1 en=1 - out=1 350: ck=0 data=0 en=1 - out=1 Expect no violations at time 400. 400: ck=1 data=0 en=1 - out=0 450: ck=0 data=0 en=1 - out=0 495: ck=0 data=1 en=0 - out=0 Expect no violations at time 500. 500: ck=1 data=1 en=0 - out=0 Expect no violations at time 502. 502: ck=1 data=1 en=1 - out=0 550: ck=0 data=1 en=1 - out=0 600: ck=1 data=1 en=1 - out=1 Expect $hold violation at time 602. Runtime Error at 602: Timing violation in top.l1[latch] $hold((posedge ck) &&& en, data, 10). 602: ck=1 data=0 en=1 - out=1 650: ck=0 data=0 en=1 - out=1 700: ck=1 data=0 en=1 - out=0 Expect no violation at time 711. 711: ck=1 data=1 en=1 - out=0 750: ck=0 data=1 en=1 - out=0
Generated by dwww version 1.15 on Sat May 18 10:58:46 CEST 2024.