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