Word level predicate abstraction and refinement for verifying RTL verilog.

Himanshu Jain Daniel Kroening Natasha Sharygina Edmund M. Clarke Word level predicate abstraction and refinement for verifying RTL verilog. 445-450 2005 conf/dac/2005 DAC http://doi.acm.org/10.1145/1065579.1065697 db/conf/dac/dac2005.html#JainKSC05