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

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 $49.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 Systems Analysis & Design Computer Programming & Software Development Programming & Scripting Languages Engineering & Technology Energy Technology & Engineering Electrical Engineering Mathematics Electronics & Communications Engineering Electronics Engineering

Circuits & Components Computer Hardware Graphical & Digital Media Applications

Introduction
Related Work
The Static Model
A Well-Formed VHDL Model
The Reduction Algebra
Completeness of the Reduced Form
Interval Temporal Logic
The Dynamic Model
Applications of the Dynamic Model
A Framework for Proving Equivalences Using PVS
Conclusions
Appendices
References
Index
Table of Contents provided by Publisher. All Rights Reserved.

Formal Semantics and Proof Techniques for Optimizing VHDL Models

At a Glance

Hardcover

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Electrical Engineering

Electrical Principles

5th Edition

A+ National Pre-apprenticeship Maths and Literacy for Electrical

A+ PRE-APPRENTICESHIP

Electrical Trade Principles

6th Edition

Electrical Trade Practices

3rd Edition

Electrical Wiring Practice, 9th Edition and Wiring Principles for Electrical Trades, 8th Edition (Pack)

Electrical Principles for Electrical Trades

8th Edition

Cryptocurrency Forensics and Investigation using Open Source Intelligence Techniques (OSINT)

Volume I

Cryptocurrency Forensics and Investigation using Open Source Intelligence Techniques (OSINT)

Volume I

Adaptive Detection for Multichannel Signals in Non-Ideal Environments

Advanced Chassis Control Technology for Steer-by-Wire Vehicles

Advanced Nanomaterials for Solution-Processed Flexible Optoelectronic Devices

Processing to Applications

Advances in Adaptive Ultrasonics

Advances in Passive Microwave Remote Sensing of Oceans

AI-Driven IoT Systems for Industry 4.0

Edge AI in Future Computing

Aircraft Performance

An Engineering Approach

Applications of Accelerators in the Quantum Technology Era

Artificial Intelligence and Communication Techniques in Industry 5.0

Advances in Manufacturing, Design and Computational Intelligence Techniques

Artificial Intelligence and Internet of Things in Smart Farming

Artificial Intelligence for Wireless Communication Systems

Technology and Applications

Artificial Intelligence in Material Science

Advances

Artificial Intelligence in Medicine and Healthcare

Artificial Intelligence in Wireless Sensors and Instruments

Networks and Applications

Artificial Intelligence Revolutionizing Cancer Care

Precision Diagnosis and Patient-Centric Healthcare

Big Data Analytics and Intelligent Applications for Smart and Secure Healthcare Services

Computational and Intelligent Systems

This product is categorised by