000 04320nam a22005175i 4500
001 978-1-4020-4998-9
003 DE-He213
005 20161121231112.0
007 cr nn 008mamaa
008 100301s2006 ne | s |||| 0|eng d
020 _a9781402049989
_9978-1-4020-4998-9
024 7 _a10.1007/978-1-4020-4998-9
_2doi
050 4 _aTK7888.4
072 7 _aTJFC
_2bicssc
072 7 _aTEC008010
_2bisacsh
082 0 4 _a621.3815
_223
245 1 0 _aApplications of Specification and Design Languages for SoCs
_h[electronic resource] :
_bSelected papers from FDL 2005 /
_cedited by A. Vachoux.
264 1 _aDordrecht :
_bSpringer Netherlands,
_c2006.
300 _aXXII, 312 p.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
505 0 _aSpecification, Design, and Verification Methods -- PSL-Based Online Monitoring of Digital Systems -- Refining Synchronous Communication onto Network-on-Chip Best-Effort Services -- C/C++-Based System Design -- Behaviour Separation: A High-Level Methodology Applicable in the SystemC Environment -- Mixing Synchronous Reactive and Untimed MoCs in SystemC -- Interface-Centric Abstraction Level for Rapid Hardware/Software Integration -- Efficient and Customizable Integration of Temporal Properties into SystemC -- UMoC++: A C++-Based Multi-MoC Modeling Environment -- Analog, Mixed-Signal, and Heterogeneous System Design -- Creating Virtual Prototypes of Complex MEMS Transducers Using Reduced-Order Modelling Methods and VHDL-AMS -- Modeling Uncertainty in Nonlinear Analog Systems with Affine Arithmetic -- SystemC-WMS: Mixed-Signal Simulation Based on Wave Exchanges -- Automatic Generation of a Coverification Platform -- UML/XML-Based Approach to Hierarchical AMS Synthesis -- UML-Based System Specification and Design -- Compiled and Synthesized UML -- Property-Preservation Synthesis for Unified Control- and Data-Oriented Models -- Traceability and Interoperability at Different Levels of Abstraction in Model-Driven Engineering -- Power Simulation of Communication Protocols with StateC -- Integrating Model-Checking with UML-Based SoC Development.
520 _aApplications of Specification and Design Languages for SoCs includes a selection of the best contributions to the Forum on Specification and Design Languages held in 2005 (FDL'05). Since its inception in 1998, FDL has established itself as the premier European forum to exchange experiences and learn about new trends in the application of languages and models for the specification and modeling of electronic systems. This book provides detailed insights into recent works dealing with a large spectrum of issues in system-on-chip design, namely: assertion-based design, mapping on network-on-chip architectures, use of C/C++/SystemC design methodologies, hardware/software integration, mixing heterogeneous models of computation, analog/mixed-signal/mixed-technology system design and verification, UML/XML-based synthesis of analog and mixed-signal systems, UML to VHDL mapping, UML-based performance modeling, model transformation and formal verification, real-time system models, and Model Driven Architecture. All chapters in Applications of Specification and Design Languages for SoCs have been carefully revised and extended to offer up-to-date information. They also constitute excellent seeds for further researches and developments in the field of heterogeneous systems-on-chip design.
650 0 _aEngineering.
650 0 _aComputer hardware.
650 0 _aEngineering design.
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 _aElectrical Engineering.
650 2 4 _aEngineering Design.
650 2 4 _aElectronics and Microelectronics, Instrumentation.
650 2 4 _aComputer Hardware.
700 1 _aVachoux, A.
_eeditor.
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
776 0 8 _iPrinted edition:
_z9781402049972
856 4 0 _uhttp://dx.doi.org/10.1007/978-1-4020-4998-9
912 _aZDB-2-ENG
950 _aEngineering (Springer-11647)
999 _c508601
_d508601