Boulet Advances in Design and Specification Languages for SoCs
1. Auflage 2006
ISBN: 978-0-387-26151-5
Verlag: Springer US
Format: PDF
Kopierschutz: 1 - PDF Watermark
Selected Contributions from FDL'04
E-Book, Englisch, 305 Seiten, Web PDF
Reihe: Engineering
ISBN: 978-0-387-26151-5
Verlag: Springer US
Format: PDF
Kopierschutz: 1 - PDF Watermark
Zielgruppe
Research
Autoren/Hrsg.
Weitere Infos & Material
Analog and Mixed-Signal Systems.- Refinement of Mixed-Signal Systems: Between Heaven and Hell.- Mixed Nets, Conversion Models, and VHDL-AMS.- Monte Carlo Simulation Using VHDL-AMS.- Early Prediction of Conducted-Mode Emission of Complex Ic’s.- Practical Case Example of Inertial Mems Modeling with VHDL-AMS.- UML-Based System Specification and Design.- Metamodels and MDA Transformations for Embedded Systems.- Model Based Testing and Refinement in MDA Based Development.- Predictability in Real-Time System Development.- Timing Performances of Automatically Generated Code Using MDA Approaches.- UML-Executable Functional Models of Electronic Systems in the VIPERS Virtual Prototyping Methodology.- C/C++-Based System Design.- Designing for Dynamic Partially Reconfigurable FPGAS with Systemc and OSSS.- Heterogeneous System-Level Specification in Systemc.- xHDL: Extending VHDL to Improve Core Parameterization and Reuse.- Systemc Models for Realistic Simulations Involving Real-Time Operating System Services.- Systemc and OCAPI-XL Based System-Level Design for Reconfigurable Systems-on-Chip.- Invited Contributions.- Symbolic Model Checking and Simulation with Temporal Assertions.- Automotive System Design and Autosar.
