My Library

Limit search to available items
Book Cover
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.
text txt rdacontent
computer c rdamedia
online resource cr rdacarrier
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.)
UPC # 10.1007/978-3-319-01418-0 doi
OCLC # EBC1466644
View Shelf for Similar Items