Hardware Verification Using Software Analyzers
Rajdeep Mukherjee‚ Daniel Kroening and Tom Melham
Book Title
2015 IEEE Computer Society Annual Symposium on VLSI‚ ISVLSI 2015‚ Montpellier‚ France‚ July 8−10‚ 2015
Pages
7–12
Publisher
IEEE Computer Society
Year
2015