Skip to main content

Hardware Verification Using Software Analyzers

Rajdeep Mukherjee‚ Daniel Kroening and Tom Melham

Book Title
IEEE Computer Society Annual Symposium on VLSI‚ (ISVLSI)
Pages
7–12
Year
2015