Image Computation and Predicate Refinement for RTL Verilog using Word Level Proofs
Daniel Kroening and Natasha Sharygina
Details
| Book Title |
Proceedings of DATE 2007 |
| Pages |
1325–1330 |
| Year |
2007 |
Links
Related pages
|
People |