10 lines
239 B
Plaintext
10 lines
239 B
Plaintext
|
t.clk t.d t.q t.ff._qb t.ff._q_B t.ff.__clk t.ff._dl t.ff._clk
|
||
|
|
[0] start test
|
||
|
|
|
||
|
|
[1] reset completed
|
||
|
|
WRONG ASSERT: "t.q" has value 1 and not 0.
|
||
|
|
[2] setting d to 1
|
||
|
|
WRONG ASSERT: "t.q" has value 1 and not 0.
|
||
|
|
[3] setting clk to 1
|
||
|
|
[4] Finished
|