Bibliography
[biblio01_001] 1. and . Digital Systems Testing and Testable Design. New York: IEEE Computer Society Press, <year>1994</year>.
[biblio01_002] 2. âIntegrating Code Coverage Analysis into a Large Scale ASIC Design Verification Flow.â In Proceedings of the International HDL Conference, 1999.
[biblio01_003] 3. âBinary Decision Diagrams.â IEEE Transactions on Computers , no. 6 (June 1978): 40â45.
[biblio01_004] 4. and âSatometer: How Much Have We Searched?â In Proceedings of the 39th Design Automation Conference, 2002.
[biblio01_005] 5. and . âPBS: A Backtrack Search Pseudo-Boolean Solver.â ...
Get Hardware Design Verification: Simulation and Formal Method-Based Approaches now with the O’Reilly learning platform.
O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.