Books > Computing & IT > Computer hardware & operating systems
|
Not currently available
Cohesive Coverage Management Leveraging Formal Test Plans (Paperback)
Loot Price: R1,460
Discovery Miles 14 600
|
|
Cohesive Coverage Management Leveraging Formal Test Plans (Paperback)
Supplier out of stock. If you add this item to your wish list we will let you know when it becomes available.
|
As the complexity of hardware designs is increasing rapidly
day-by-day with the introduction of newer technologies, it is very
important to ensure the correctness of these designs. During
verification, the primary objective is to measure the coverage of
the verified functionalities of a design and, hence, indicate the
completeness of the verification effort. Since it is widely
believed that the future of design verification lies in the
co-existence of both simulation and formal property verification
techniques, unifying the coverage goals for both of these
contrasting verification technologies is becoming very essential.
The inter-relationships among the simulation test plans, assertions
and test benches are very important to the success of verification,
but they are often loosely tied. In this monograph, we attempt to
relate then more formally to achieve a potentially better strategy
for cohesive coverage management in verification. We believe that
the methods presented in this monograph will lead to wider adoption
of the cohesive coverage management techniques in the design
validation flow.
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.