Features on this page require JavaScript.

Please enable JavaScript in your browser to continue.

Shop byCategory
My Account
  • All Categories

Formal Semantics for VHDL

Formal Semantics for VHDL
Rakuten Super Points™
5% Back until 10/31/2017 11:59 PM
Earn 49,995 ($499.95) in points! Details

Sold Out We're sorry! This product is not for sale now.

Usually ships in 2 business days
Please select options before adding to Wish List
Shipping Options: Details
United States:

Product Information


It is recognized that formal design and verification methods are an important requirement for the attainment of high quality system designs. The field has evolved enormously during the last few years, resulting in the fact that formal design and verification methods are nowadays supported by several tools, both commercial and academic. If different tools and users are to generate and read the same language then it is necessary that the same semantics is assigned by them to all constructs and elements of the language. The current IEEE standard VHDL language reference manual (LRM) tries to define VHDL as well as possible in a descriptive way, explaining the semantics in English. But rigor and clarity are very hard to maintain in a semantics defined in this way, and that has already given rise to many misconceptions and contradictory interpretations. Formal Semantics for VHDL is the first book that puts forward a cohesive set of semantics for the VHDL language. The chapters describe several semantics each based on a different underlying formalism: two of them use Petri nets as target language, and two of them higher order logic. Two use functional concepts, and finally another uses the concept of evolving algebras. Formal Semantics for VHDL is essential reading for researchers in formal methods and can be used as a text for an advanced course on the subject. *Author: Kloos, Carlos D./ Delgado Kloos, Carlos/ Breuer, P. *Series Title: Kluwer International Series in Engineering & Computer Science *Series Number: 307 *Binding Type: Hardcover *Number of Pages: 264 *Publication Date: 1995/02/28 *Language: English *Dimensions: 9.21 x 6.14 x 0.63 inches

Product Attributes:
  • Number of Pages : 0264
  • Publisher : Springer
  • Series Part : 307
  • Book Format : Hardcover


Brand Springer Gabler
Manufacturer Springer Gabler
MPN 9780792395522
Base SKU UBM9780792395522
ISBN 0792395522

Shipping Options:


Usually delivers in 3 - 10 business days after shipment

Return and Tax Policies

Return Policy:
Our return policy is one of the most highly rated today. Unbeatablesale.com has a money back guaranty on products returned within 30 days. In order to receive proper credit on your return, please contact us for an RA. Once you receive an RA all items must be returned within 30 days of receiving your order. We do not accept returns after 30 days. If the package is refused or returned without our issuing of an RA or without the RA # on it, a restocking fee will be applied. We will be unable to refund your cost of the original shipping if you decide that you do not want the order after it has already been submitted.
Please note: We do not issue prepaid return labels. All returns must be in their original carton with all packing material intact. All returns must be sent freight prepaid by the customer and insured. Orders refused at delivery will be assessed all of the applicable fees listed above including the return fee, our shipping costs and a 25% restocking fee.
If the items is damaged in transit or DOA an exchange will be made or refund issued. 

Please Note:
1) For all Furniture items we will replace any parts that are damaged but the item may not returned if there is buyer’s remorse.

2) We will not accept returns on Sports related autographed Memorabilia and Collectables or on any custom made items such as any customized car mats or childrens furniture.

3) We will not accept returns on any Shavers, Personal Care items, Cosmetics or Intimate products that have been opened.

4) We will not accept returns on any Software, Video Games, Computer Parts, or Laptop/PC's.

5) We will not accept returns on any Costumes purchased from Aug. 1 until Oct 30. - after October 30. Also, We will not accept any returns at all for any Wigs, Makeup, Tights or Shoes that have been worn.

Tax Policy:
New Jersey state residents are subject to sales tax.
Back to Top

Get Rewarded

5% Back
by Get 5% back sitewide

You can use on your next purchase at the rate of 100 points = $1.00.
You must be a Rakuten member to receive points.



What is a refurbished product?
A refurbished product refers to an item that was returned to the seller or manufacturer. These items are tested for quality and verified to perform like a new product. Refurbished products also contain the original or equivalent accessories of a new product. Other retailers may refer to refurbished products as factory-reconditioned, recertified or repackaged.

Where can I find refurbished products on Rakuten.com?
Refurbished products are marked as Refurbished in the product title and the Condition field. You can also filter your search results to only include refurbished products by selecting Condition: Refurbished on the Search sidebar.
Request ID: 95c5adf2f9d6efab03f1a1c33c484121