Articoli correlati a Formal Semantics and Proof Techniques for Optimizing...

Formal Semantics and Proof Techniques for Optimizing VHDL Models - Brossura

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

 
9781461551249: Formal Semantics and Proof Techniques for Optimizing VHDL Models
Brossura
ISBN 10: 1461551242 ISBN 13: 9781461551249
Casa editrice: Springer, 2011

Al momento non sono disponibili copie per questo codice ISBN.

Sinossi

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.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Editore
Springer
Data di pubblicazione
2011
Lingua
Inglese
ISBN 10 
1461551242
ISBN 13 
9781461551249
Rilegatura
Paperback
Contatto del produttore
non disponibile
Persona responsabile
non disponibile