Interactive presentation: Image computation and predicate refinement for RTL verilog using word level proofs.

Daniel Kroening, Natasha Sharygina

Browse the full DATE paper archive.