Ramayya Kumar

Theorem provers in circuit design

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