Erik Reeber, Jun Sawada. Combining ACL2 and an automated verification tool to verify a multiplier. In Panagiotis Manolios, Matthew Wilding, editors, Proceedings of the Sixth International Workshop on the ACL2 Theorem Prover and its Applications, ACL2 2006, Seattle, Washington, USA, August 15-16, 2006. pages 63-70, ACM, 2006. [doi]