sflread test.sfl
sflread ../src/pico16.sfl
sflread ../src/alu16.sfl
sflread ../src/add16c.sfl
sflread ../src/brlsft16.sfl
sflread ../src/dec4to16.sfl

autoinstall test /

rpt_add CLK "####  clock:%t  state:%s  ####\n"\
/PICO/stage_a

rpt_add REG "    ir:%x     pc:%x     rd:%x     rs:%x\n"\
/PICO/ir /PICO/pc /PICO/rd_buf /PICO/rs_buf

rpt_add BUS " s1bus:%04x  s2bus:%04x   dbus:%04x\n"\
/PICO/s1bus /PICO/s2bus /PICO/dbus

rpt_add IO  "  adrs:%x   dout:%x    din:%x     oe:%b        we:%b\n"\
/PICO/address /PICO/dataout /PICO/datain /PICO/oe /PICO/we

test.p16

set init 1
hold init
forward +1
set init 0
set run 1
hold run
