2006

Applications of Specification and Design Languages for SoCs

Selected papers from FDL 2005

Editors:

ISBN: 978-1-4020-4997-2 (Print) 978-1-4020-4998-9 (Online)

Table of contents (17 chapters)

  1. Front Matter

    Pages i-xxii

  2. Specification, Design, and Verification Methods

    1. Front Matter

      Pages 1-4

    2. No Access

      Book Chapter

      Pages 5-22

      PSL-Based Online Monitoring of Digital Systems

    3. No Access

      Book Chapter

      Pages 23-38

      Refining Synchronous Communication onto Network-on-Chip Best-Effort Services

  3. C/C++-Based System Design

    1. Front Matter

      Pages 40-42

    2. No Access

      Book Chapter

      Pages 43-59

      Behaviour Separation: A High-Level Methodology Applicable in the SystemC Environment

    3. No Access

      Book Chapter

      Pages 61-81

      Mixing Synchronous Reactive and Untimed MoCs in SystemC

    4. No Access

      Book Chapter

      Pages 83-99

      Interface-Centric Abstraction Level for Rapid Hardware/Software Integration

    5. No Access

      Book Chapter

      Pages 101-114

      Efficient and Customizable Integration of Temporal Properties into SystemC

    6. No Access

      Book Chapter

      Pages 115-130

      UMoC++: A C++-Based Multi-MoC Modeling Environment

  4. Analog, Mixed-Signal, and Heterogeneous System Design

    1. Front Matter

      Pages 132-134

    2. No Access

      Book Chapter

      Pages 135-153

      Creating Virtual Prototypes of Complex MEMS Transducers Using Reduced-Order Modelling Methods and VHDL-AMS

    3. No Access

      Book Chapter

      Pages 155-169

      Modeling Uncertainty in Nonlinear Analog Systems with Affine Arithmetic

    4. No Access

      Book Chapter

      Pages 171-185

      SystemC-WMS: Mixed-Signal Simulation Based on Wave Exchanges

    5. No Access

      Book Chapter

      Pages 187-203

      Automatic Generation of a Coverification Platform

    6. No Access

      Book Chapter

      Pages 205-225

      UML/XML-Based Approach to Hierarchical AMS Synthesis

  5. UML-Based System Specification and Design

    1. Front Matter

      Pages 228-230

    2. No Access

      Book Chapter

      Pages 231-246

      Compiled and Synthesized UML

    3. No Access

      Book Chapter

      Pages 247-262

      Property-Preservation Synthesis for Unified Control- and Data-Oriented Models

    4. No Access

      Book Chapter

      Pages 263-276

      Traceability and Interoperability at Different Levels of Abstraction in Model-Driven Engineering

    5. No Access

      Book Chapter

      Pages 277-294

      Power Simulation of Communication Protocols with StateC

    6. No Access

      Book Chapter

      Pages 295-312

      Integrating Model-Checking with UML-Based SoC Development