TY  - BOOK
AU  - Seligman,Erik
TI  - Formal verification : an essential toolkit for modern VLSI design
SN  - 9780323956123 (pbk)
U1  - 621.395 
PY  - 2023///
CY  - Hampshire Street
PB  - Elsevier/MK
KW  - Electronic circuits Testing
KW  - Formal Verification Algorithms
KW  - Design and construction
KW  - Greatest Bloopers
KW  - Design Exercise
KW  - FC
N1  - Includes index
ER  -