Joachim Isaksson

Learn More
We describe a method for generating logic simulation code which correctly responds to any number of un-deened l o gic values at the code inputs. The method is based on our development of the Ordered T ernary Decision Diagram, itself based on Kleenean ternary logic, which explicitly and correctly manages the unknown logic valuèU' in addition to thè1' and`0'(More)
A state-machine language supporting both integer and Boolean input and output signals permits uni-ed description throughout the design process, permits rapid interactive debugging, generates eecient behavioral simulation code, and produces compact but non-compromised output for logic optimization. The compiler is built upon Ordered T ernary Decision(More)
  • 1