Formal Verification: An Essential Toolkit for Modern VLSI Design
![]() | paperback Category: Circuits & Components Category: Computing Category: Computer Programming / Software Development Category: Software Testing & Verification Category: Computer Architecture & Logic Design ELSEVIER SCIENCE & TECHNOLOGY Fastbooks book price: 128.80 EUR (price updated on 30.01.2026) Free delivery to EU countries (and more) more Reader's comments and book reviews: Amazon |












