Checking Consistency of C and Verilog using Predicate Abstraction and Induction
Daniel Kroening and Edmund Clarke
Details
| Book Title |
Proceedings of ICCAD |
| Month |
November |
| Pages |
66–72 |
| Publisher |
IEEE |
| Year |
2004 |
Links
Related pages
|
People |