Limit search to available items
Book Cover
E-book
Author FDL'04 (2004 : Lille, France)

Title Advances in design and specification languages for SoCs : selected contributions from FDL'04 / edited by Pierre Boulet
Published Dordrecht, Netherlands : Springer, [2005]
©2005
Online access available from:
Springer eBooks    View Resource Record  

Copies

Description 1 online resource (x, 305 pages) : illustrations
Series The ChDL series
ChDL series.
Contents 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
Bibliography Includes bibliographical references
Notes Print version record
Subject Computer hardware description languages -- Congresses.
Integrated circuits -- Very large scale integration -- Design and construction -- Congresses.
Systems on a chip -- Congresses.
Genre/Form Conference papers and proceedings.
Conference papers and proceedings.
Form Electronic book
Author Boulet, Pierre.
LC no. 2006275149
ISBN 0387261494 (hd. bd.)
0387261516
6610618925
9780387261492 (hd. bd.)
9780387261515
9786610618927