Skip to main content

CURRENTLY SOLD OUT

Practical Formal Methods for Hardware Design by Werner Damm, Carlos Delgado Kloos (Paperback, 1997)

About this product

About this product

Product Information

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.

Product Identifiers

Publisher
Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
ISBN-13
9783540620075
eBay Product ID (ePID)
95079584

Product Key Features

Author
Werner Damm, Carlos Delgado Kloos
Publication Name
Practical Formal Methods for Hardware Design
Format
Paperback
Language
English
Subject
Computer Science
Publication Year
1997
Type
Textbook
Number of Pages
293 Pages

Dimensions

Item Height
235mm
Item Width
155mm
Item Weight
470g

Additional Product Features

Series Title
Research Reports Esprit
Editor
Carlos Delgado Kloos, Werner Damm
Country/Region of Manufacture
Germany

Best Selling in Adult Learning & University

Current slide {CURRENT_SLIDE} of {TOTAL_SLIDES}- Best Selling in Adult Learning & University

Australian Guidebook for Structural Engineers by Lonnie Pack (Paperback, 2019)
No ratings or reviews yet.
AU $84.19 New
---- Used
Eduqas GCSE (9-1) Religious Studies Route B: Catholic Christianity and Judaism by Deirdre Cleary, Andrew Barron, Joy White, Patrick Harrison (Paperback, 2017)
No ratings or reviews yet.
AU $100.97 New
---- Used
The Ethnic Cleansing of Palestine by Ilan Pappe (Paperback, 2007)
5.0 out of 5 stars based on 1 product rating
AU $30.02 New
---- Used

Save on Adult Learning & University

Current slide {CURRENT_SLIDE} of {TOTAL_SLIDES}- Save on Adult Learning & University

The Australian Native Bee Hive Book: Keeping Stingless Sugarbag OATH Tim Heard
AU $31.98
Trending at AU $35.55
Weed Forager's Handbook: A Guide to Edible and Medicinal Weeds in Australia by A
AU $19.95
Trending at AU $20.64
Netter Atlas of Human Anatomy: Classic Regional Approach
AU $113.94
Trending at AU $122.07
George Hrabovsky Leonard Susskind Classical Mechanics (Paperback)
AU $27.49
Trending at AU $31.57
Havard's Nursing Guide to Drugs
AU $74.99
Trending at AU $76.69
Phillip J. Anderson The Secret Life of Real Estate and Banking (Hardback)
AU $94.61
Trending at AU $99.41

You may also like

Current slide {CURRENT_SLIDE} of {TOTAL_SLIDES}- You may also like