System Specification and Design Languages

Selected Contributions from FDL 2010

Editors:

ISBN: 978-1-4614-1426-1 (Print) 978-1-4614-1427-8 (Online)

Table of contents (15 chapters)

  1. Front Matter

    Pages i-xii

  2. No Access

    Book Chapter

    Pages 1-20

    Formal Hardware/Software Co-verification of Application Specific Instruction Set Processors

  3. No Access

    Book Chapter

    Pages 21-36

    Evaluating Debugging Algorithms from a Qualitative Perspective

  4. No Access

    Book Chapter

    Pages 37-53

    Mapping of Concurrent Object-Oriented Models to Extended Real-Time Task Networks

  5. No Access

    Book Chapter

    Pages 55-69

    SystemC-A Modelling of Mixed-Technology Systems with Distributed Behaviour

  6. No Access

    Book Chapter

    Pages 71-89

    A Framework for Interactive Refinement of Mixed HW/SW/Analog Systems

  7. No Access

    Book Chapter

    Pages 91-104

    Bottom-up Verification for CMOS Photonic Linear Heterogeneous System

  8. No Access

    Book Chapter

    Pages 105-121

    Towards Abstract Analysis Techniques for Range Based System Simulations

  9. No Access

    Book Chapter

    Pages 123-141

    Modeling Time-Triggered Architecture Based Real-Time Systems Using SystemC

  10. No Access

    Book Chapter

    Pages 143-156

    Towards the Development of a Set of Transaction Level Models A Feature-Oriented Approach

  11. No Access

    Book Chapter

    Pages 157-173

    Rapid Prototyping of Complex HW/SW Systems using a Timing and Power Aware ESL Framework

  12. No Access

    Book Chapter

    Pages 175-190

    Towards Accurate Source-Level Annotation of Low-Level Properties Obtained from Optimized Binary Code

  13. No Access

    Book Chapter

    Pages 191-206

    Architecture Specifications in CλaSH

  14. No Access

    Book Chapter

    Pages 207-222

    SyReC: A Programming Language for Synthesis of Reversible Circuits

  15. No Access

    Book Chapter

    Pages 223-238

    Logical Time @ Work: Capturing Data Dependencies and Platform Constraints

  16. No Access

    Book Chapter

    Pages 239-254

    Formal Support for Untimed MARTE-SystemC Interoperability