Fundamentals and Standards in Hardware Description Languages

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 Fundamentals of Hardware Description Languages and Declarative Languages
3. Altmetric Badge
   Chapter 2 CONLAN : Presentation of Basic Principles, Applications and Relation to VHDL
4. Altmetric Badge
   Chapter 3 Logic and Arithmetic in Hardware Description Languages
5. Altmetric Badge
   Chapter 4 System Level Design
6. Altmetric Badge
   Chapter 5 Formal proofs from HDL descriptions
7. Altmetric Badge
   Chapter 6 High-Level Synthesis in a Production Environment : Methodology and Algorithms
8. Altmetric Badge
   Chapter 7 Synthesis applications of VHDL
9. Altmetric Badge
   Chapter 8 HDL-Driven Digital Simulation
10. Altmetric Badge
    Chapter 9 Analog and Mixed-Level Simulation with Implications to VHDL
11. Altmetric Badge
    Chapter 10 Rapid Development and Testing of Behavioral Models
12. Altmetric Badge
    Chapter 11 An Introduction to VHDL
13. Altmetric Badge
    Chapter 12 ELLA, a Language for the Design of Digital Systems
14. Altmetric Badge
    Chapter 13 The Hardware Description Language DACAPO III
15. Altmetric Badge
    Chapter 14 CASCADE
16. Altmetric Badge
    Chapter 15 REGLAN
17. Altmetric Badge
    Chapter 16 KARL and ABL