Start Over Save to list Export MARC Display MelCat
book jacket

Find in WorldCat
View Library Guide - Computer Science
Conference FDL (Conference) (2012 : Vienna University of Technology)
Title Models, methods, and tools for complex chip design : selected contributions from FDL 2012 / Jan Haase, editor.
Publication Info. Cham : Springer, [2013?]
Location Call No. Status Notes
 Libraries Electronic Books  ELECTRONIC BOOKS-DDA    AVAIL. ONLINE
Description 1 online resource.
Series Lecture notes in electrical engineering ; 265. 1876-1100
Contents Formal Plausibility Checks for Environment -- Efficient Refinement Strategy Exploiting Component Properties in A CEGAR Process -- Formal Specification Level -- Power Estimation Methodology for SystemC -- SystemC Analysis for Nondeterminism Anomalies -- A Design and Verification Methodology for Mixed-Signal Systems Using SystemC-AMS -- Configurable Load Emulation Using FPGA and Power Amplifiers for Automotive Power ICs -- Model Based Design of Distributed Embedded Cyber Physical Systems -- Model-driven Methodology for the Development of Multi-level Executable Environments -- The Concept and Study of Grid Responsiveness -- Polynomial Metamodel-Based Fast Optimization of Nanoscale PLL Components -- Methodology and Example-Driven Interconnect Synthesis for Designing Heterogenous Coarse-Grain Reconfigurable Architectures.
Bibliography Includes bibliographical references.
Reproduction Electronic reproduction. Perth, W.A. Available via World Wide Web.
Note Description based on online resource; title from digital title page (viewed on Nov. 1, 2013).
Subject Embedded computer systems -- Design and construction -- Congresses.
Integrated circuits -- Design and construction -- Congresses.
Added Author Haase, Jan, editor of compilation.
Ebooks Corporation
ISBN 9783319014180 (electronic bk.)
3319014188 (electronic bk.)
Standard No. 10.1007/978-3-319-01418-0 doi
Permanent url for this catalog record: