Himanshu Jain, Daniel Kroening, Natasha Sharygina, Edmund M. Clarke. Word level predicate abstraction and refinement for verifying RTL verilog. In William H. Joyner Jr., Grant Martin, Andrew B. Kahng, editors, Proceedings of the 42nd Design Automation Conference, DAC 2005, San Diego, CA, USA, June 13-17, 2005. pages 445-450, ACM, 2005. [doi]
Abstract is missing.