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

Daniel Kroening Natasha Sharygina Interactive presentation: Image computation and predicate refinement for RTL verilog using word level proofs. 1325-1330 2007 conf/date/2007 DATE http://doi.acm.org/10.1145/1266366.1266655 db/conf/date/date2007.html#KroeningS07