Formal Verification: An Essential Toolkit for Modern VLSI Design
Key features
- •Learn formal verification algorithms to gain full coverage without exhaustive simulation
- •Understand formal verification tools and how they differ from simulation tools
- •Create instant test benches to gain insight into how models work and find initial bugs
- •Learn from Intel insiders sharing their hard-won knowledge and solutions to complex design problems
BrandMorgan Kaufmann
CategoryProgramming
Formal Verification: An Essential Toolkit for Modern VLSI Design
List Price: $129.50$116.55DEALYou Save: $12.95 (10%)
Free shippingFree Returns – 30 daysFree Order CancellationSecure Payment2–3 Days DeliveryGet It June 22, 2026In Stock (1)No marketing spamNo account requiredFulfilment by FedEx / Amazon / UPS / ShipwirePayPal / Card Buyer Protection
