Correct Hardware Design and Verification Methods

IFIP WG10.5 Advanced Research Working Conference, CHARME '95, Frankfurt, Germany, October 1995. Proceedings

By: Paolo Enrico Camurati (Editor), Hans Eveking (Editor)

Write A Review

Paperback | 18 September 1995

At a Glance

Paperback
360 Pages

Dimensions(cm)
24.13 x 16.51 x 1.91

Paperback

$84.99

or 4 interest-free payments of $21.25 with

Ships in 5 to 7 business days

This book constitutes the refereed proceedings of the IFIP WG10.5 Advanced Research Working Conference on Correct Hardware Design Methodologies, CHARME '95, held in Frankfurt, Germany, in October 1995.
The 20 revised full papers presented were carefully selected by the program committee and address all current aspects of research and advanced applications in the field of formal verification of hardware. Among the topics covered are model checking, theorem proving, formally verified synthesis, process algebras, finite state systems, verification environments, language containment, and VHDL.

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.

You Can Find This Book In

Non-Fiction Engineering & Technology Electronics & Communications Engineering Electronics Engineering Circuits & Components Computing & I.T.Graphical & Digital Media Applications Computer-Aided Design CAD Computer Science Computer Architecture & Logic Design Energy Technology & Engineering Electrical Engineering

Systems Analysis & Design Computer Networking & Communications EDI Electronic Data Interchange Computer Programming & Software Development Software Engineering

What if model checking must be truly symbolic	p. 1
Automatic verification of the SCI cache coherence protocol	p. 21
Describing and verifying synchronous circuits with the Boyer-Moore theorem prover	p. 35
Problems encountered in the machine-assisted proof of hardware	p. 56
Formally embedding existing high level synthesis algorithms	p. 71
Formal design of a class of computers	p. 84
Symbolic analysis and verification of CPA descriptions	p. 103
A foundation for formal reuse of hardware	p. 124
State enumeration with abstract descriptions of state machines	p. 146
Transforming boolean relations by symbolic encoding	p. 161
Design error diagnosis in sequential circuits	p. 171
Timing analysis of asynchronous circuits using timed automata	p. 189
Improved probabilistic verification by hash compaction	p. 206
Formal support for the ELLA hardware description language	p. 225
Verifying hardware components within JACK	p. 246
Language containment of non-deterministic [omega]-automata	p. 261
A partial-order approach to the verification of concurrent systems: checking liveness properties	p. 278
Semantics of a verification-oriented subset of VHDL	p. 293
Reasoning about VHDL using operational and observational semantics	p. 311
A Symbolic Relation for a Subset of VHDL'87 Descriptions and its Application to Symbolic Model Checking	p. 328
Table of Contents provided by Blackwell. All Rights Reserved.

Correct Hardware Design and Verification Methods

IFIP WG10.5 Advanced Research Working Conference, CHARME '95, Frankfurt, Germany, October 1995. Proceedings

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Circuits & Components

Open Circuits

The Inner Beauty of Electronic Components

Make : Analog Synthesizers

A modern approach to old-school sound synthesis

Circuits and Systems

A Modern Approach

Recent Advances in Compact Antennas

Encyclopedia of Electronic Components

Resistors, Capacitors, Inductors, Semiconductors, Electromagnetism

Make: More Electronics

Journey Deep into the World of Logic Chips, Amplifiers, Sensors, and Randomicity

Learning the Art of Electronics

A Hands-On Lab Course

Encyclopedia of Electronic Components Volume 2

Make: Electronic Music from Scratch

A Beginner's Guide to Homegrown Audio Gizmos

Introductory Circuit Analysis, Global Edition

14th Edition

Make: Electronics, 3e

Learning by Discovery: A hands-on primer for the new electronics enthusiast

The Audio Circuits Cookbook

Building Blocks and Tools to Design Professional Audio Devices

Getting Started with Soldering

A Hands-On Guide to Making Electrical and Mechanical Connections

Electricity for the Entertainment Electrician and Technician

Electricity, Power Distribution, and Electrical Safety for the Stage and Set

Electricity for the Entertainment Electrician and Technician

Electricity, Power Distribution, and Electrical Safety for the Stage and Set

Tiny Machine Learning Techniques for Constrained Devices

Signal Integrity in Digital Systems

Principles and Practice

Bridge Structural Health Monitoring

The Truss Bridge Management System

Smart Grids

Sustainable Energy Systems

5G and Beyond Wireless Networks

Technology, Network Deployments, and Materials for Antenna Design

Advanced Field-Effect Transistors

Theory and Applications

Design and Control of Physical and Cyber-Physical Systems

Electrical Drive Simulation with MATLAB/Simulink

Selected Technologies

Electrical Machines and Their Applications

This product is categorised by