Error title
Some error text about your books and stuff.
Close

Formal Semantics and Proof Techniques for Optimizing Vhdl Models

by Philip A. Wilsey

  • ISBN: 9780792383758
  • ISBN10: 0792383753

Formal Semantics and Proof Techniques for Optimizing Vhdl Models

by Philip A. Wilsey

  • List Price: $179.99
  • Binding: Hardcover
  • Publisher: Kluwer Academic Pub
  • Publish date: 11/01/1998
  • ISBN: 9780792383758
  • ISBN10: 0792383753
used Add to Cart $15.58
You save: 91%
Marketplace Item
new Add to Cart $141.67
You save: 21%
FREE economy shipping!
Description: 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.

Expand description
Seller Condition Comments Price  
Seller: Owls Books
Location: Toledo, OH
Condition: Very Good
Shows some signs of wear from usage. Is no longer bright/shinny. Edge wear from storage and shelving.
Price:
$15.58
Comments:
Shows some signs of wear from usage. Is no longer bright/shinny. Edge wear from storage and shelving.
Seller: Michener & Rutledge Bookseller
Location: Baldwin City, KS
Condition: Very Good
Shipping Icon
0792383753. Text clean and solid; no dust jacket; 158 pages.
Price:
$28.12
Comments:
0792383753. Text clean and solid; no dust jacket; 158 pages.
Seller: Ergodebooks
Location: Richmond, TX Ask seller a question
Condition: Good
Buy with confidence. Excellent Customer Service & Return policy.Ships Fast. 24*7 Customer Service.
Price:
$38.18
Comments:
Buy with confidence. Excellent Customer Service & Return policy.Ships Fast. 24*7 Customer Service.
Seller: Ergodebooks
Location: Richmond, TX Ask seller a question
Condition: New
Buy with confidence. Excellent Customer Service & Return policy.Ships Fast. 24*7 Customer Service.
Price:
$50.20
Comments:
Buy with confidence. Excellent Customer Service & Return policy.Ships Fast. 24*7 Customer Service.
please wait
Please Wait

Notify Me When Available

Enter your email address below,
and we'll contact you when your school adds course materials for
.
Enter your email address below, and we'll contact you when is back in stock (ISBN: ).