عنوان

Fundamentals and Standards in Hardware Description Languages

شابک

9401048460

شابک

9401119147

شابک

9789401048460

شابک

9789401119146

شماره

b594949

عنوان اصلي

Fundamentals and Standards in Hardware Description Languages

نام عام مواد

[Book]

نام نخستين پديدآور

edited by Jean P. Mermet.

محل نشرو پخش و غیره

Dordrecht

نام ناشر، پخش کننده و غيره

Springer Netherlands : Imprint : Springer

تاریخ نشرو بخش و غیره

1993

نام خاص و کميت اثر

(484 pages)

عنوان فروست

NATO ASI series., Series E,, Applied sciences ;, 249.

متن يادداشت

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.

متن يادداشت

Ultimately, every theoretical 'mathematical machine' needs translation into a physical form, and this is what hardware is all about. The invention of hardware description languages (HDLs) in the early 1960s was an attempt to remain at an abstract level in the design process, pushing the stage of physical implementation to the point at which no more technology-independent decisions need to be made. It was also an answer to the continuous, exponential growth in the complexity of the systems to be designed. This complexity has meant that systems have become unmanageable in human terms, requiring CAD support. Furthermore, HDL descriptions remain 'implementation free', although increasingly precise and complete, meaning that the same system can undergo successive implementations over several technological generations.
The first part of Fundamentals and Standards in Hardware Description Languages takes a look back over several decades, describing the mathematics, high level language concepts and system level methodology. This helps the reader to assimilate the theoretical background to the advanced application domains of HDLs, which are dealt with in the second part of the book. The third part provides a sampling of the most recent, fully implemented HDLs, demonstrating how new concepts can become a reality, how long it takes, and how long it will take to complete HDL up to the present level of knowledge.

عنوان اصلي به زبان ديگر

Proceedings of the NATO Advanced Study Institute, Il Ciocco, Barga, Italy, April 16-26, 1993

موضوع مستند نشده

Computer science.

موضوع مستند نشده

Computer-aided design.

موضوع مستند نشده

Engineering.

مستند نام اشخاص تاييد نشده

edited by Jean P. Mermet.

مستند نام اشخاص تاييد نشده

Jean P Mermet

نام الکترونيکي

نوع ماده

[Book]

تكميل شده

Y