000			02987nam a22005295i 4500
001			978-0-387-26151-5
003			DE-He213
005			20161121231013.0
007			cr nn 008mamaa
008			100301s2005 xxu| s |||| 0|eng d
020			_a9780387261515 _9978-0-387-26151-5
024	7		_a10.1007/b136935 _2doi
050		4	_aTK7888.4
072		7	_aTJFC _2bicssc
072		7	_aTEC008010 _2bisacsh
082	0	4	_a621.3815 _223
245	1	0	_aAdvances in Design and Specification Languages for SoCs _h[electronic resource] : _bSelected Contributions from FDL’04 / _cedited by Pierre Boulet.
264		1	_aBoston, MA : _bSpringer US, _c2005.
300			_aX, 305 p. _bonline resource.
336			_atext _btxt _2rdacontent
337			_acomputer _bc _2rdamedia
338			_aonline resource _bcr _2rdacarrier
347			_atext file _bPDF _2rda
505	0		_aAnalog 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.
650		0	_aEngineering.
650		0	_aComputers.
650		0	_aComputer simulation.
650		0	_aComputer-aided engineering.
650		0	_aElectrical engineering.
650		0	_aElectronics.
650		0	_aMicroelectronics.
650		0	_aElectronic circuits.
650	1	4	_aEngineering.
650	2	4	_aCircuits and Systems.
650	2	4	_aTheory of Computation.
650	2	4	_aElectrical Engineering.
650	2	4	_aComputer-Aided Engineering (CAD, CAE) and Design.
650	2	4	_aElectronics and Microelectronics, Instrumentation.
650	2	4	_aSimulation and Modeling.
700	1		_aBoulet, Pierre. _eeditor.
710	2		_aSpringerLink (Online service)
773	0		_tSpringer eBooks
776	0	8	_iPrinted edition: _z9780387261492
856	4	0	_uhttp://dx.doi.org/10.1007/b136935
912			_aZDB-2-ENG
950			_aEngineering (Springer-11647)
999			_c507127 _d507127