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