Download or read book Practical Design Verification written by Dhiraj K. Pradhan and published by Cambridge University Press. This book was released on 2009-06-11 with total page 289 pages. Available in PDF, EPUB and Kindle. Book excerpt: Improve design efficiency & reduce costs with this guide to formal & simulation-based functional verification. Presenting a theoretical & practical understanding of the key issues involved, it explains both formal techniques (model checking, equivalence checking) & simulation-based techniques (coverage metrics, test generation).