A state machine language supporting integer inequalities implemented with ordered ternary decision diagrams
Glenn Jennings, Per Lindgren, Joachim Isaksson · 1994
A state-machine language supporting both integer and Boolean input and output signals permits unified description throughout the design process, permits rapid interactive debugging, generates efficient 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 effects of OTDD bit ordering on simulation code size and efficiency, are briefly discussed.