Word Level Predicate Abstraction and Refinement for Verifying RTL Verilog
Himanshu Jain‚ Daniel Kroening‚ Natasha Sharygina and Edmund Clarke
Details
| Journal |
IEEE Transactions on Computer−Aided Design of Integrated Circuits and Systems (TCAD) |
| Month |
February |
| Pages |
366–379 |
| Publisher |
IEEE |
| Volume |
27 |
| Year |
2008 |
Links
Related pages
|
People |
|
|
Activities |
|
|
Themes |