Login

Haase, Jan

Models, Methods, and Tools for Complex Chip Design

Haase, Jan - Models, Methods, and Tools for Complex Chip Design, ebook

132,70€

Ebook, PDF with Adobe DRM
ISBN: 9783319014180
DRM Restrictions

PrintingNot allowed
Copy to clipboardNot allowed

Table of contents

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

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

Author(s)
Publisher
Springer
Publication year
2014
Language
en
Edition
2014
Series
Lecture Notes in Electrical Engineering
Category
Technology, Energy, Traffic
Format
Ebook
eISBN (PDF)
9783319014180

Similar titles