Author:
Cabodi Gianpiero,Quer Stefano,Camurati Paolo
Publisher
Springer Berlin Heidelberg
Reference10 articles.
1. K.S. Brace, R.L. Rudell, R. Bryant: Efficient Implementation of a BDD Package. Proc. IEEE/ACM DAC'90, June 1990, pp. 40–45
2. R.E. Bryant: Graph-based algorithms for boolean function manipulation. IEEE Transactions on Computers, Vol. C-35, No. 8, August 1986, pp. 667–691
3. G. Cabodi, P. Camurati, S. Quer: Symbolic Exploration of Large Circuits with Enhanced Forward/Backward Traversals. Proc. IEEE EURO-DAC'94, Grenoble (France), September 1994, pp. 22–27 best paper award
4. G. Cabodi, P. Camurati, S. Quer: Computing subsets of equivalence classes for large FSMs. Proc. IEEE EURO-DAC'95, September 1995
5. O. Coudert, J.C. Madre, C. Berthet: Verifying temporal properties of sequential machines without building their state diagrams. AMS/DIMACS Series in Discrete Mathematics and Theoretical Computer Science, Vol. 3, 1991, pp. 75–84