O'Reilly logo

Hardware Design Verification: Simulation and Formal Method-Based Approaches by William K. Lam

Stay ahead with the world's most comprehensive technology and business learning platform.

With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, tutorials, and more.

Start Free Trial

No credit card required

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 ...

With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, interactive tutorials, and more.

Start Free Trial

No credit card required