Advanced Formal Verification eBook
|
Advanced Formal Verification |
| Author: |
Dawson, Joel L. |
| Publisher: |
Springer |
| Format: |
ebook |
| Price: |
£78.18 or $129.00 |
 |
 |
|
|
About Advanced Formal Verification
Modern circuits may contain up to several hundred million transistors. In the meantime it has been observed that verification becomes the major bottleneck in design flows, i.e. up to 80% of the overall design costs are due to verification. This is one of the reasons why several methods have been proposed as alternatives to classical simulation. Simulation alone cannot guarantee sufficient coverage of the design resulting in bugs that may remain undetected.
(most ebooks are available in Adobe PDF, Mobipocket and Microsoft Reader formats)
(£ sterling prices are based on approx. exchange rates, this ebook is supplied by our partner ebooks.com) |
Other eBooks in this category:
 |
Utilitarianism
Author: Mill, John Stuart |
 |
The Aesthetic Field
Author: Berleant, Arnold |
 |
Analects of Confucius
Author: Confucius |
 |
Cliffs Notes: Hume's Concerning Principles of Morals
Author: Patterson, Charles H. |
 |
Cliffs Notes: Locke's Concerning Human Understanding
Author: Patterson, Charles H. |
 |
Becoming John Dewey
Author: Dalton, Thomas C. |
 |
The Question of God: C.S. Lewis and Sigmund Freud Debate God, Love, Sex, and the Meaning of Life
Author: Nicholi, Armand M., Jr |
 |
The Black and White Book: Two Sides to Every Story
Author: Moore, R. P. |
 |
Surrogates
Author: Weiss, Paul |
 |
Philosophy of Art: A Contemporary Introduction
Author: Carroll, Noël |
|
