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 7 to 10 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.

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

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 Circuits & Components

Book of Making 2026

Projects for Makers and Hackers

Open Circuits

The Inner Beauty of Electronic Components

Circuits and Systems

A Modern Approach

Recent Advances in Compact Antennas

Encyclopedia of Electronic Components

Resistors, Capacitors, Inductors, Semiconductors, Electromagnetism

Make : Analog Synthesizers

A modern approach to old-school sound synthesis

Applied Embedded Electronics

Design Essentials for Robust Systems

Learning the Art of Electronics

A Hands-On Lab Course

Encyclopedia of Electronic Components V3

Make: Electronic Music from Scratch

A Beginner's Guide to Homegrown Audio Gizmos

Make: More Electronics

Journey Deep into the World of Logic Chips, Amplifiers, Sensors, and Randomicity

Introductory Circuit Analysis, Global Edition

14th Edition

Practical Electronics for Inventors

Electronics

Make: Electronics, 3e

Learning by Discovery: A hands-on primer for the new electronics enthusiast

Learn Electronics with Arduino

An Illustrated Beginner's Guide to Physical Computing

Easy Electronics

Make: Handbook

Smart Grids

Sustainable Energy Systems

Robert Lacoste's The Darker Side

Practical Applications for Electronic Design Concepts from Circuit Cellar

Electricity for the Entertainment Electrician and Technician

Electricity, Power Distribution, and Electrical Safety for the Stage and Set

Electricity for the Entertainment Electrician and Technician

Electricity, Power Distribution, and Electrical Safety for the Stage and Set

Energy Storage

Systems and Components

Intelligent and Sustainable Systems

AI, Green IoT, and Adaptive Automation in Electrical and Communication Technologies

Transformative applied research

Breakthrough research in a changing world

Bridge Structural Health Monitoring

The Truss Bridge Management System

This product is categorised by