Title: Theorem Provers in Circuit Design: Theory, Practice, and Experience