A State Machine Language Supporting Integer Inequalities Implemented with Ordered Ternary Decision Diagrams

A state-machine language supporting both integer and Boolean input and output signals permits unied description throughout the design process, permits rapid interactive debugging, generates e cient behavioral simulation code, and produces compact but non-compromised output for logic optimization. The compiler is built upon Ordered Ternary Decision Diagrams, which insures correct simulation behavior in the presence of \unknown" input values. Mapping of integer tests into OTDDs, and the e ects of OTDD bit ordering on simulation code size and e ciency, are