|
Books > Computing & IT > Computer programming
|
Buy Now
Formal Verification - An Essential Toolkit for Modern VLSI Design (Paperback, 2nd edition)
Loot Price: R2,570
Discovery Miles 25 700
|
|
|
Formal Verification - An Essential Toolkit for Modern VLSI Design (Paperback, 2nd edition)
Expected to ship within 9 - 17 working days
|
Formal Verification: An Essential Toolkit for Modern VLSI Design,
Second Edition presents practical approaches for design and
validation, with hands-on advice to help working engineers
integrate these techniques into their work. Formal Verification
(FV) enables a designer to directly analyze and mathematically
explore the quality or other aspects of a Register Transfer Level
(RTL) design without using simulations. This can reduce time spent
validating designs and more quickly reach a final design for
manufacturing. Building on a basic knowledge of SystemVerilog, this
book demystifies FV and presents the practical applications that
are bringing it into mainstream design and validation processes.
New sections cover advanced techniques, and a new chapter, The Road
To Formal Signoff, emphasizes techniques used when replacing
simulation work with Formal Verification. After reading this book,
readers will be prepared to introduce FV in their organization to
effectively deploy FV techniques that increase design and
validation productivity.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
You might also like..
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
(1)
