2005

Advances in Design and Specification Languages for SoCs

Selected Contributions from FDL’04

Editors:

ISBN: 978-0-387-26149-2 (Print) 978-0-387-26151-5 (Online)

Table of contents (21 chapters)

previous Page of 2
  1. Analog and Mixed-Signal Systems

    1. Front Matter

      Pages 1-1

    2. No Access

      Book Chapter

      Pages 3-4

      Introduction

    3. No Access

      Book Chapter

      Pages 5-20

      Refinement of Mixed-Signal Systems: Between Heaven and Hell

    4. No Access

      Book Chapter

      Pages 21-39

      Mixed Nets, Conversion Models, and VHDL-AMS

    5. No Access

      Book Chapter

      Pages 41-54

      Monte Carlo Simulation Using VHDL-AMS

    6. No Access

      Book Chapter

      Pages 55-67

      Early Prediction of Conducted-Mode Emission of Complex Ic’s

    7. No Access

      Book Chapter

      Pages 69-84

      Practical Case Example of Inertial Mems Modeling with VHDL-AMS

  2. UML-Based System Specification and Design

    1. Front Matter

      Pages 85-85

    2. No Access

      Book Chapter

      Pages 87-88

      Introduction

    3. No Access

      Book Chapter

      Pages 89-105

      Metamodels and MDA Transformations for Embedded Systems

    4. No Access

      Book Chapter

      Pages 107-122

      Model Based Testing and Refinement in MDA Based Development

    5. No Access

      Book Chapter

      Pages 123-139

      Predictability in Real-Time System Development

    6. No Access

      Book Chapter

      Pages 141-159

      Timing Performances of Automatically Generated Code Using MDA Approaches

    7. No Access

      Book Chapter

      Pages 161-178

      UML-Executable Functional Models of Electronic Systems in the VIPERS Virtual Prototyping Methodology

  3. C/C++-Based System Design

    1. Front Matter

      Pages 179-179

    2. No Access

      Book Chapter

      Pages 181-182

      Introduction

    3. No Access

      Book Chapter

      Pages 183-198

      Designing for Dynamic Partially Reconfigurable FPGAS with Systemc and OSSS

    4. No Access

      Book Chapter

      Pages 199-216

      Heterogeneous System-Level Specification in Systemc

    5. No Access

      Book Chapter

      Pages 217-235

      xHDL: Extending VHDL to Improve Core Parameterization and Reuse

    6. No Access

      Book Chapter

      Pages 237-253

      Systemc Models for Realistic Simulations Involving Real-Time Operating System Services

    7. No Access

      Book Chapter

      Pages 255-269

      Systemc and OCAPI-XL Based System-Level Design for Reconfigurable Systems-on-Chip

  4. Invited Contributions

    1. Front Matter

      Pages 271-271

    2. No Access

      Book Chapter

      Pages 273-273

      Introduction

    3. No Access

      Book Chapter

      Pages 275-291

      Symbolic Model Checking and Simulation with Temporal Assertions

previous Page of 2