Hardware Description Languages and Their Applications : Specification, Modelling, Verification and Synthesis of Microelectronic Systems

Carlos Delgado Kloos

ISBN 10: 0412788101 / ISBN 13: 9780412788109

Editore: Springer Us Apr 1997, 1997

Riguardo questo articolo

Neuware - In the past few decades Computer Hardware Description Languages (CHDLs) have been a rapidly expanding subject area due to a number of factors, including the advancing complexity of digital electronics, the increasing prevalence of generic and programmable components of software-hardware and the migration of VLSI design to high level synthesis based on HDLs. Currently the subject has reached the consolidation phase in which languages and standards are being increasingly used, at the same time as the scope is being broadened to additional application areas. This book presents the latest developments in this area and provides a forum from which readers can learn from the past and look forward to what the future holds.

Codice articolo 9780412788109

Dati bibliografici

• Titolo: Hardware Description Languages and Their Applications : Specification, Modelling, Verification and Synthesis of Microelectronic Systems
• Editore: Springer Us Apr 1997
• Data di pubblicazione: 1997
• Lingua: Inglese
• ISBN 10: 0412788101
• ISBN 13: 9780412788109
• Rilegatura: Buch
• Condizione: Neu
• Dimensioni: 238 L x 160 A x 26 P (millimetri) 238 millimetri di larghezza per 160 millimetri di altezza per 26 millimetri di profondità
• Peso: 662 grammi

Descrizione articolo

Riassunto

In the past few decades Computer Hardware Description Languages (CHDLs) have been a rapidly expanding subject area due to a number of factors, including the advancing complexity of digital electronics, the increasing prevalence of generic and programmable components of software-hardware and the migration of VLSI design to high level synthesis based on HDLs. Currently the subject has reached the consolidation phase in which languages and standards are being increasingly used, at the same time as the scope is being broadened to additional application areas. This book presents the latest developments in this area and provides a forum from which readers can learn from the past and look forward to what the future holds.

Contenuti

Specification and design of reactive systems. Verification using model checking techniques. Formal characterizations of systems. Analog languages. Languages in design flows. Future trends in hardware design. Formal methods for aynchronous and distributed systems. VHDL. Index of contributors. Keyword index.