Beschreibung
Inhaltsangabe1. A Flexible Generator of Component Models. 2. What Makes an ASIC Library Sign-Off? 3. A Case History in Building Vital-Compliant Models. 4. Modeling Multiple Driver Net Delay in Simulation. 5. DELPHI: the Development of Libraries of Physical Models of Electronic Components for an Integrated Design Environment. 6. VHDL Floating Point Operations. 7. Symbolic Model Checking with Past and Future Temporal Modalities: Fundamentals and Algorithms. 8. KRYPTON: Portable, Non-Reversible Encryption for VHDL. Index.
Inhalt
1. A Flexible Generator of Component Models. 2. What Makes an ASIC Library Sign-Off? 3. A Case History in Building Vital-Compliant Models. 4. Modeling Multiple Driver Net Delay in Simulation. 5. DELPHI: the Development of Libraries of Physical Models of Electronic Components for an Integrated Design Environment. 6. VHDL Floating Point Operations. 7. Symbolic Model Checking with Past and Future Temporal Modalities: Fundamentals and Algorithms. 8. KRYPTON: Portable, Non-Reversible Encryption for VHDL. Index.
Informationen gemäß Produktsicherheitsverordnung
Hersteller:
Springer Verlag GmbH
juergen.hartmann@springer.com
Tiergartenstr. 17
DE 69121 Heidelberg
