Symbolic incompletely specified functions for correct evaluation in the presence of indeterminate input values

@article{Jennings1995SymbolicIS,
  title={Symbolic incompletely specified functions for correct evaluation in the presence of indeterminate input values},
  author={Glenn Jennings},
  journal={Proceedings of the Twenty-Eighth Annual Hawaii International Conference on System Sciences},
  year={1995},
  volume={1},
  pages={23-31 vol.1}
}
We describe the Ordered Ternary Decision Diagram (OTDD) which can be directly evaluated even when given any number of undefined input logic values. Based on Kleenean strong ternary logic, the OTDD unifies the concepts of "unknown input" with "don't-care output" for incompletely-specified Boolean functions. The OTDD permits functions having nontrivial don't-care sets to be represented as single diagrams and to be directly processed against each other. We define the full OTDD and the abbreviated… CONTINUE READING

Citations

Publications citing this paper.
SHOWING 1-10 OF 17 CITATIONS

Handling epistemic uncertainty in fault trees: New proposal based on evidence theory and Kleene Ternary decision diagrams

  • 2017 2nd International Conference on System Reliability and Safety (ICSRS)
  • 2017
VIEW 1 EXCERPT
CITES BACKGROUND

A method to evaluate logic functions in the presence of unknown inputs using LUT cascades

  • Proceedings. 34th International Symposium on Multiple-Valued Logic
  • 2004
VIEW 3 EXCERPTS
CITES METHODS

Spectral Interpretation of Decision Diagrams

  • Springer New York
  • 2003
VIEW 1 EXCERPT
CITES BACKGROUND

Ternary decision diagrams

  • Student Conference on Research and Development
  • 2002

Realization of regular ternary logic functions using double-rail logic

  • Proceedings of the ASP-DAC '99 Asia and South Pacific Design Automation Conference 1999 (Cat. No.99EX198)
  • 1999

References

Publications referenced by this paper.
SHOWING 1-10 OF 25 REFERENCES

Experience Using Ordered Ternary Decision Diagrams for Compiled Logic Simulation

G. Jennings
  • In Proceedings,
  • 1994

Private communicationon research in progress

Per Lindgren
  • LuleH Institute of Technology,
  • 1994

Algebraic decision diagrams and their applications

  • Proceedings of 1993 International Conference on Computer Aided Design (ICCAD)
  • 1993

Efficient modeling of switch-level networks containing undetermined logic node states

  • Proceedings of 1993 International Conference on Computer Aided Design (ICCAD)
  • 1993

Maximum projections of don't care conditions in a Boolean network

  • Proceedings of 1993 International Conference on Computer Aided Design (ICCAD)
  • 1993

Tnrllemans. A New Logic Minimization Method for MultiplexorBased FPGA Synthesis

Ricardo P. Jacobi, Anne-Marie
  • In Proceedings, European Design Automation Conference (EURO-DAC
  • 1993

Exact evaluation of diagnostic test resolution

  • [1992] Proceedings 29th ACM/IEEE Design Automation Conference
  • 1992