Formal Semantics and Proof Techniques for Optimizing VHDL Models

Name: Formal Semantics and Proof Techniques for Optimizing VHDL Models
Brand: Springer-Verlag New York Inc.
SKU: 9781461373315
Price: 100.0 EUR
Availability: InStock

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

Jazyk:

Väzba: Brožovaná

Vydavateľ: Springer-Verlag New York Inc.

Dostupnosť: Skladom u dodávateľa

Odosielame za 5-8 dní

100.00 €

Written expressly for hardware designers, this book presents a formal model of VHDL clearly specifyi...

Informácie o knihe

Autor

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

Jazyk

Angličtina

Väzba

Kniha - Brožovaná

Vydalo

1998

Stránok

158

EAN

9781461373315

ISBN

146137331X

Enbook ID

06796876

Vydavateľ

Springer-Verlag New York Inc.

Hmotnosť

290

Rozmery

155 x 235 x 11

Kompletný popis

Written expressly for hardware designers, this book presents a formal model of VHDL clearly specifying 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.

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Formal Semantics and Proof Techniques for Optimizing VHDL Models

Informácie o knihe

Kompletný popis

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež