Lecture Notes in Computer Science : Third International Conference, FMCAD 2000 Austin, TX, USA, November 1-3, 2000 Proceedings - Warren A. Jr. Hunt

Instant online reading.
Don't wait for delivery!
Go digital and save!

Lecture Notes in Computer Science

Third International Conference, FMCAD 2000 Austin, TX, USA, November 1-3, 2000 Proceedings

By: Warren A. Jr. Hunt (Editor), Steven D. Johnson (Editor)

Write A Review

Paperback | 18 October 2000

At a Glance

Paperback
564 Pages

Dimensions(cm)
24.77 x 16.51 x 3.18

Paperback

$169.00

or 4 interest-free payments of $42.25 with

Ships in 5 to 7 business days

The biannual Formal Methods in Computer Aided Design conference (FMCAD 2000)is the third in a series of conferences under that title devoted to the use of discrete mathematical methods for the analysis of computer hardware and so- ware. The work reported in this book describes the use of modeling languages and their associated automated analysis tools to specify and verify computing systems. Functional veric ation has become one of the principal costs in a modern computer design e ort. In addition,verica tion of circuit models, timing,power, etc., requires even more eo rt. FMCAD provides a venue for academic and - dustrial researchers and practitioners to share their ideas and experiences of using discrete mathematical modeling and veric ation. It is noted with interest by the conference chairmen how this area has grown from just a few people 15 years ago to a vibrant area of research, development, and deployment. It is clear that these methods are helping reduce the cost of designing computing systems. As an example of this potential cost reduction, we have invited David Russino of Advanced Micro Devices, Inc. to describe his veric ation of ?oating-point - gorithms being used in AMD microprocessors. The program includes 30 regular presentations selected from 63 submitted papers.

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.

Trends in Computing	p. 1
A Case Study in Formal Verification of Register-Transfer Logic with ACL2: The Floating Point Adder of the AMD Athlon Processor	p. 3
An Algorithm for Strongly Connected Component Analysis in n log n Symbolic Steps	p. 37
Automated Refinement Checking for Asynchronous Processes	p. 55
Border-Block Triangular Form and Conjunction Schedule in Image Computation	p. 73
B2M: A Semantic Based Tool for BLIF Hardware Descriptions	p. 91
Checking Safety Properties Using Induction and a SAT-Solver	p. 108
Combining Stream-Based and State-Based Verification Techniques	p. 126
A Comparative Study of Symbolic Algorithms for the Computation of Fair Cycles	p. 143
Correctness of Pipelined Machines	p. 161
Do You Trust Your Model Checker?	p. 179
Executable Protocol Specification in ESL	p. 197
Formal Verification of Floating Point Trigonometric Functions	p. 217
Hardware Modeling Using Function Encapsulation	p. 234
A Methodology for the Formal Analysis of Asynchronous Micropipelines	p. 246
A Methodology for Large-Scale Hardware Verification	p. 263
Model Checking Synchronous Timing Diagrams	p. 283
Model Reductions and a Case Study	p. 299
Modeling and Parameters Synthesis for an Air Traffic Management System	p. 316
Monitor-Based Formal Specificatio of PCI	p. 335
SAT-Based Image Computation with Application in Reachability Analysis	p. 354
SAT-Based Verification without State Space Traversal	p. 372
Scalable Distributed On-the-Fly Symbolic Model Checking	p. 390
The Semantics of Verilog Using Transition System Combinators	p. 405
Sequential Equivalence Checking by Symbolic Simulation	p. 423
Speeding Up Image Computation by Using RTL Information	p. 443
Symbolic Checking of Signal-Transition Consistency for Verifying High-Level Designs	p. 455
Symbolic Simulation with Approximate Values	p. 470
A Theory of Consistency for Modular Synchronous Systems	p. 486
Verifying Transaction Ordering Properties in Unbounded Bus Networks through Combined Deductive/Algorithmic Methods	p. 505
Visualizing System Factorizations with Behavior Tables	p. 520
Author Index	p. 539
Table of Contents provided by Blackwell. All Rights Reserved.

Lecture Notes in Computer Science

Third International Conference, FMCAD 2000 Austin, TX, USA, November 1-3, 2000 Proceedings

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Cybernetics & Systems Theory

Psycho-Cybernetics (Updated and Expanded)

Psycho-cybernetics

Psycho-Cybernetics 365

Thrive and Grow Every Day of the Year

The Laws of Thought

The Quest for a Mathematical Theory of the Mind

Thinking in Systems

A Primer

This Is Chaos: Embracing the Future of Magic

15 Essays on Chaos Magic for Modern Practitioners

Quantum Artificial Intelligence

Technologies, Algorithms and Programming

Handbook of Systems Thinking Methods

Intelligent Manufacturing Systems

Digitalization of Industrial Production

Advanced Techniques and Applications of Cybersecurity and Forensics

Emerging Technologies

Computational Intelligence Applications in Cyber Security

The Law of Complex Earth and Outer Space Systems

The Cosmolegal Proposal

Multimodal Biometric Identification System

Case Study of Real-Time Implementation

Nature Inspired Robotics

Data and Model Centric Artificial Intelligence for Industry 5.0

Leveraging Computer Vision to Biometric Applications

Chapman & Hall/Distributed Computing and Intelligent Data Analytics Series

Handbook of Intelligent Robots

Theory, Methods and Applications

An Introduction to Systems Biology

Design Principles of Biological Circuits

Proper Time and Mass as Dynamical Variables

Why it's Possible and Some Consequences

Handbook of Dynamic Data Driven Applications Systems

Volume 3

Fundamentals of Polar, LDPC and Turbo Codes

Including MATLAB , Mathcad and Python Simulations with Desktop Video Lectures

Markov Decision Processes and Reinforcement Learning

Emergence as Harmony

Mathematical Principles of Self-Organization, Complexity, and Collective Behavior

Emergence as Harmony

Mathematical Principles of Self-Organization, Complexity, and Collective Behavior

Proceedings of 2025 9th Chinese Conference on Swarm Intelligence and Cooperative Control

Swarm Control Technologies

This product is categorised by