Verwandte Artikel zu Formal Semantics and Proof Techniques for Optimizing...

Formal Semantics and Proof Techniques for Optimizing VHDL Models - Softcover

 
9781461373315: Formal Semantics and Proof Techniques for Optimizing VHDL Models

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Reseña del editor

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.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Gebraucht kaufen

Zustand: Wie neu
Like New
Diesen Artikel anzeigen

EUR 28,84 für den Versand von Vereinigtes Königreich nach Deutschland

Versandziele, Kosten & Dauer

Gratis für den Versand innerhalb von/der Deutschland

Versandziele, Kosten & Dauer

Weitere beliebte Ausgaben desselben Titels

9780792383758: Formal Semantics and Proof Techniques for Optimizing VHDL Models

Vorgestellte Ausgabe

ISBN 10:  0792383753 ISBN 13:  9780792383758
Verlag: Springer, 1998
Hardcover

Suchergebnisse für Formal Semantics and Proof Techniques for Optimizing...

Foto des Verkäufers

Kothanda Umamageswaran
ISBN 10: 146137331X ISBN 13: 9781461373315
Neu Taschenbuch
Print-on-Demand

Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Taschenbuch. Zustand: Neu. This item is printed on demand - Print on Demand Titel. Neuware -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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 184 pp. Englisch. Bestandsnummer des Verkäufers 9781461373315

Verkäufer kontaktieren

Neu kaufen

EUR 106,99
Währung umrechnen
Versand: Gratis
Innerhalb Deutschlands
Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb

Foto des Verkäufers

Kothanda Umamageswaran
Verlag: Springer US Okt 2012, 2012
ISBN 10: 146137331X ISBN 13: 9781461373315
Neu Taschenbuch
Print-on-Demand

Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 184 pp. Englisch. Bestandsnummer des Verkäufers 9781461373315

Verkäufer kontaktieren

Neu kaufen

EUR 106,99
Währung umrechnen
Versand: Gratis
Innerhalb Deutschlands
Versandziele, Kosten & Dauer

Anzahl: 2 verfügbar

In den Warenkorb

Foto des Verkäufers

Kothanda Umamageswaran
Verlag: Springer US, 2012
ISBN 10: 146137331X ISBN 13: 9781461373315
Neu Taschenbuch

Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. Bestandsnummer des Verkäufers 9781461373315

Verkäufer kontaktieren

Neu kaufen

EUR 109,94
Währung umrechnen
Versand: Gratis
Innerhalb Deutschlands
Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Umamageswaran, Kothanda; Pandey, Sheetanshu L.; Wilsey, Philip A.
Verlag: Springer, 2012
ISBN 10: 146137331X ISBN 13: 9781461373315
Neu Softcover

Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: New. In. Bestandsnummer des Verkäufers ria9781461373315_new

Verkäufer kontaktieren

Neu kaufen

EUR 115,98
Währung umrechnen
Versand: EUR 5,74
Von Vereinigtes Königreich nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: Mehr als 20 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Umamageswaran, Kothanda
Verlag: Springer, 2012
ISBN 10: 146137331X ISBN 13: 9781461373315
Neu Softcover
Print-on-Demand

Anbieter: Brook Bookstore On Demand, Napoli, NA, Italien

Verkäuferbewertung 4 von 5 Sternen 4 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: new. Questo è un articolo print on demand. Bestandsnummer des Verkäufers 29a4072bf66c19a7a8878c4fdbd5e4de

Verkäufer kontaktieren

Neu kaufen

EUR 86,24
Währung umrechnen
Versand: EUR 40,00
Von Italien nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: Mehr als 20 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Kothanda Umamageswaran
ISBN 10: 146137331X ISBN 13: 9781461373315
Neu Paperback / softback
Print-on-Demand

Anbieter: THE SAINT BOOKSTORE, Southport, Vereinigtes Königreich

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Paperback / softback. Zustand: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 320. Bestandsnummer des Verkäufers C9781461373315

Verkäufer kontaktieren

Neu kaufen

EUR 134,77
Währung umrechnen
Versand: EUR 5,59
Von Vereinigtes Königreich nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: Mehr als 20 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Umamageswaran, Kothanda; Pandey, Sheetanshu L.; Wilsey, Philip A.
Verlag: Springer, 2012
ISBN 10: 146137331X ISBN 13: 9781461373315
Neu Softcover

Anbieter: Lucky's Textbooks, Dallas, TX, USA

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: New. Bestandsnummer des Verkäufers ABLIING23Mar2716030033810

Verkäufer kontaktieren

Neu kaufen

EUR 102,78
Währung umrechnen
Versand: EUR 64,49
Von USA nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: Mehr als 20 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Umamageswaran, Kothanda, Pandey, Sheetanshu L., Wilsey, Phil
Verlag: Springer, 2012
ISBN 10: 146137331X ISBN 13: 9781461373315
Gebraucht Paperback

Anbieter: dsmbooks, Liverpool, Vereinigtes Königreich

Verkäuferbewertung 4 von 5 Sternen 4 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Paperback. Zustand: Like New. Like New. book. Bestandsnummer des Verkäufers D8F0-0-M-146137331X-6

Verkäufer kontaktieren

Gebraucht kaufen

EUR 160,52
Währung umrechnen
Versand: EUR 28,84
Von Vereinigtes Königreich nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb