Related Books

Practical Design Verification
Language: en
Pages: 289
Authors: Dhiraj K. Pradhan
Categories: Computers
Type: BOOK - Published: 2009-06-11 - Publisher: Cambridge University Press

DOWNLOAD EBOOK

Improve design efficiency & reduce costs with this guide to formal & simulation-based functional verification. Presenting a theoretical & practical understandin
Practical Design Verification
Language: en
Pages: 277
Authors: Dhiraj K. Pradhan
Categories: Computers
Type: BOOK - Published: 2009-06-11 - Publisher: Cambridge University Press

DOWNLOAD EBOOK

Improve design efficiency and reduce costs with this practical guide to formal and simulation-based functional verification. Giving you a theoretical and practi
Design Verification with E
Language: en
Pages: 418
Authors: Samir Palnitkar
Categories: Computers
Type: BOOK - Published: 2004 - Publisher: Prentice Hall Professional

DOWNLOAD EBOOK

As part of the Modern Semiconductor Design series, this book details a broad range of e-based topics including modelling, constraint-driven test generation, fun
Principles of Functional Verification
Language: en
Pages: 217
Authors: Andreas Meyer
Categories: Technology & Engineering
Type: BOOK - Published: 2003-12-05 - Publisher: Elsevier

DOWNLOAD EBOOK

As design complexity in chips and devices continues to rise, so, too, does the demand for functional verification. Principles of Functional Verification is a ha
Formal Verification
Language: en
Pages: 426
Authors: Erik Seligman
Categories: Computers
Type: BOOK - Published: 2023-05-27 - Publisher: Elsevier

DOWNLOAD EBOOK

Formal Verification: An Essential Toolkit for Modern VLSI Design, Second Edition presents practical approaches for design and validation, with hands-on advice t