Formal Verification of Circuits
Edition: 1st edition
Publisher: Springer
Published: January 15, 2000
Language: eng
Format: Hardcover
Number of pages: 179
ISBN-13: 9780792378587
Subjects: Power generation & distribution; Science; Electronic Measurements; Technology; Science/Mathematics; Testing; Electronics - Circuits - General; Programming - General; Computers / Computer Science; Engineering - Electrical & Electronic; Decision trees; Electronic Circuits
First sentence: Formal verification has become one of the most important steps in circuit design.