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

The Computer Hardware Description Languages' conference originated under IEEE/ACM sponsorship and since 1981 has been organized by IFIP Working Group 10.2 (now WG 10.5). Its general topic has had a significant history with over 100 HDLs published in the 1970s. Since the mid-1980s, HDLs have become commonplace in system design and VLSI. This can be attributed to many factors including the advancing complexity of digital electronics, leading to more sophisticated modelling, simulation and verification tools; the migration of VLSI design to high-level synthesis based on HDLs; advances in microelectronics CAD towards support of system-level design; and the increasing prevalence of generic and programmable components, of software-hardware and mixed digital-analogue hybrid designs. Presently, we are in a consolidation phase, in which languages and standards are increasingly being used, while the scope is being broadened to additional application areas (such as analogue, microwave or system-level design). This book should be of interest to engineers dealing with Hardware Design and Electronic Design Automation; manufacturers of computer systems and telecommunication equipment; and also to students and lecturers in electrical and computer engineering and computer science departments.

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
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