Formal Methods in Computer-Aided Design

4th International Conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002, Proceedings

By: Mark D. Aagaard (Editor), John W. O'Leary (Editor)

Write A Review

Paperback | 23 October 2002

At a Glance

Paperback
420 Pages

Dimensions(cm)
24.13 x 15.88 x 2.54

Paperback

$84.99

or 4 interest-free payments of $21.25 with

or

Ships in 5 to 7 business days

This volume contains the proceedings of the Fourth Biennial Conference on F- mal Methods in Computer-Aided Design (FMCAD). The conference is devoted to the use of mathematical methods for the analysis of digital hardware c- cuits and systems. The workreported in this bookdescribes the use of formal mathematics and associated tools to design and verify digital hardware systems. Functional veri?cation has become one of the principal costs in a modern computer design e?ort. FMCAD provides a venue for academic and industrial researchers and practitioners to share their ideas and experiences of using - screte mathematical modeling and veri?cation. Over the past 20 years, this area has grown from just a few academic researchers to a vibrant worldwide com- nity of people from both academia and industry. This volume includes 23 papers selected from the 47 submitted papers, each of which was reviewed by at least three program committee members. The history of FMCAD dates backto 1984, when the earliest meetings on this topic occurred as part of IFIP WG10.2.

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.

More in Computer Science

Microsoft 365 Excel All-in-One For Dummies

Excel for Dummies

Paperback

RRP $74.95

$55.75

26%
OFF

Python Crash Course

3rd Edition - A Hands-On, Project-Based Introduction to Programming

Paperback

RRP $89.99

$64.99

28%
OFF

If Anyone Builds It, Everyone Dies

The Case Against Superintelligent AI

Paperback

RRP $36.99

$29.75

20%
OFF

The AI Con

How To Fight Big Tech's Hype and Create the Future We Want

Paperback

RRP $36.99

$29.75

20%
OFF

The New Age of Sexism

How the AI Revolution is Reinventing Misogyny

Paperback

RRP $36.99

$29.75

20%
OFF

AI for Business

A Guide to AI Adoption

Paperback

RRP $49.99

$40.75

18%
OFF

Microsoft 365 Excel For Dummies

For Dummies (Computer/Tech)

Paperback

RRP $49.95

$38.75

22%
OFF

Nexus

A Brief History of Information Networks from the Stone Age to AI

Paperback

RRP $29.99

$23.99

20%
OFF

Love Machines : How Artificial Intelligence is Transforming Our Relationships - James Muldoon

$44.75

23%
OFF

The Tech Coup

How to Save Democracy from Silicon Valley

Paperback

RRP $29.99

$26.75

11%
OFF

The Coming Wave

AI, Power and the 21st Century's Greatest Dilemma

Paperback

RRP $26.99

$22.99

15%
OFF

New Beginnings

why change is so difficult and how to achieve it

Paperback

RRP $32.99

$26.99

18%
OFF

The Singularity is Nearer

When We Merge with AI

Paperback

RRP $26.99

$22.99

15%
OFF

Genesis

Artificial Intelligence, Hope, and the Human Spirit

Paperback

RRP $24.99

$21.75

13%
OFF

The Shortest History of AI

Paperback

RRP $27.99

$22.75

19%
OFF

Building Machine Learning Systems with a Feature Store : Batch, Real-Time, and LLM Systems - Jim Dowling

$99.75

25%
OFF

Python All-in-One For Dummies

3rd Edition

Paperback

RRP $74.95

$55.75

26%
OFF

Life 3.0

Being Human in the Age of Artificial Intelligence

Paperback

RRP $26.99

$22.99

15%
OFF

Python Workout, Second Edition

200 ten-minute exercises

Hardcover

$128.99

Abstraction by Symbolic Indexing Transformations	p. 1
Counter-Example Based Predicate Discovery in Predicate Abstraction	p. 19
Automated Abstraction Refinement for Model Checking Large State Spaces Using SAT Based Conflict Analysis	p. 33
Simplifying Circuits for Formal Verification Using Parametric Representation	p. 52
Generalized Symbolic Trajectory Evaluation - Abstraction in Action	p. 70
Analysis of Symbolic SCC Hull Algorithms	p. 88
Sharp Disjunctive Decomposition for Language Emptiness Checking	p. 106
Relating Multi-step and Single-Step Microprocessor Correctness Statements	p. 123
Modeling and Verification of Out-of-Order Microprocessors in UCLID	p. 142
On Solving Presburger and Linear Arithmetic with SAT	p. 160
Deciding Presburger Arithmetic by Model Checking and Comparisons with Other Methods	p. 171
QUBOS: Deciding Quantified Boolean Logic Using Propositional Satisfiability Solvers	p. 187
Exploiting Transition Locality in the Disk Based Mur[actual symbol not reproducible] Verifier	p. 202
Traversal Techniques for Concurrent Systems	p. 220
A Fixpoint Based Encoding for Bounded Model Checking	p. 238
Using Edge-Valued Decision Diagrams for Symbolic Generation of Shortest Paths	p. 256
Mechanical Verification of a Square Root Algorithm Using Taylor's Theorem	p. 274
A Specification and Verification Framework of Developing Weak Shared Memory Consistency Protocols	p. 292
Model Checking the Design of an Unrestricted, Struck-at Fault Tolerant, Asynchronous Sequential Circuit Using SMV	p. 310
Functional Design Using Behavioural and Structural Components	p. 324
Compiling Hardware Descriptions with Relative Placement Information for Parametrised Libraries	p. 342
Input/Output Compatibility of Reactive Systems	p. 360
Smart Play-out of Behavioral Requirements	p. 378
Author Index	p. 399
Table of Contents provided by Blackwell. All Rights Reserved.

Formal Methods in Computer-Aided Design

4th International Conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002, Proceedings

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Computer Science

Microsoft 365 Excel All-in-One For Dummies

Excel for Dummies

Python Crash Course

3rd Edition - A Hands-On, Project-Based Introduction to Programming

If Anyone Builds It, Everyone Dies

The Case Against Superintelligent AI

The AI Con

How To Fight Big Tech's Hype and Create the Future We Want

The New Age of Sexism

How the AI Revolution is Reinventing Misogyny

AI for Business

A Guide to AI Adoption

Microsoft 365 Excel For Dummies

For Dummies (Computer/Tech)

Nexus

A Brief History of Information Networks from the Stone Age to AI

Love Machines

How Artificial Intelligence is Transforming Our Relationships

Creative Machines

AI, Art & Us

The Tech Coup

How to Save Democracy from Silicon Valley

The Coming Wave

AI, Power and the 21st Century's Greatest Dilemma

New Beginnings

why change is so difficult and how to achieve it

The Singularity is Nearer

When We Merge with AI

Genesis

Artificial Intelligence, Hope, and the Human Spirit

The Shortest History of AI

Building Machine Learning Systems with a Feature Store

Batch, Real-Time, and LLM Systems

Biomedical Imaging Technology

Signal Processing Strategies and Innovations

Human-Centered Design for Health Care Safety

SEIPS in Action

The Next Renaissance

AI and the Expansion of Human Potential

Artificial Intelligence

A Modern Approach, 4th Global Edition

Python All-in-One For Dummies

3rd Edition

Life 3.0

Being Human in the Age of Artificial Intelligence

Python Workout, Second Edition

200 ten-minute exercises

This product is categorised by