00581nam a22001577a 4500 0 0 0 0 PTR PTR 2024-07-08 Golden Books 29782.29 0 621.395 SEL 33929 2024-07-08 00:00:00 1 617 2024-07-08 BB 55175 55175 9780323956123 (pbk) 621.395 SEL Seligman, Erik TOM Schubert Achutha Kiran Kumar Formal verification an essential toolkit for modern VLSI design Hampshire Street Elsevier/MK 2023 xix, 405 p. ill. 24 cm. Includes index. Electronic circuits Testing Formal Verification Algorithms Design and construction Greatest Bloopers Design Exercise FC BB