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

 
9780412788109: Hardware Description Languages and Their Applications: Specification, Modelling, Verification and Synthesis of Microelectronic Systems
Rilegato
ISBN 10: 0412788101 ISBN 13: 9780412788109
Casa editrice: SPRINGER NATURE, 1997

Sinossi

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.

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

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.

Product Description

Book by None

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

Editore
SPRINGER NATURE
Data di pubblicazione
1997
Lingua
Inglese
ISBN 10 
0412788101
ISBN 13 
9780412788109
Rilegatura
Copertina rigida
Numero di pagine
350
Redattore
Delgado Kloos Carlos, Cerny Eduard
Contatto del produttore
non disponibile
Persona responsabile
Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com

Europaplatz 3,69115 Heidelberg, Germany
Heidelberg
69115
Germania

Altre edizioni note dello stesso titolo

9781475753875: Hardware Description Languages and their Applications: Specification, modelling, verification and synthesis of microelectronic systems

Edizione in evidenza

ISBN 10:  147575387X ISBN 13:  9781475753875
Casa editrice: Springer, 2013
Brossura