Preface
Part Ⅰ Analog and Mixed-Signal Systems
Introduction
1
Refinement of Mixed-Signal Systems: Between HEAVEN and HELL
2
Mixed Nets, Conversion Models, and VHDL-AMS
3
Monte Carlo Simulation Using VHDL-AMS
4
Prediction of Conducted-Mode Emission of Complex IC's
5
Practical Case Example of Inertial MEMS Modeling with VHDL-AMS
Part Ⅱ UML-Based System Specification and Design
Introduction
6
Metamodels and MDA Transformations for Embedded Systems
7
Model Based Testing and Refinement in MDA Based Development
8
Predictability in Real-time System Development
9
Timing Performances and MDA Approaches
10
UML-Executable Functional Models in VIPERS
Part Ⅲ
Introduction
11
Designing for dynamic reconfigurable FPGAs with SystemC
12
Heterogeneous System-Level Specification in SystemC
13
xHDL:Extending VHDL to Improve Core Parameterization and Reuse
14
SystemC Models for Realistic Simulations Involving Real-Time Operating System Services
15
SystemC and OCAPI-xl Based System-Level Design for RSoCs
Part Ⅳ Invited Contributions
Introduction
16
Symbolic Model Checking and Simulation with Temporal Assertions
17
Automotive System Design and AUTOSAR
鄂公网安备 42010302001612号 