+612 9045 4394
Fundamentals and Standards in Hardware Description Languages : Nato Science Series E: - Jean Mermet

Fundamentals and Standards in Hardware Description Languages

Nato Science Series E:

By: Jean Mermet (Editor)

Hardcover Published: 30th September 1993
ISBN: 9780792325130
Number Of Pages: 466

Share This Book:


RRP $1272.99
or 4 easy payments of $220.31 with Learn more
Ships in 7 to 10 business days

Other Available Editions (Hide)

  • Paperback View Product Published: 5th October 2012

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.

Fundamentals of Hardware Description Languages and Declarative Languagesp. 3
CONLAN: Presentation of Basic Principles, applications and relation to VHDLp. 39
Logic and Arithmetic in Hardware Description Languagesp. 79
System Level Designp. 109
Formal Proofs from HDL Descriptionsp. 155
High-Level Synthesis in a Production Environment: Methodology and Algorithmsp. 195
Synthesis Applications of VHDLp. 231
HDL-Driven Digital Simulationp. 263
Analog and Mixed-Level Simulation with Implications to VHDLp. 281
Rapid Development and Testing of Behavioral Modelsp. 331
VHDLp. 359
ELLAp. 385
REGLANp. 431
KARL and ABLp. 447
Table of Contents provided by Blackwell. All Rights Reserved.

ISBN: 9780792325130
ISBN-10: 0792325133
Series: Nato Science Series E:
Audience: Professional
Format: Hardcover
Language: English
Number Of Pages: 466
Published: 30th September 1993
Publisher: Springer
Country of Publication: NL
Dimensions (cm): 23.5 x 15.5  x 2.69
Weight (kg): 1.88