Formal Verification: An Essential Toolkit for Modern VLSI Design
by Erik Seligman Ms, Tom Schubert, M V Achutha Kiran Kumar M.Tech
Formal Verification: An Essential Toolkit for Modern VLSI Design offers a focused treatment of formal verification within the field of modern VLSI design. Written by Erik Seligman, Tom Schubert, and M V Achutha Kiran Kumar, it serves readers exploring electronic engineering and computer science.
About This Book
Formal Verification: An Essential Toolkit for Modern VLSI Design addresses formal verification in the context of modern very-large-scale integration (VLSI) design.
Written by Erik Seligman, Tom Schubert, and M V Achutha Kiran Kumar, the book presents a technical treatment of a subject central to contemporary electronic design.
Its focus makes it relevant to readers seeking an introduction or reference on formal verification and its role in VLSI engineering.
Reviews
No reviews yet. Be the first to review this book!