Formal Semantics and Proof Techniques for Optimizing VHDL Models

By: Kothanda Umamageswaran, Sheetanshu L. Pandey, Philip A. Wilsey

Write A Review

Hardcover | 30 November 1998

At a Glance

Hardcover
184 Pages

Dimensions(cm)
23.5 x 15.88 x 1.91

Hardcover

$169.00

or 4 interest-free payments of $42.25 with

or

Ships in 5 to 7 business days

Formal Semantics and Proof Techniques for Optimizing VHDL Models presents a formal model of VHDL that clearly specifies both the static and dynamic semantics of VHDL. It provides a mathematical framework for representing VHDL constructs and shows how those constructs can be formally manipulated to reason about VHDL. The dynamic semantics is presented as a description of what the simulation of VHDL means. In particular it specifies what values the signals of a VHDL description will take if the description were to be executed. An advantage of the approach is that the semantic model can be used to validate different simulation algorithms. The book also presents an embedding of the dynamic semantics in a proof checker which is then used to prove equivalences of classes of VHDL descriptions.
Formal Semantics and Proof Techniques for Optimizing VHDL Models is written for hardware designers who are interested in the formal semantics of 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.

More in Electrical Engineering

A+ National Pre-apprenticeship Maths and Literacy for Electrical

A+ PRE-APPRENTICESHIP

Paperback

RRP $33.95

$33.75

Cyber-physical Resilience of Inverter-interfaced Power Grids : Attack, Defense, and Operation - Jiazuo Hou

$263.75

Enhancing Healthcare Informatics with Transparent and Explainable AI - Lucy Shinners

$33.75

Electrical Trade Principles

6th Edition

Paperback

RRP $147.95

$121.99

18%
OFF

Applying Hvdc and Facts in Electric Power Systems - James Hattin

$78.75

28%
OFF

Principles and Applications of Electrical Engineering

7th Edition

Paperback

RRP $169.95

$134.75

21%
OFF

Electrical Principles

5th Edition

Paperback

RRP $137.95

$114.75

17%
OFF

Fundamentals of Applied Electromagnetics

8th Edition

Paperback

RRP $145.90

$117.75

19%
OFF