Fundamentals and Standards in Hardware Description Languages
Springer (Verlag)
978-0-7923-2513-0 (ISBN)
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? |
aus dem Bereich