Text this: Theorem Provers in Circuit Design :