Practical Design Verification
| Author | : Dhiraj K. Pradhan |
| Publisher | : Cambridge University Press |
| Total Pages | : 289 |
| Release | : 2009-06-11 |
| ISBN-10 | : 9780521859721 |
| ISBN-13 | : 0521859727 |
| Rating | : 4/5 (727 Downloads) |
Book Synopsis Practical Design Verification by : Dhiraj K. Pradhan
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).