000			03295nam a22004095i 4500
999			_c102319 _d102319
001			102319
003			DE-He213
005			20230102113035.0
006			a||||fo|||| 00| 0
007			cr nn 008mamaa
008			171110s2018 gw | s |||| 0|eng d
020			_a9783319629209
024	7		_a10.1007/978-3-319-62920-9 _2doi
040			_bspa _cES-MaUEC _dES-MaUEC
050		4	_aQA76.9.F67 _bL364 2018 EB
245	1	0	_aLanguages, Design Methods, and Tools for Electronic System Design _bSelected Contributions from FDL 2016 _cedited by Franco Fummi, Robert Wille.
264		1	_aCham _bSpringer International Publishing _c2018
300			_a1 recurso en línea (VII, 116 páginas 61 ilustraciones, 48 ilustraciones a color.)
336			_2rdacontent _aTexto _btxt
337			_2rdamedia _aelectrónico _bc
338			_2rdacarrier _arecurso electrónico _bcr
347			_atext file _bPDF
490	0		_aLecture Notes in Electrical Engineering, _x1876-1100 _v454
490	0		_aEngineering (Springer-11647)
505	0		_aChapter1. Knowing Your AMS System's Limits: System Acceptance Region Exploration by Using Automated Model Refinement and Accelerated Simulation -- Chapter2. Designing Reliable Cyber-Physical Systems -- Chapter3. On the Application of Formal Fault Localization to Automated RTL-to-TLM Fault Correspondence Analysis for Fast and Accurate VP-based Error Effect Simulation - A Case Study -- Chapter4. Selective Abstraction and Stochastic Methods for Scalable Power Modelling of Heterogeneous Systems -- Chapter5. Feature based State Space Coverage of Analog Circuits -- Chapter6. Error-free Near-threshold Adiabatic CMOS Logic in Presence of Process Variation.
520	3		_aThis book brings together a selection of the best papers from the nineteenth edition of the Forum on specification and Design Languages Conference (FDL), which took place on September 14-16, 2016, in Bremen, Germany. FDL is a well-established international forum devoted to dissemination of research results, practical experiences and new ideas in the application of specification, design and verification languages to the design, modeling and verification of integrated circuits, complex hardware/software embedded systems, and mixed-technology systems. · Covers analog-mixed signal design techniques; · Includes descriptions of methods for reliable system design as well as fault localization; · Introduces stochastic methods for power modeling; · Covers design techniques for analog and adiabatic circuits.
988			_aEBSPRINGER_2018
650		7	_2embne _aOrdenadores _9138111
700	1		_aFummi, Franco. _eeditor literario _4edt _4http://id.loc.gov/vocabulary/relators/edt _1http://viaf.org/viaf/45151836567520401051/
700	1		_999113 _aWille, Robert _eeditor literario _4edt _4http://id.loc.gov/vocabulary/relators/edt _0http://id.loc.gov/authorities/names/nb2010029916 _1http://viaf.org/viaf/24773049/
776	0	8	_iEdición impresa: _z9783319629193
776	0	8	_iEdición impresa: _z9783319629216
776	0	8	_iEdición impresa: _z9783319874296
856	4	0	_uhttps://go.openathens.net/redirector/universidadeuropea.es?url=https://doi.org/10.1007/978-3-319-62920-9 _zAcceso a este recurso digital (usuarios Universidad Europea de Madrid)
942			_2lcc _cLE