Incremental re-encoding for symbolic traversal of product machines

Authors:
G. Cabodi;P. Camurati;L. Lavagno;S. Quer;R. Brayton;E. Sentovich
Affiliations:
Politecnico di Torino, Dip. di Automatica e Informatica, Turin, Italy;Università di Udine, Dip. di Matematica e Informatica, Udine, Italy;Politecnico di Torino, Dip. di Elettronica, Turin, Italy;UCB, Dept. of EECS, Berkeley, CA and Politecnico di Torino, Dipartimento di Automatica ed Informatica, Turin, Italy;UCB, Dept. of EECS, Berkeley, CA;Ecole des Mines de Paris, Centre de Mathématiques Appliqués, Sophia-Antipolis, France
Venue:
EURO-DAC '96/EURO-VHDL '96 Proceedings of the conference on European design automation
Year:
1996

NOVA: state assignment of finite state machines for optimal two-level logic implementations

DAC '89 Proceedings of the 26th ACM/IEEE Design Automation Conference
A symbolic algorithm for maximum flow in 0-1 networks

ICCAD '93 Proceedings of the 1993 IEEE/ACM international conference on Computer-aided design
Implicit Manipulation of Equivalence Classes Using Binary Decision Diagrams

ICCD '91 Proceedings of the 1991 IEEE International Conference on Computer Design on VLSI in Computer & Processors

Hi-index	0.00