片上系统的设计和描述语言

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