@inproceedings{jksc05, author = {Himanshu Jain and Daniel Kroening and Natasha Sharygina and Edmund M. Clarke}, title = {Word level predicate abstraction and refinement for verifying RTL verilog.}, booktitle = {In proceedings of the 42nd Design Automation Conference (DAC)}, year = {2005}, }