Advances in Design and Specification Languages for SoCs Selected Contributions from FDL’04 /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Boulet, Pierre (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Boston, MA : Springer US, 2005.
• Θέματα: Engineering.; Computers.; Computer simulation.; Computer-aided engineering.; Electrical engineering.; Electronics.; Microelectronics.; Electronic circuits.; Circuits and Systems.; Theory of Computation.; Electrical Engineering.; Computer-Aided Engineering (CAD, CAE) and Design.; Electronics and Microelectronics, Instrumentation.; Simulation and Modeling.

Πίνακας περιεχομένων:

• 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.