watchall
system "echo '[0] start test'"

set Reset 0
set t.d 0
set t.clk 0
cycle
status X
mode run
assert t.q 0

system "echo '[1] reset completed'"

system "echo '[2] tested d = 0, clk rise'"
set t.clk 1
set t.d 1
cycle

set t.clk 0
cycle
set t.d 0
cycle

assert t.q 1

set t.clk 1
cycle
assert t.q 0

set t.d 0
set t.clk 0
cycle

assert t.q 0

set t.d 1
cycle
set t.clk 0
cycle
assert t.q 0

system "echo '[3] tested d = 1, clk rise and fall'"

set t.d 1
cycle
set t.clk 1
cycle
set t.d 0
cycle 

assert t.q 1