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

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 Mathematical Theory of Computation Communications Engineering & Telecommunications

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 Mathematical Theory of Computation

Discrete Mathematics for Computing

Grassroots

Swim Training Patterns

1st Edition - Plan your Training Sessions with the Power of Mathematics

AI Engineering

Building Applications with Foundation Models

Algorithms in C, Parts 1-4

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

Effective Machine Learning Teams

Best Practices for ML Practitioners

AI for Decision Intelligence in Critical Systems

Advances in Applied Mathematics

AI for Decision Intelligence in Critical Systems

Advances in Applied Mathematics

Mathematical Foundations of Deep Learning

Theory and Algorithms

Mathematical Foundations of Deep Learning

Theory and Algorithms

Theory of Computation for Software Developers

Nonlinear Analysis for Human Movement Variability

Zhang Time Discretization (ZTD) Formulas and Applications

AI and Blockchain in Smart Grids

Fundamentals, Methods, and Applications

Attack-and-Defense Games for Control Systems

Analysis and Synthesis

Decentralized Futures

Navigating the Integration of Blockchain Technology with Artificial Intelligence

Introduction to Modern Cryptography

Revised Third Edition

Machine Learning Interviews

Kickstart Your Machine Learning and Data Career

Why Don t Rabbits Rule The World?

Mathematical answers to life s key questions

Applied Mathematics with F#

Linear Algebra with Applications in Machine Learning

From Intuitive Understanding to Python Coding

Surveys in Combinatorics 2026

London Mathematical Society Lecture Note Series

Introduction to Numerical Mathematics

Theory, Practice and Numerous Examples

Frontiers in Industrial Engineering. Purdue Quantum AI

Fifth Gavriel Salvendy International Symposium, PQAI 2025, West Lafayette, IN, USA, October 23-24, 2025, Proceedings

Graphical Models and Causal Discovery with Python

100 Exercises for Building Logic

This product is categorised by