Models, Methods, and Tools for Complex Chip Design

1. Formal Plausibility Checks for Environment Constraints
Binghao Bao, Jörg Bormann, Markus Wedler, Dominik Stoffel, Wolfgang Kunz

2. Efficient Refinement Strategy Exploiting Component Properties in a CEGAR Process
Syed Hussein S. Alwi, Cécile Braunstein, Emmanuelle Encrenaz

3. Formal Specification Level
Rolf Drechsler, Mathias Soeken, Robert Wille

4. TLM POWER3: Power Estimation Methodology for SystemC TLM 2.0
David Greaves, Mehboob Yasin

5. SCandal: SystemC Analysis for Nondeterminism Anomalies
Jan Henrik Weinstock, Christoph Schumacher, Rainer Leupers, Gerd Ascheid

6. A Design and Verification Methodology for Mixed-Signal Systems Using SystemC-AMS
Yao Li, Ramy Iskander, Farakh Javid, Marie-Minerve Louërat

7. Configurable Load Emulation Using FPGA and Power Amplifiers for Automotive Power ICs
Manuel Harrant, Thomas Nirmaier, Christoph Grimm, Georg Pelz

8. Model Based Design of Distributed Embedded Cyber Physical Systems
Javier Moreno Molina, Markus Damm, Jan Haase, Edgar Holleis, Christoph Grimm

9. Model-Driven Methodology for the Development of Multi-level Executable Environments
Fernando Herrera, Pablo Penil, Hector Posadas, Eugenio Villar

10. GREEN HOME: The Concept and Study of Grid Responsiveness
Slobodanka Tomic, Jan Haase, Goran Lazendic

11. Polynomial Metamodel-Based Fast Optimization of Nanoscale PLL Components
Saraju P. Mohanty, Elias Kougianos

12. Methodology and Example-Driven Interconnect Synthesis for Designing Heterogeneous Coarse-Grain Reconfigurable Architectures
Johann Glaser, Clifford Wolf

Avainsanat: Engineering, Circuits and Systems, Processor Architectures, Electronics and Microelectronics, Instrumentation