Limit search to available items
Book Cover
E-book
Author FDL (Conference) (2012 : Vienna, Austria)

Title Models, methods, and tools for complex chip design : selected contributions from FDL 2012 / Jan Haase, editor
Published Cham : Springer, [2013?]
©2014
Online access available from:
Springer eBooks    View Resource Record  

Copies

Description 1 online resource (xv, 221 pages) : illustrations (some color)
Series Lecture notes in electrical engineering, 1876-1100 ; v. 265
Lecture notes in electrical engineering ; 265. 1876-1100
Contents Formal Plausibility Checks for Environment Constraints / Binghao Bao, Jörg Bormann, Markus Wedler, Dominik Stoffel and Wolfgang Kunz -- Efficient Refinement Strategy Exploiting Component Properties in a CEGAR Process / Syed Hussein S. Alwi, Cécile Braunstein and Emmanuelle Encrenaz -- Formal Specification Level / Rolf Drechsler, Mathias Soeken and Robert Wille -- TLM POWER3: Power Estimation Methodology for SystemC TLM 2.0 / David Greaves and Mehboob Yasin -- SCandal: SystemC Analysis for Nondeterminism Anomalies / Jan Henrik Weinstock, Christoph Schumacher, Rainer Leupers and Gerd Ascheid -- A Design and Verification Methodology for Mixed-Signal Systems Using SystemC-AMS / Yao Li, Ramy Iskander, Farakh Javid and Marie-Minerve Louërat -- Configurable Load Emulation Using FPGA and Power Amplifiers for Automotive Power ICs / Manuel Harrant, Thomas Nirmaier, Christoph Grimm and Georg Pelz -- Model Based Design of Distributed Embedded Cyber Physical Systems / Javier Moreno Molina, Markus Damm, Jan Haase, Edgar Holleis and Christoph Grimm -- Model-Driven Methodology for the Development of Multi-level Executable Environments / Fernando Herrera, Pablo Penil, Hector Posadas and Eugenio Villar -- GREEN HOME: The Concept and Study of Grid Responsiveness / Slobodanka Tomic, Jan Haase and Goran Lazendic -- Polynomial Metamodel-Based Fast Optimization of Nanoscale PLL Components / Saraju P. Mohanty and Elias Kougianos -- Methodology and Example-Driven Interconnect Synthesis for Designing Heterogeneous Coarse-Grain Reconfigurable Architectures / Johann Glaser and Clifford Wolf
Summary 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. Covers Assertion Based Design, Verification & Debug; Includes language-based modeling and design techniques for embedded systems; Covers design, modeling and verification of mixed physical domain and mixed signal systems that include significant analog parts in electrical and non-electrical domains; Includes formal and semi-formal system level design methods for complex embedded systems based on the Unified Modelling Language (UML) and Model Driven Engineering (MDE)
Bibliography Includes bibliographical references
Notes Online resource; title from PDF title page (SpringerLink, viewed September 24, 2013)
Subject Embedded computer systems -- Design and construction -- Congresses.
Integrated circuits -- Design and construction -- Congresses.
Genre/Form Conference papers and proceedings.
Conference papers and proceedings.
Form Electronic book
Author Haase, Jan, editor
ISBN 331901417X
3319014188 (electronic bk.)
9783319014173
9783319014180 (electronic bk.)