Fundamentals and Standards in Hardware Description Languages -

Fundamentals and Standards in Hardware Description Languages

Jean Mermet (Herausgeber)

Buch | Hardcover
466 Seiten
1993 | 1993 ed.
Springer (Verlag)
978-0-7923-2513-0 (ISBN)
320,99 inkl. MwSt
The second half of this century will remain as the era of proliferation of electronic computers. They did exist before, but they were mechanical. During next century they may perform other mutations to become optical or molecular or even biological. Actually, all these aspects are only fancy dresses put on mathematical machines. This was always recognized to be true in the domain of software, where "machine" or "high level" languages are more or less rigourous, but immaterial, variations of the universaly accepted mathematical language aimed at specifying elementary operations, functions, algorithms and processes. But even a mathematical machine needs a physical support, and this is what hardware is all about. The invention of hardware description languages (HDL's) in the early 60's, was an attempt to stay longer at an abstract level in the design process and to push the stage of physical implementation up to the moment when no more technology independant decisions can be taken. It was also an answer to the continuous, exponential growth of complexity of systems to be designed. This problem is common to hardware and software and may explain why the syntax of hardware description languages has followed, with a reasonable delay of ten years, the evolution of the programming languages: at the end of the 60's they were" Algol like" , a decade later "Pascal like" and now they are "C or ADA-like". They have also integrated the new concepts of advanced software specification languages.

I Fundamentals.- Fundamentals of Hardware Description Languages and Declarative Languages.- CONLAN: Presentation of Basic Principles, applications and relation to VHDL.- Logic and Arithmetic in Hardware Description Languages.- System Level Design.- II Applications to formal proofs, high level synthesis, multilevel simulation and hierarchical testing.- Formal Proofs from HDL Descriptions.- High-Level Synthesis in a Production Environment: Methodology and Algorithms.- Synthesis Applications of VHDL.- HDL-DrivenDigital Simulation.- Analog and Mixed-Level Simulation with Implications to VHDL.- Rapid Development and Testing of Behavioral Models.- III Introduction to Hardware Description Languages implemented in the 80’s.- VHDL.- ELLA.- DACAPO III.- Cascade.- Reglan.- Karl and Abl.

Erscheint lt. Verlag 30.9.1993
Reihe/Serie NATO Science Series E ; 249
Zusatzinfo XII, 466 p.
Verlagsort Dordrecht
Sprache englisch
Maße 155 x 235 mm
Themenwelt Mathematik / Informatik Informatik Theorie / Studium
Technik Elektrotechnik / Energietechnik
ISBN-10 0-7923-2513-3 / 0792325133
ISBN-13 978-0-7923-2513-0 / 9780792325130
Zustand Neuware
Haben Sie eine Frage zum Produkt?
Mehr entdecken
aus dem Bereich
was jeder über Informatik wissen sollte

von Timm Eichstädt; Stefan Spieker

Buch | Softcover (2024)
Springer Vieweg (Verlag)
37,99
Grundlagen – Anwendungen – Perspektiven

von Matthias Homeister

Buch | Softcover (2022)
Springer Vieweg (Verlag)
34,99
Eine Einführung in die Systemtheorie

von Margot Berghaus

Buch | Softcover (2022)
UTB (Verlag)
25,00