Integrated Circuits and Systems

By: Chao Wang, Gary D. Hachtel, Fabio Somenzi

Write A Review

Hardcover | 20 July 2006

At a Glance

Hardcover
196 Pages

Dimensions(cm)
23.5 x 15.88 x 1.27

Hardcover

$169.00

or 4 interest-free payments of $42.25 with

Ships in 5 to 7 business days

Abstraction Refinement for Large Scale Model Checking summarizes recent research on abstraction techniques for model checking large digital system. Considering both the size of today's digital systems and the capacity of state-of-the-art verification algorithms, abstraction is the only viable solution for the successful application of model checking techniques to industrial-scale designs. This book describes recent research developments in automatic abstraction refinement techniques. The suite of algorithms presented in this book has demonstrated significant improvement over prior art; some of them have already been adopted by the EDA companies in their commercial/in-house verification tools.

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 $89.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 Technology in General Engineering in General Electronics & Communications Engineering Electronics Engineering Circuits & Components Energy Technology & Engineering Electrical Engineering Computing & I.T.Graphical & Digital Media Applications Computer-Aided Design CAD

List of Figures	p. vii
List of Tables	p. ix
Preface	p. xi
Acknowledgments	p. xiii
Introduction	p. 1
Background	p. 3
Our Contributions	p. 5
Organization of This Book	p. 9
Symbolic Model Checking	p. 11
Finite State Model	p. 12
Temporal Logic Property	p. 15
Generalized Buchi Automaton	p. 20
BDD-based Model Checking	p. 27
SAT and Bounded Model Checking	p. 33
Abstraction Refinement Framework	p. 38
Abstraction	p. 41
Introduction	p. 42
Fine-Grain Abstraction	p. 43
Abstract Counterexamples	p. 48
Further Discussion	p. 52
Refinement	p. 55
Generational Refinement	p. 56
Refinement Variable Selection	p. 62
Keeping Refinement Set Small	p. 67
Applying Sequential Don't Cares	p. 70
Implementation and Experiments	p. 72
Further Discussion	p. 77
Compositional SCC Analysis	p. 85
Language Emptiness	p. 86
SCC Partition Refinement	p. 88
The D'n'C Algorithm	p. 91
The Composition Policies	p. 97
Disjunctive Decomposition	p. 101
Adaptive Popcorn-line Policy	p. 101
Disjunctive Decomposition Theorem	p. 103
Guided Search for Fair Cycles	p. 105
Implementation and Experiments	p. 109
Further Discussion	p. 114
Far Side Image Computation	p. 121
Symbolic Image Computation	p. 121
The Far Side Image Algorithm	p. 124
Experiments	p. 127
Discussion of Hypothesis	p. 130
Refining Sat Decision Ordering	p. 137
Unsatisfiability Proof as Abstraction	p. 137
Refining The Decision Ordering	p. 142
Experimental Analysis	p. 146
Further Discussion	p. 151
Conclusions	p. 153
Summary of Results	p. 153
Future Directions	p. 155
References	p. 157
Index	p. 177
Table of Contents provided by Ingram. All Rights Reserved.

Integrated Circuits and Systems

At a Glance

Hardcover

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Computer-Aided Design CAD

Learning SOLIDWORKS 2026

Modeling, Assembly and Analysis

AutoCAD & AutoCAD LT All-in-One For Dummies

Getting Started with 3D Printing

2nd Edition

Data-driven BIM for Energy Efficient Building Design

1st Edition

A Hands-On Introduction to SOLIDWORKS 2026

Text and Video Instruction

SOLIDWORKS 2026 Quick Start

Engineering Analysis with SOLIDWORKS Simulation 2026

Text and Video Instruction

Mastering Modern CAD Drawings with SOLIDWORKS 2026

Applying ASME Standards to Engineering Drawings

Computer Aided Design

Engineering Design and Modeling using AutoCAD

Computer-Assisted Language Learning in the Global South

Exploring Challenges and Opportunities for Students and Teachers

Functionally Graded Materials

Analysis and Applications to FGM, FG-CNTRC and FG Porous Structures

Human-Computer Interaction

The Basics

Natural Language Processing for Business and Organizations

Research and Innovation

Generation of Surfaces

Kinematic Geometry of Surface Machining

Next-Generation Computing and Information Systems

Taylor and Francis Proceedings in Computer Science and Engineering

Innovations in Management, Technology, and Performance

Driving Sustainable Solutions and Business Value

Artificial Intelligent Towards Sustainable Impact Accelerator Through Education, Research and Advocacy

Artificial Intelligent Towards Sustainable Impact Accelerator Through Education, Research and Advocacy

Plastic Futures in Architecture

From Recycled Synthetic to Bio-Based Polymers

Plastic Futures in Architecture

From Recycled Synthetic to Bio-Based Polymers

Challenges and Opportunities in Artificial Intelligence

Engineering and Management Applications

Transformative applied research

Breakthrough research in a changing world

Additive Manufacturing Handbook

Product Development for the Defense Industry

AutoCAD 2007 For Dummies

For Dummies

This product is categorised by