Fundamentals and Standards in Hardware Description Languages

Fundamentals and Standards in Hardware Description Languages

Einband:
Kartonierter Einband
EAN:
9789401048460
Untertitel:
NATO Science Series E: 249
Genre:
Informatik
Herausgeber:
Springer Netherlands
Auflage:
Softcover reprint of the original 1st ed. 1993
Anzahl Seiten:
480
Erscheinungsdatum:
05.10.2012
ISBN:
9401048460

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.

Klappentext
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.br/ The first part of emFundamentals and Standards in Hardware Description/em emLanguages/em 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. br/

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


billigbuch.ch sucht jetzt für Sie die besten Angebote ...

Loading...

Die aktuellen Verkaufspreise von 6 Onlineshops werden in Realtime abgefragt.

Sie können das gewünschte Produkt anschliessend direkt beim Anbieter Ihrer Wahl bestellen.


Feedback