0 Item

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.39 x 15.6 x 1.65

Paperback

$105.19

or 4 interest-free payments of $26.30 with

Aims to ship in 7 to 10 business days

When will this arrive by?
Enter delivery postcode to estimate

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

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 Gardening

A Taste of the Chateau

Master the art of seasonal celebrations with over 100 delicious recipes, beautiful crafts and inspiring gardening projects

Everyday Permaculture

Sustainable Living For Every Space

Dopamine Home

A bold guide to mood-boosting interiors

A Heide Harvest

Menus, feasts and stories inspired by Sunday Reed's kitchen gardens

Cacti and Succulents

The Plant Rescuer's On-point Advice to Keep Your Plants Looking Sharp

Australian Native Plants - Concise Edition

Cultivation, Use in Landscaping, and Propagation

Floret Farm's Cut Flower Garden

Grow, Harvest, and Arrange Stunning Seasonal Blooms

First Nations Food Companion

How to buy, cook, eat and grow Indigenous Australian ingredients

The Australian Beekeeping Manual

3rd Edition

Bush Flowers

Australian flowers and foliage for decoration and design

Piet Oudolf At Work

A Complete Guide to Native Orchids of Australia

3rd Edition - Revised

Wild Mushrooming

A Guide for Foragers

The Permaculture Garden

A Practical Approach to Year-round Harvests

Sweet Pea School

Growing & Arranging the Garden's Most Romantic Blooms

Floret Farm's Discovering Dahlias

A Guide to Growing and Arranging Magnificent Blooms

Plantopedia

The Definitive Guide to House Plants

Super Bloom

A field guide to flowers for every gardener

Visionary

Gardens and Landscapes for our Future

Big Garden Design

The making of beautiful country gardens

Wild Food Plants of Australia

Companion Planting in Australia

Field Guide to the Native Plants of Sydney

Native Trees and Shrubs of South-Eastern Australia

Includes Ammendum of Change and New Species

This product is categorised by