Information Technology

Transmission, Processing & Storage

By: Andrew Piziali

Write A Review

Hardcover | 28 June 2004

At a Glance

Hardcover
232 Pages

Dimensions(cm)
23.5 x 15.88 x 1.91

Hardcover

$169.75

or 4 interest-free payments of $42.44 with

Ships in 5 to 7 business days

This book addresses a means of quantitatively assessing functional verification progress. Without this process, design and verification engineers, and their management, are left guessing whether or not they have completed verifying the device they are designing. Using the techniques described in this book, they will learn how to build a toolset which allows them to know how close they are to functional closure. This is the first book to introduce a useful taxonomy for coverage of metric classification. Using this taxonomy, the reader will clearly understand the process of creating an effective coverage model. This book offers a thoughtful and comprehensive treatment of its subject for anybody who is really serious about functional verification.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $79.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Engineering & Technology Electronics & Communications Engineering Electronics Engineering Circuits & Components Energy Technology & Engineering Electrical Engineering Computing & I.T.Graphical & Digital Media Applications Computer-Aided Design CAD

Introduction
The Language of Coverage
Functional Verification
Measuring Verification Coverage
Functional Coverage
Code Coverage
Assertion Coverage
Coverage-Driven Verification
Improving Coverage Fidelity with Hybrid Models
e Language BNF
Table of Contents provided by Publisher. All Rights Reserved.

Information Technology

Transmission, Processing & Storage

At a Glance

Hardcover

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Computer-Aided Design CAD

3D Printing For Dummies

For Dummies (Computer/Tech)

Data-driven BIM for Energy Efficient Building Design

1st Edition

Getting Started with 3D Printing

2nd Edition

Sustainable Developments in Computer Engineering, Green Technology and Smart Systems

2 Volume Set

Generation of Surfaces

Kinematic Geometry of Surface Machining

IoT and Machine Learning for Smart Applications

History That Breathes

From Sulva Sutras and Pythagorean Formula to Human Flourishing with Artificial Intelligence

User Interface and User Experience

Foundational Principles for Interactive Design

AutoCAD & AutoCAD LT All-in-One For Dummies

Emerging Trends in Sustainable Energy, Smart Systems, and Green Technology

Human-Computer Interaction

The Basics

Human-Computer Interaction

The Basics

CAD in Landscape Architecture

Advancements in Machining Processes Through Hybrid and Sequential Approaches

Cybersecurity of Discrete Event Systems

From Smart Attacks to Resilient Defence

Designing Exoskeletons

Fusion and Integration of Clouds, Edges, and Devices

AutoCAD 2007 For Dummies

For Dummies

Make: The Complete Guide to Tinkercad

17 Projects to Start Designing and Printing in the 3D World

Proceedings of the 16th International Conference on Axiomatic Design (ICAD) 2025

Axiomatic Design in Sustainability Transitions: Designing for the Economy, Society and the Environment

Emerging Technologies in Manufacturing and Materials Engineering

Springer Tracts in Mechanical Engineering

Discussing Design

Improving Communication and Collaboration Through Critique

Fusion 360 for Makers, 2e

Design Your Own Digital Models for 3D Printing and CNC Fabrication

Natural Language Processing for Business and Organizations

Research and Innovation

This product is categorised by