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