Formal Methods in Computer-Aided Design

First International Conference, FMCAD '96, Palo Alto, CA, USA, November 6 - 8, 1996, Proceedings

By: Mandayam Srivas (Editor), Albert Camilleri (Editor)

Write A Review

Paperback | 23 October 1996

At a Glance

Paperback
488 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 7 to 10 business days

This book constitutes the refereed proceedings of the First International Conference on Formal Methods in Computer-Aided Design, FMCAD '96, held in Palo Alto, California, USA, in November 1996.
The 25 revised full papers presented were selected from a total of 65 submissions; also included are three invited survey papers and four tutorial contributions. The volume covers all relevant formal aspects of work in computer-aided systems design, including verification, synthesis, and testing.

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 Electronics Engineering

LEGO

Gadgets (Klutz)

Novelty Book

RRP $34.99

$25.75

26%
OFF

The Art of Electronics

3rd edition improved

Hardcover

RRP $171.95

$124.75

27%
OFF

Agentic AI For Dummies

For Dummies (Computer/Tech)

Paperback

RRP $57.95

$40.57

30%
OFF

Wireless Technology

Advances and Innovations for Smart IoT Applications

Hardcover

RRP $357.00

$306.99

14%
OFF

Redefining Innovative Practices in the Age of AI

Hardcover

RRP $336.00

$289.75

14%
OFF

Green Technology and Industry 4.0 for Sustainable Future

Hardcover

RRP $368.00

$315.99

14%
OFF

Intelligent User Interface

Usable Artificial Intelligence and Artificial Intelligence for Usability

Hardcover

RRP $204.00

$179.75

12%
OFF

Architecture and AI

Controlling the Hallucination

Hardcover

RRP $284.00

$246.75

13%
OFF

Building Next-Gen ESG Platforms with IoT and AI for Sustainable Development Goals

Hardcover

RRP $315.00

$271.99

14%
OFF

Deep Learning in Genome Mapping

Computation and Analysis

Hardcover

RRP $315.00

$271.99

14%
OFF

Book of Making 2026

Projects for Makers and Hackers

Paperback

RRP $39.99

$33.75

16%
OFF

Metal oxide-based thermoelectric materials

Metal Oxides

Paperback

RRP $500.95

$440.75

12%
OFF

Handbook of Power Electronics in Smart Grids and Intelligent Energy - Muhammad H. Rashid

$416.75

12%
OFF

The Need for Formal Methods for Integrated Circuit Design	p. 1
Verification of All Circuits in a Floating-Point Unit Using Word-Level Model Checking	p. 19
BMDs Can Delay the Use of Theorem Proving for Verifying Arithmetic Assembly Instructions	p. 34
Modular Verification of Multipliers	p. 49
Verification of IEEE Compliant Subtractive Division Algorithms	p. 64
Hierarchical Verification of Two-Dimensional High-Speed Multiplication in PVS: A Case Study	p. 79
Experiments in Automating Hardware Verification Using Inductive Proof Planning	p. 94
Verifying Nondeterministic Implementations of Deterministic Systems	p. 109
A Methodology for Processor Implementation Verification	p. 126
Coverage-Directed Test Generation Using Symbolic Techniques	p. 143
Self-Consistency Checking	p. 159
Inverting the Abstraction Mapping: A Methodology for Hardware Verification	p. 172
Validity Checking of Combinations of Theories with Equality	p. 187
A Unified Approach for Combining Different Formalisms for Hardware Verification	p. 202
Verification Using Uninterpreted Functions and Finite Instantiations	p. 218
Formal Verification of the Island Tunnel Controller Using Multiway Decisions Graphs	p. 233
VIS	p. 248
PVS: Combining Specification, Proof Checking, and Model Checking	p. 257
HOL Light: A Tutorial Introduction	p. 265
A Tutorial on Digital Design Derivation Using DRS	p. 270
ACL2 Theorems about Commercial Microprocessors	p. 275
Formal Synthesis in Circuit Design - A Classification and Survey	p. 294
Formal Specification and Verification of VHDL	p. 310
Specification of Control Flow Properties for Verification of Synthesized VHDL Designs	p. 327
An Algebraic Model of Correctness for Superscalar Microprocessors	p. 346
Mechanically Checking a Lemma Used in an Automatic Verification Tool	p. 362
Automatic Generation of Invariants in Processor Verification	p. 377
A Brief Study of BDD Package Performance	p. 389
Local Encoding Transformations for Optimizing OBDD-Representations of Finite State Machines	p. 404
Decomposition Techniques for Efficient ROBDD Construction	p. 419
BDDs vs. Zero-Suppressed BDDs : For CTL Symbolic Model Checking of Petri Nets	p. 435
HDL-Based Integration of Formal Methods and CAD Tools in the Prevail Environment	p. 450
List of Authors	p. 469
Table of Contents provided by Blackwell. All Rights Reserved.

Formal Methods in Computer-Aided Design

First International Conference, FMCAD '96, Palo Alto, CA, USA, November 6 - 8, 1996, Proceedings

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Electronics Engineering

LEGO

Gadgets (Klutz)

The Art of Electronics

3rd edition improved

Agentic AI For Dummies

For Dummies (Computer/Tech)

Wireless Technology

Advances and Innovations for Smart IoT Applications

Redefining Innovative Practices in the Age of AI

Green Technology and Industry 4.0 for Sustainable Future

Intelligent User Interface

Usable Artificial Intelligence and Artificial Intelligence for Usability

Architecture and AI

Controlling the Hallucination

Building Next-Gen ESG Platforms with IoT and AI for Sustainable Development Goals

Deep Learning in Genome Mapping

Computation and Analysis

Book of Making 2026

Projects for Makers and Hackers

Metal oxide-based thermoelectric materials

Metal Oxides

Handbook of Power Electronics in Smart Grids and Intelligent Energy

Surface Modifications of Nanomaterials for Energy, Environmental and Biomedical Applications

Micro & Nano Technologies

Wearable Exoskeleton Systems

Design, Control and Applications

Open Circuits

The Inner Beauty of Electronic Components

Elements of Power Electronics

Recent Developments in Mechatronics

Design and Applications of Mobile Robotics

Modeling, Planning and Control of Robotics

Kinematic and Dynamic Analysis of Parallel Manipulators

Fundamentals of Robotics

Thermal Management and Cooling Technology for Electronic Equipment

Power Electronics

Devices and Applications

This product is categorised by