عنوان

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

Standard Number

2147

Title Proper

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

Specific Material Designation and Extent of Item

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

Series Title

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

Text of Note

Includes bibliographical references

Text of Note

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

Entry Element

Congresses ، Embedded computer systems - Design and construction

Entry Element

Congresses ، Integrated circuits - Design and construction

Entry Element

، Engineering

Entry Element

، Circuits and Systems

Entry Element

، Processor Architectures

Entry Element

، Electronics and Microelectronics, Instrumentation

Number

Class number

Relator Code

AU

Entry Element

Jan Haase, editor

AU naJ ,esaaH editor of compilation

TI

SE

SE Lecture notes in electrical engineering ;

Entry Element

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

Shelving Form of Title, Author, Author/Title

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