Joachim Isaksson

  • Citations Per Year
Learn More
We describe a method for generating logic simulation code which correctly responds to any number of unde ned logic values at the code inputs. The method is based on our development of the Ordered Ternary Decision Diagram, itself based on Kleenean ternary logic, which explicitly and correctly manages the unknown logic value `U' in addition to the `1' and `0'(More)
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,(More)
  • 1