Advances in Design and Specification Languages for SoCs
Boulet, Pierre.
Advances in Design and Specification Languages for SoCs Selected Contributions from FDL’04 / [electronic resource] : edited by Pierre Boulet. - X, 305 p. online resource.
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.
9780387261515
10.1007/b136935 doi
Engineering.
Software engineering.
Computer simulation.
Computer aided design.
Electronics.
Systems engineering.
Engineering.
Circuits and Systems.
Electronic and Computer Engineering.
Computer-Aided Engineering (CAD, CAE) and Design.
Electronics and Microelectronics, Instrumentation.
Simulation and Modeling.
Special Purpose and Application-Based Systems.
TK7888.4
621.3815
Advances in Design and Specification Languages for SoCs Selected Contributions from FDL’04 / [electronic resource] : edited by Pierre Boulet. - X, 305 p. online resource.
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.
9780387261515
10.1007/b136935 doi
Engineering.
Software engineering.
Computer simulation.
Computer aided design.
Electronics.
Systems engineering.
Engineering.
Circuits and Systems.
Electronic and Computer Engineering.
Computer-Aided Engineering (CAD, CAE) and Design.
Electronics and Microelectronics, Instrumentation.
Simulation and Modeling.
Special Purpose and Application-Based Systems.
TK7888.4
621.3815