عنوان

Models, methods, and tools for complex chip design :selected contributions from FDL 2012

2147

Models, methods, and tools for complex chip design :selected contributions from FDL 2012

1 online resource )xv, 221 pages( : illustrations )some color(

Lecture notes in electrical engineering,6781-0011 ;v.562

Includes bibliographical references

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

Congresses ، Embedded computer systems - Design and construction

Congresses ، Integrated circuits - Design and construction

، Engineering

، Circuits and Systems

، Processor Architectures

، Electronics and Microelectronics, Instrumentation

AU

Jan Haase, editor

AU naJ ,esaaH editor of compilation

TI

SE

SE Lecture notes in electrical engineering ;

FDL )Conference()2012 :Vienna University of Technology(

ل‌ا‌ه دیجیت‌ان‌ابخ‌کت