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

Sorry, we are not able to source the book you are looking for right now.

We did a search for other books with a similar title, however there were no matches. You can try selecting from a similar category, click on the author's name, or use the search box above to find your book.

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 $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.

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

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Systems Analysis & Design

Machine Learning, Optimization, and Data Science

11th International Conference, LOD 2025, Castiglione della Pescaia, Italy, September 21â"24, 2025, Revised Selected Papers, Part II

Fundamentals of Software Architecture

A Modern Engineering Approach

AI Engineering

Building Applications with Foundation Models

Effective Modern C++

42 Specific Ways to Improve Your Use of C++11 And C++14

Site Reliability Engineering

How Google Runs Production Systems

Linux Pocket Guide

4th Edition - Essential Commands

Artificial Intelligence for HR

Use AI to Support and Develop a Successful Workforce

Systems Analysis and Design

12th edition

Learning Opentelemetry

Setting Up and Operating a Modern Observability System

Untangling AI

Driving Business Success Through Enterprise Automation and AI Agents

Data-driven BIM for Energy Efficient Building Design

1st Edition

Business Driven Information Systems ISE

9th Edition

Algorithms in C, Parts 1-4

3rd Edition - Fundamentals, Data Structures, Sorting, Searching

The AI Engineering Bootcamp

Build, Ship, Share

Spark : The Definitive Guide

Big Data Processing Made Simple

Architecting Data and Machine Learning Platforms

Enable Analytics and Ai-Driven Innovation in the Cloud

Cloud Native Application Protection Platforms

A Guide to Cnapps and the Foundations of Comprehensive Cloud Security

Laws of UX

2nd Edition - Using Psychology to Design Better Products & Services

The Engineering Leader

Strategies for Scaling Teams and Yourself

Augmented Software Design

A Team Exercise in Empirical Software Design

Rust Atomics and Locks

Low-Level Concurrency in Practice

Building Applications with AI Agents

Designing and Implementing Multiagent Systems

Learning UML 2.0

A Pragmatic Introduction to UML

Head First Object-Oriented Analysis and Design

A Brain Friendly Guide to OOA &D

This product is categorised by