IEEE - Institute of Electrical and Electronics Engineers, Inc. - Observability relations and observability don't cares

Author(s): Savoj, H. ; Brayton, R.K.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 1991
Conference Location: Santa Clara, CA, USA, USA
Conference Date: 11 November 1991
Page(s): 518 - 521
ISBN (Paper): 0-8186-2157-5
DOI: 10.1109/ICCAD.1991.185320
Regular:

The observability relation O(x,z) or the Boolean relation provides a description of all the flexibility one has in implementing a Boolean network N. The authors represent and use this flexibility... View More

Advertisement