######################################################################
# IMLIG,1998.01.18,timer8.scr, simulator script for SECONDS 
sflread timer8.sfl
autoinstall timer8 

#redirect simulation results into file
speak timer8.sim
#redirect simulation errors into file
#claim timer8.err

print "\n--- simulation modules:\n"
lmc
print "\n--- facilities of top module:\n"
lc

print "\n--- simulation start:\n"
print "\n"
print \
"input pins        | internal state, signals  | output pins\n"
print \
"CLK SET RESET INIT| MAIN.RUN MAIN    REMAINED| EXPIRE ENABLE COUNT\n"
print \
"------------------------------------------------------------------\n"

rpt_add rpt1 \
"%2t  %B   %B     %2X  | %B        %6s  %2X      | %B      %B      %2X\n"\
      SET  RESET  INIT   MAIN.RUN  MAIN REMAINED   EXPIRE ENABLE   COUNT


sch_add 1 tag "set SET   0B1"
sch_add 1 tag "set INIT  0X04"

sch_add 9 tag "set RESET 0B1"

sch_add 11 tag "set SET   0B1"
sch_add 11 tag "set INIT  0Xff"

sch_add 14 tag "set RESET 0B1"

forward +15
