Formal Verification: An Essential Toolkit for Modern VLSI Design, 2nd Edition
Academic ; 2nd edition (June 9, 2023) | English | 9780323956123
Academic ; 2nd edition (June 9, 2023) | English | 9780323956123

Packt ; 1 edition (29 May 2017) | English
Arcler (December 1, 2022) | English | 9781774694039
Arcler (December 1, 2022) | English | 9781774694442
CRC ; 1st edition (June 28, 2023) | English | 9781032489360
SAP ; First Edition (April 25, 2023) | English | 9781493224135
Morgan Kaufmann; (May 13, 2008) | English | 9780123738929
Packt (May 26, 2023) | English | 9781805123330
English | 9781803246574
CRC ; 1st edition (July 17, 2023) | English | 9781032439495