Free shipping on all orders over $79* Limited Time Only
Track My Order
Help Centre
Likes
My Wish ListsLogin / Join
Booktopia
Australia's local bookstore
Get Free Shipping on orders over $79
Constraint-Based Verification - Jun Yuan

Constraint-Based Verification

By: Jun Yuan, Carl Pixley, Adnan Aziz

eText | 21 April 2006

At a Glance

eText

$159.01

or 4 interest-free payments of $39.75 with

 or 

Instant online reading in your Booktopia eTextbook Library *

Why choose an eTextbook?

Instant Access *

Purchase and read your book immediately

Read Aloud

Listen and follow along as Bookshelf reads to you

Study Tools

Built-in study tools like highlights and more

* eTextbooks are not downloadable to your eReader or an app and can be accessed via web browsers only. You must be connected to the internet and have no technical issues with your device or browser that could prevent the eTextbook from operating.
Constraint-Based Verification covers an emerging field in functional verification of electronic designs, referred to as the "constraint-based verification."  The topics are developed in the context of a wide range of dynamic and static verification approaches including simulation, emulation, and formal methods.  The goal is to show how constraints, or assertions, can be used towards automating the generation of testbenches, resulting in a seamless verification flow.  Topics such as verification coverage, and connection with assertion based verification, are also covered. The book targets verification engineers as well as researchers. It covers both methodological and technical issues.  Particular stress is given to the latest advances in functional verification. The research community has witnessed recent growth of interests in constraint-based functional verification.  Various techniques have been developed.  They are relatively new, but have reached a level of maturity so that they are appearing in commercial tools such as Vera and System Verilog.  
on
Desktop
Tablet
Mobile

You Can Find This eBook In

Non-FictionEngineering & TechnologyEnergy Technology & EngineeringElectrical EngineeringTechnology in GeneralEngineering in GeneralComputing & I.T.Graphical & Digital Media ApplicationsElectronics & Communications EngineeringElectronics EngineeringCircuits & ComponentsComputer Programming & Software Development
Object-Oriented Programming or OOP

More in Circuits & Components

This product is categorised by