Symbolic simulation using decision diagrams

Electronics Letters

Sympathy-MV: Nearly Exact Minimization of Fixed-Polarity Multi-Valued Linear Expressions

Proceedings of The International Symposium on Multiple-Valued Logic

Sympathy: Nearly Exact Minimization of Fixed-Polarity Reed-Muller Expressions for Symmetric Functions

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

Ternary and Quaternary Lattice Diagrams for Linearly Independent Logic, Multiple-Valued Logic, and Analog Synthesis

Proceedings of the International Conference on Information, Communications, and Signal Processing (ICICS)

Testability of 2-Level AND/EXOR Circuits

Proceedings of the 1997 European Conference on Design and Test, EDTC 1997

Testability of 2-level AND/EXOR circuits

Proceedings of the European Design and Test Conference

The K*BMD: A verification data structure

IEEE Design and Test of Computers

A nearly optimally robust path-delay-fault-testable adder

Proceedings of the 1996 European Conference on Design and Test, EDTC 1996

AND/EXOR-Based Synthesis of Testable KFDD Circuits with Small Depth

Proceedings of the Asian Test Symposium

Exact Minimization of Kronecker Expressions for Symmetric Functions

IEE Proceedings: Computers and Digital Techniques

Exact Minimization of Kronecker Expressions for Symmetric Functions

Proceedings - IEEE International Symposium on Circuits and Systems

Near-OFDD-based minimization of fixed-polarity Reed-Muller expressions

IEEE Transactions on Computers

An adder that is nearly optimally robust and can be tested for path delay faults

Proceedings of the European Design and Test Conference

Genetic Algorithm for Variable Ordering of OBDDs

IEE Proceedings: Computers and Digital Techniques

Hybrid Genetic Algorithm for the Channel Routing Problem

Proceedings - IEEE International Symposium on Circuits and Systems

K*BMDs: A New Data Structure for Verification

Proceedings of the European Design and Test Conference

K∗BMDs: A New Data Structure for Verification

Proceedings of the 1996 European Conference on Design and Test, EDTC 1996

Learning Heuristics for OBDD Minimization Using Evolutionary Algorithms

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

MORE: An alternative implementation of BDD packages using multi-operand synthesis

European Design Automation Conference - Proceedings

Relationship Between OFDDs and FPRMs

Electronics Letters

Verification of Multi-Valued Logic Networks

Proceedings of The International Symposium on Multiple-Valued Logic

Dynamic Minimization of OKFDDs

Proceedings - IEEE International Conference on Computer Design: VLSI in Computers and Processors

Genetic Algorithm for Selecting Decomposition Types in OKFDDs

How many types of decomposition do we need?

Proceedings of the 1995 European Conference on Design and Test, EDTC 1995

Learning heuristics using genetic algorithms

Proceedings of the Asia and South Pacific Design Automation Conference, ASP-DAC