2003

System Specification & Design Languages

Best of FDL’02

Editors:

ISBN: 978-1-4020-7414-1 (Print) 978-0-306-48734-7 (Online)

Table of contents (27 chapters)

previous Page of 2
  1. Analog and Mixed-Signal System Design

    1. No Access

      Book Chapter

      Pages 5-17

      Selected Topics in Mixed-Signal Simulation

    2. No Access

      Book Chapter

      Pages 19-28

      Mixed-Signal Extensions for SystemC

    3. No Access

      Book Chapter

      Pages 29-40

      Mixed-Domain Modeling in Modelica

    4. No Access

      Book Chapter

      Pages 41-50

      VHDL-AMS and Verilog-AMS as Competitive Solutions

    5. No Access

      Book Chapter

      Pages 51-60

      VHDL-AMS in MEMS Design Flow

    6. No Access

      Book Chapter

      Pages 61-73

      A New Approach to Model Generation for Nonlinear Mixed-Signal Circuits in the Behavioral and Functional Domain

    7. No Access

      Book Chapter

      Pages 75-84

      Multi-Level Analog/Mixed-Signal IP Specification for Platform-Based Design

  2. UML System Specification and Design

    1. No Access

      Book Chapter

      Pages 87-106

      A UML Profile for Real-Time System Modelling with Rate Monotonic Analysis

    2. No Access

      Book Chapter

      Pages 107-118

      Support for Embedded Systems in UML 2.0

    3. No Access

      Book Chapter

      Pages 119-128

      Embedded System Design using UML and Platforms

    4. No Access

      Book Chapter

      Pages 129-141

      A Design Methodology for the Development of a Complex System-On-Chip Using UML and Executable System Models

    5. No Access

      Book Chapter

      Pages 143-160

      Using the SHE Method for UML-Based Performance Modeling

    6. No Access

      Book Chapter

      Pages 161-171

      SystemC Code Generation from UML Models

    7. No Access

      Book Chapter

      Pages 173-182

      Hardware Dependent Software, the Bridge Between Hardware and Software

  3. C/C++-Based System Design

    1. No Access

      Book Chapter

      Pages 185-194

      C/C++ Based System Design Flow using SpecC, VCC and SystemC

    2. No Access

      Book Chapter

      Pages 195-205

      Verification of Synchronization in SpecC Description with the Use of Difference Decision Diagrams

    3. No Access

      Book Chapter

      Pages 207-217

      Automatic Generation of Scheduled SystemC Models of Embedded Systems from Extended Task Graphs

    4. No Access

      Book Chapter

      Pages 219-229

      SystemC-Plus Complex Data Types for Telecom Applications

    5. No Access

      Book Chapter

      Pages 231-242

      A Method for the Development of Combined Floating- and Fixed-Point SystemC Models

    6. No Access

      Book Chapter

      Pages 243-253

      Object-Oriented High-Level Modeling of an Infiniband to PCI-X Bridge

previous Page of 2