Sciweavers

EURODAC
1995
IEEE
136views VHDL» more  EURODAC 1995»
14 years 27 days ago
Computing subsets of equivalence classes for large FSMs
Computing equivalence classes for FSMs has several applications to synthesis and veri cation problems. Symbolic traversal techniques are applicable to medium-small circuits. This ...
Gianpiero Cabodi, Stefano Quer, Paolo Camurati