Models, Methods, and Tools for Complex Chip Design: Selected Contributions from FDL 2012

✍ Scribed by Binghao Bao, Jörg Bormann, Markus Wedler (auth.), Jan Haase (eds.)

• Publisher: Springer International Publishing
• Year: 2014
• Tongue: English
• Leaves: 235
• Series: Lecture Notes in Electrical Engineering 265
• Edition: 1
• Category: Library

✦ Synopsis

This book brings together a selection of the best papers from the fifteenth edition of the Forum on specification and Design Languages Conference (FDL), which was held in September 2012 at Vienna University of Technology, Vienna, Austria. FDL is a well-established international forum devoted to dissemination of research results, practical experiences and new ideas in the application of specification, design and verification languages to the design, modeling and verification of integrated circuits, complex hardware/software embedded systems, and mixed-technology systems.

✦ Table of Contents

Front Matter....Pages i-xv
Formal Plausibility Checks for Environment Constraints....Pages 1-16
Efficient Refinement Strategy Exploiting Component Properties in a CEGAR Process....Pages 17-36
Formal Specification Level....Pages 37-52
TLM POWER3: Power Estimation Methodology for SystemC TLM 2.0....Pages 53-68
SCandal: SystemC Analysis for Nondeterminism Anomalies....Pages 69-88
A Design and Verification Methodology for Mixed-Signal Systems Using SystemC-AMS....Pages 89-108
Configurable Load Emulation Using FPGA and Power Amplifiers for Automotive Power ICs....Pages 109-126
Model Based Design of Distributed Embedded Cyber Physical Systems....Pages 127-143
Model-Driven Methodology for the Development of Multi-level Executable Environments....Pages 145-164
GREEN HOME: The Concept and Study of Grid Responsiveness....Pages 165-178
Polynomial Metamodel-Based Fast Optimization of Nanoscale PLL Components....Pages 179-199
Methodology and Example-Driven Interconnect Synthesis for Designing Heterogeneous Coarse-Grain Reconfigurable Architectures....Pages 201-221

✦ Subjects

Circuits and Systems; Processor Architectures; Electronics and Microelectronics, Instrumentation