Practical Formal Methods for Hardware Design

By: C. Delgado Kloos, Carlos Delgado Kloos (Editor), Werner Damm (Editor)

Write A Review

Paperback

At a Glance

Paperback
308 Pages

Dimensions(cm)
23.5 x 15.88 x 1.91

Paperback

$84.99

or 4 interest-free payments of $21.25 with

Ships in 5 to 7 business days

Formal methods for hardware design still find limited use in industry. Yet current practice has to change to cope with decreasing design times and increasing quality requirements. This research report presents results from the Esprit project FORMAT (formal methods in hardware verification) which involved the collaboration of the enterprises Siemens, Italtel, Telefonica I+D, TGI, and AHL, the research institute OFFIS, and the universities of Madrid and Passau. The work presented involves advanced specification languages for hardware design that are intuitive to the designer, like timing diagrams and state based languages, as well as their relation to VHDL and formal languages like temporal logic and a process-algebraic calculus. The results of experimental tests of the tools are also presented.

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 $0.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 Computing & I.T.Computer Science Computer Architecture & Logic Design Computer Hardware Storage Media & Peripherals Systems Analysis & Design Computer Programming & Software Development Personal Computers Computer Networking & Communications EDI Electronic Data Interchange Engineering & Technology

Electronics & Communications Engineering Electronics Engineering Gardening

Preface
Introduction	p. 1
Design Methodology for Complex VLSI Devices	p. 7
Specification Languages	p. 23
Verification Flow	p. 52
Synthesis Flow	p. 81
Application of a Formal Verification Toolset to the Design of Integrated Circuits in an Industrial Environment	p. 99
Italtel Application of the FORMAT Design Flow	p. 132
Siemens Industrial Experience	p. 159
The FORMAT Model Checker	p. 175
Reasoning	p. 184
VHDL Formal Modeling and Analysis	p. 217
Synthesis Techniques	p. 229
Generating VHDL Code from LOTOS Descriptions	p. 266
Table of Contents provided by Blackwell. All Rights Reserved.

Practical Formal Methods for Hardware Design

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Computer Science

Don't Burn Anyone at the Stake Today

(and other lessons from history about living through an information crisis)

The Laws of Thought

The Quest for a Mathematical Theory of the Mind

Nexus

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

Storytelling with Data

A Data Visualization Guide for Business Professionals, 10th Anniversary Edition

Microsoft 365 Excel All-in-One For Dummies

Excel for Dummies

The AI-Driven Leader

Harnessing AI to Make Faster, Smarter Decisions

Microsoft Power BI For Dummies

For Dummies (Computer/Tech)

Nonparametric Statistics on Stratified Spaces and Their Applications in Object Data Analysis

Hope in the Library

How Libraries Can Help Shape Our Future with Artificial Intelligence

The AI Con

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

Microsoft 365 Excel For Dummies

For Dummies (Computer/Tech)

Python All-in-One For Dummies

3rd Edition

Python Crash Course

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

Agentic AI For Dummies

For Dummies (Computer/Tech)

Decoding Despair

How AI is Reshaping Psychiatry

Digital Fashion

Artificial Intelligence, Virtual, and Other Emerging Applications

Digital Fashion

Artificial Intelligence, Virtual, and Other Emerging Applications

A Practitioner's Guide to Advancing Behavioral Health Care with Artificial Intelligence

Artificial Intelligence for Sustainable Development

How, Why, and What Drives the Future

AI for Business

A Guide to AI Adoption

The AI Cybersecurity Handbook

Application of Ergonomics in Politics

A Layperson's Approach

The Singularity is Nearer

When We Merge with AI

The ChatGPT Revolution

2nd Edition - Get Curious, Get Productive and Get Creative with AI

This product is categorised by