Files in this directory are examples from the 3 week course on
embedded software given at DTU Spring 1997.

vcr_001.txt	18 inputs, 46 states, 62 outputs, 0 inputgroups, 7 machines, 85 rules
jvc.txt		33 inputs, 25 states, 51 outputs, 0 inputgroups, 8 machines, 106 rules
tamagotc.txt	21 inputs, 94 states, 43 outputs, 3 inputgroups, 8 machines, 186 rules
cyber.txt	46 inputs, 19 states, 73 outputs, 0 inputgroups, 8 machines, 98 rules
video3.txt	40 inputs, 74 states, 80 outputs, 0 inputgroups, 13 machines, 268 rules
cd.txt		35 inputs, 87 states, 131 outputs, 2 inputgroups, 15 machines, 209 rule
volvo.txt	44 inputs, 84 states, 64 outputs, 5 inputgroups, 20 machines, 191 rules
pentax.txt	33 inputs, 215 states, 58 outputs, 0 inputgroups, 36 machines, 416 rules

The results of checking the rules (except pentax) with Jrn's tool is
stored in the subdirectory "secheck-results" as files nnn.txt.run. The
tool was run with options "-spBw" on a 90 MHz linux PC with 40 MB RAM.

Henrik Reif Andersen, 5 December 1997
