Equivalence Checking Using Trace Partitioning
Rajdeep Mukherjee‚ Daniel Kroening‚ Tom Melham and Mandayam K. Srivas
Book Title
2015 IEEE Computer Society Annual Symposium on VLSI‚ ISVLSI 2015‚ Montpellier‚ France‚ July 8−10‚ 2015
Pages
13–18
Publisher
IEEE Computer Society
Year
2015