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
鄂公網(wǎng)安備 42010302001612號(hào) 