Computing subsets of equivalence classes for large FSMs

Authors:
Gianpiero Cabodi;Stefano Quer;Paolo Camurati
Affiliations:
Dip. di Automatica e Informatica, Politecnico di Torino, Turin, Italy;Dip. di Automatica e Informatica, Politecnico di Torino, Turin, Italy;Dip. di Matematica e Informatica, Università di Udine, Udine, Italy
Venue:
EURO-DAC '95/EURO-VHDL '95 Proceedings of the conference on European design automation
Year:
1995

Algorithms for approximate FSM traversal

DAC '93 Proceedings of the 30th international Design Automation Conference
Symbolic exploration of large circuits with enhanced forward/backward traversals

EURO-DAC '94 Proceedings of the conference on European design automation
Computing the observable equivalence relation of a finite state machine

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