IEEE - Institute of Electrical and Electronics Engineers, Inc. - Probabilistic design verification

Author(s): Jain, J. ; Bitner, J. ; Fussell, D.S. ; Abraham, J.A.
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): 468 - 471
ISBN (Paper): 0-8186-2157-5
DOI: 10.1109/ICCAD.1991.185306
Regular:

The authors present a novel method for verifying the equivalence of two Boolean functions. Each function is hashed to an integer code by assigning random integer values to the input variables and... View More

Advertisement