Articles liés à Formal Semantics and Proof Techniques for Optimizing...

Formal Semantics and Proof Techniques for Optimizing VHDL Models - Couverture souple

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

 
9781461551249: Formal Semantics and Proof Techniques for Optimizing VHDL Models
Couverture souple
ISBN 10 : 1461551242 ISBN 13 : 9781461551249
Editeur : Springer, 2011

L'édition de cet ISBN n'est malheureusement plus disponible.

Synopsis

1. Introduction. 2. Related Work. 3. The Static Model. 4. A Well-Formed VHDL Model. 5. The Reduction Algebra. 6. Completeness of the Reduced Form. 7. Interval Temporal Logic. 8. The Dynamic Model. 9. Applications of the Dynamic Model. 10. A Framework for Proving Equivalences Using PVS. 11. Conclusions. Appendices. References. Index.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Éditeur
Springer
Date d'édition
2011
Langue
anglais
ISBN 10 
1461551242
ISBN 13 
9781461551249
Reliure
Paperback
Coordonnées du fabricant
non disponible
Personne responsable
non disponible

(Aucun exemplaire disponible)

Chercher:



Créez une demande

Vous ne trouvez pas le livre que vous recherchez ? Nous allons poursuivre vos recherches. Si l'un de nos libraires l'ajoute aux offres sur AbeBooks, nous vous le ferons savoir !

Créez une demande

Autres éditions populaires du même titre

9780792383758: Formal Semantics and Proof Techniques for Optimizing VHDL Models

Edition présentée

ISBN 10 :  0792383753 ISBN 13 :  9780792383758
Editeur : Springer, 1998
Couverture rigide