Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Publications
  4. Image Computation and Predicate Refinement for RTL Verilog using Word Level Proofs

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

Links

See Also

Back to Top