"Theorem Provers in Circuit Design: Theory, Practice and Experience " - читать интересную книгу автора (Ramayya Kumar, Thomas Kropf)