Skip to main content

Image Computation and Predicate Refinement for RTL Verilog using Word Level Proofs

Daniel Kroening and Natasha Sharygina

Book Title
Proceedings of DATE 2007
Pages
1325–1330
Year
2007