@article{jksc2007-tcad, AUTHOR = { Jain, Himanshu and Kroening, Daniel and Sharygina, Natasha and Clarke, Edmund }, TITLE = { Word Level Predicate Abstraction and Refinement for Verifying {RTL} {Verilog} }, NOTE = { To appear }, YEAR = { 2007 }, JOURNAL = { IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems }, }