Word Level Predicate Abstraction and Refinement for Verifying RTL Verilog
Himanshu Jain‚ Daniel Kroening‚ Natasha Sharygina and Edmund Clarke
Details
| Book Title |
Proceedings of DAC 2005 |
| ISBN |
1−59593−058−2 |
| Pages |
445–450 |
| Year |
2005 |
Links
Related pages
|
People |