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

Python Crash Course

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

Paperback

RRP $89.99

$64.99

28%
OFF

Microsoft Power BI For Dummies : For Dummies (Computer/Tech) - Jack A. Hyman

$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 Tech Coup

How to Save Democracy from Silicon Valley

Paperback

RRP $29.99

$26.75

11%
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

$24.99

17%
OFF

Creative Machines

AI, Art & Us

Hardcover

RRP $57.95

$44.75

23%
OFF

Quantum Gravity and Computation : 1st Edition - Information, Pregeometry, and Digital Physics - Dean Rickles

$55.75

26%
OFF

Python All-in-One For Dummies

3rd Edition

Paperback

RRP $74.95

$55.75

26%
OFF

Artificial Intelligence and Human Rights, Democracy, and the Rule of Law

Computational Intelligence Techniques

Hardcover

RRP $315.00

$271.99

14%
OFF

Scary Smart : The Future of Artificial Intelligence and How You Can Save Our World - Mo Gawdat

$22.75

19%
OFF

Decoding AI : Practical Implementations for Business Operations - Alexander Didenko

$246.75

13%
OFF

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

Python Crash Course

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

Microsoft Power BI For Dummies

For Dummies (Computer/Tech)

The New Age of Sexism

How the AI Revolution is Reinventing Misogyny

The AI Con

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

The Tech Coup

How to Save Democracy from Silicon Valley

Microsoft 365 Excel For Dummies

For Dummies (Computer/Tech)

Nexus

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

Creative Machines

AI, Art & Us

Quantum Gravity and Computation

1st Edition - Information, Pregeometry, and Digital Physics

The AI-Driven Leader

Harnessing AI to Make Faster, Smarter Decisions

Empire of AI

Inside the reckless race for total domination

Microsoft 365 Excel All-in-One For Dummies

Excel for Dummies

Python All-in-One For Dummies

3rd Edition

Artificial Intelligence and Human Rights, Democracy, and the Rule of Law

Computational Intelligence Techniques

Scary Smart

The Future of Artificial Intelligence and How You Can Save Our World

The Shortest History of AI

Decoding AI

Practical Implementations for Business Operations

Decoding AI

Practical Implementations for Business Operations

Operation Carder Kaos

How One Agent Penetrated the Underground Economy

Generative Artificial Intelligence

Technology and Applications

Multidisciplinary Project Management for Organizational Success

Advanced Techniques for Engineering, Science and Management

Handbook of Smart Manufacturing Technologies

Industrial Engineering in the Digital Age

Nonlocal Quantum Computing Theory

Open for Business

Harnessing the Power of Open-Source in the Corporate World

This product is categorised by