Generating Hardware Assertion Checkers

For Hardware Verification, Emulation, Post-Fabrication Debugging and On-Line Monitoring

By: Marc Boulé, Zeljko Zilic

Write A Review

Hardcover | 3 July 2008

At a Glance

Hardcover
300 Pages

Dimensions(cm)
23.5 x 15.88 x 1.91

Hardcover

$169.00

or 4 interest-free payments of $42.25 with

Ships in 5 to 7 business days

Assertion-based design is a powerful new paradigm that is facilitating quality improvement in electronic design. Assertions are statements used to describe properties of the design (I.e., design intent), that can be included to actively check correctness throughout the design cycle and even the lifecycle of the product. With the appearance of two new languages, PSL and SVA, assertions have already started to improve verification quality and productivity.

This is the first book that presents an "under-the-hood" view of generating assertion checkers, and as such provides a unique and consistent perspective on employing assertions in major areas, such as: specification, verification, debugging, on-line monitoring and design quality improvement.

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 Mathematics Calculus & Mathematical Analysis Numerical Analysis Computing & I.T.Computer Programming & Software Development Programming & Scripting Languages Computer Science

Business & Management Management & Management Techniques

Other Editions and Formats

Paperback

Published: 19th October 2010

View Product

Introduction	p. 1
Assertions and the Verification Landscape	p. 13
Basic Techniques Behind Assertion Checkers	p. 37
PSL and SVA Assertion Languages	p. 55
Automata for Assertion Checkers	p. 83
Construction of PSL Assertion Checkers	p. 105
Enhanced Features and Uses of PSL Checkers	p. 155
Evaluating and Verifying PSL Assertion Checkers	p. 179
Checkers for System Verilog Assertions	p. 207
Conclusions and Future Work	p. 251
Example for Up-Down Counter	p. 259
References	p. 265
Index	p. 275
Table of Contents provided by Blackwell. All Rights Reserved.

Generating Hardware Assertion Checkers

For Hardware Verification, Emulation, Post-Fabrication Debugging and On-Line Monitoring

At a Glance

Hardcover

Shipping

How to return your order

Defective items

You Can Find This Book In

Other Editions and Formats

Paperback

More in Circuits & Components

Open Circuits

The Inner Beauty of Electronic Components

Make : Analog Synthesizers

A modern approach to old-school sound synthesis

Circuits and Systems

A Modern Approach

Recent Advances in Compact Antennas

Encyclopedia of Electronic Components

Resistors, Capacitors, Inductors, Semiconductors, Electromagnetism

Make: Electronic Music from Scratch

A Beginner's Guide to Homegrown Audio Gizmos

Make: More Electronics

Journey Deep into the World of Logic Chips, Amplifiers, Sensors, and Randomicity

Encyclopedia of Electronic Components Volume 2

Introductory Circuit Analysis, Global Edition

14th Edition

Learning the Art of Electronics

A Hands-On Lab Course

Make: Electronics, 3e

Learning by Discovery: A hands-on primer for the new electronics enthusiast

The Audio Circuits Cookbook

Building Blocks and Tools to Design Professional Audio Devices

Practical Electronics for Inventors

Electronics

Getting Started with Soldering

A Hands-On Guide to Making Electrical and Mechanical Connections

Smart Grids

Sustainable Energy Systems

Signal Integrity in Digital Systems

Principles and Practice

Bridge Structural Health Monitoring

The Truss Bridge Management System

Electricity for the Entertainment Electrician and Technician

Electricity, Power Distribution, and Electrical Safety for the Stage and Set

Electricity for the Entertainment Electrician and Technician

Electricity, Power Distribution, and Electrical Safety for the Stage and Set

Electronic Design Automation for IC Implementation, Circuit Design, and Process Technology

Volume 2

Energy Storage

Systems and Components

IET Wiring Regulations

Electric Wiring for Domestic Installers

Digital Design and Computer Architecture

2nd Edition

Tiny Machine Learning Techniques for Constrained Devices

This product is categorised by