Author:
Goel Amit,Bryant Randal E.
Publisher
Springer Berlin Heidelberg
Reference12 articles.
1. Aagaard, M.D., Jones, R.B., Seger, C.-J.H.: Formal Verification Using Parametric Representations of Boolean Constraints. In: Proceedings of the 36th Design Automation Conference (DAC 1999), pp. 402–407 (1999)
2. Bryant, R.E., Beatty, D.L., Seger, C.-J.H.: Formal hardware verification by symbolic ternary trajectory evaluation. In: Proceedings of the 28th Design Automation Conference (DAC 1991), pp. 397–402 (1991)
3. Lecture Notes in Computer Science;C.-T. Chou,1999
4. Coudert, O., Berthet, C., Madre, J.C.: Verification of Sequential Machines using Boolean Functional Vectors. In: Proceedings of the IFIP International Workshop on Applied Formal Methods for Correct VLSI Design, pp. 179–196 (1989)
5. Goel, A., Bryant, R.E.: Set Manipulation with Boolean Functional Vectors for Symbolic Reachability Analysis. In: 2003 Design Automation and Test in Europe(DATE 2003), pp. 816–821 (2003)