Hardware Design Verification: Simulation and Formal Method-Based Approaches

Bibliography

[biblio01_001] 1. M., Abramovici, M. A. Breuer, and A. D. Friedman. Digital Systems Testing and Testable Design. New York: IEEE Computer Society Press, <year>1994</year>.

[biblio01_002] 2. D. Abts, “Integrating Code Coverage Analysis into a Large Scale ASIC Design Verification Flow.” In Proceedings of the International HDL Conference, 1999.

[biblio01_003] 3. S. B. Akers, “Binary Decision Diagrams.” IEEE Transactions on Computers 37, no. 6 (June 1978): 40–45.

[biblio01_004] 4. F. Aloul and K. Sakallah, “Satometer: How Much Have We Searched?” In Proceedings of the 39th Design Automation Conference, 2002.

[biblio01_005] 5. F., Aloul, A. Ramani, I. Markov, and K. Sakallah. “PBS: A Backtrack Search Pseudo-Boolean Solver.” In International ...