A Framework for Verifying Bit-Level Pipelined Machines Based on Automated Deduction and Decision Procedures.

Panagiotis Manolios Sudarshan K. Srinivasan A Framework for Verifying Bit-Level Pipelined Machines Based on Automated Deduction and Decision Procedures. 93-116 2006 37 J. Autom. Reasoning 1-2 http://dx.doi.org/10.1007/s10817-006-9035-0 db/journals/jar/jar37.html#ManoliosS06