Skip to main content Accessibility help
×
Hostname: page-component-586b7cd67f-dlnhk Total loading time: 0 Render date: 2024-12-01T03:43:33.591Z Has data issue: false hasContentIssue false

5 - Test generation and coverage metrics

Published online by Cambridge University Press:  05 August 2012

Dhiraj K. Pradhan
Affiliation:
University of Bristol
Ian G. Harris
Affiliation:
University of California, Irvine
Get access

Summary

Introduction

Digital circuits are usually produced following a multi-step development process composed of several intermediate design phases. Each one is concluded by the delivery of a model that describes the digital circuit in increasing detail and with different abstraction levels. The first design step usually produces the highest abstraction level model, which describes the general behavior of the circuit leaving internal details out; whereas the last steps provide lower-level descriptions, with more detail and closer to the actual implementation of the circuit. Clearly, the lower the abstraction level, the higher the complexity of the resulting model.

In the following, some of the main characteristics of the most commonly adopted design abstraction levels as well as the main features of the delivered models at each level will be sketched. It is important to note that levels of abstraction higher or lower than those described here could also exist in a design cycle; but we only focus on the most commonly adopted ones.

  1. Architectural level

  2. This is often the highest abstraction level: the circuit model delivered here is used as a reference since it contains few implementation details. The main goal at the architectural level is to provide a block architecture of the circuit implementing the basic functional specifications. The delivered model is usually exploited to evaluate the basic operations of the design and the interactions among the components within the system. At this design level, a complete simulatable model may be built in some high-level language; typically, these models do not contain timing information.

Type
Chapter
Information
Publisher: Cambridge University Press
Print publication year: 2009

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

Save book to Kindle

To save this book to your Kindle, first ensure [email protected] is added to your Approved Personal Document E-mail List under your Personal Document Settings on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part of your Kindle email address below. Find out more about saving to your Kindle.

Note you can select to save to either the @free.kindle.com or @kindle.com variations. ‘@free.kindle.com’ emails are free but can only be saved to your device when it is connected to wi-fi. ‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.

Find out more about the Kindle Personal Document Service.

Available formats
×

Save book to Dropbox

To save content items to your account, please confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account. Find out more about saving content to Dropbox.

Available formats
×

Save book to Google Drive

To save content items to your account, please confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account. Find out more about saving content to Google Drive.

Available formats
×