Automatic Correctness Proof of the Implementation of Synchronous Sequential Circuits Using an Algebraic Approach

• Authors:

• Junji Kitamichi;Sumio Morioka;Teruo Higashino;Kenichi Taniguchi

• Affiliations:

• -;-;-;-

• Venue:
• TPCD '94 Proceedings of the Second International Conference on Theorem Provers in Circuit Design - Theory, Practice and Experience
• Year:
• 1994