Cargando…
Advances in Design and Specification Languages for SoCs Selected Contributions from FDL'04 /
| Clasificación: | Libro Electrónico |
|---|---|
| Autor Corporativo: | |
| Otros Autores: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
New York, NY :
Springer US : Imprint: Springer,
2005.
|
| Edición: | 1st ed. 2005. |
| Temas: | |
| Acceso en línea: | Texto Completo |
Tabla de Contenidos:
- 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.