IEEE - Institute of Electrical and Electronics Engineers, Inc. - Verification of multi-valued logic networks

Proceedings of 26th IEEE International Symposium on Multiple-Valued Logic (ISMVL'96)

Author(s): Drechsler, R.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 1996
Conference Location: Santiago de Compostela, Spain, Spain
Conference Date: 29 May 1996
Page(s): 10 - 15
ISBN (Paper): 0-8186-7392-3
ISSN (Paper): 0195-623X
DOI: 10.1109/ISMVL.1996.508329
Regular:

A method for verification of Multi-Valued Logic Networks (MVLNs) using Ordered Multi-Valued Decision Diagrams (OMDDs) is presented. For tree-like MVLNs an upper bound on the OMDD size can be... View More

Advertisement