Decomposed symbolic forward traversals of large finite state machines
Authors:
S. Quer;G. Cabodi;P. Camurati
Affiliations:
Politecnico di Torino, Dip. di Automatica e Informatica, Turin, Italy;Politecnico di Torino, Dip. di Automatica e Informatica, Turin, Italy;Università di Udine, Dip. di Matematica e Informatica, Udine, Italy
Venue:
EURO-DAC '96/EURO-VHDL '96 Proceedings of the conference on European design automation