Skip to main content
SpringerLink
Log in

Models, Methods, and Tools for Complex Chip Design

Selected Contributions from FDL 2012

  • Conference proceedings
  • © 2014

Overview

Editors:
  1. Jan Haase

    1. Institute of Computer Technology, Vienna University of Technology, Vienna, Austria

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • 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)
  • Includes supplementary material: sn.pub/extras

Part of the book series: Lecture Notes in Electrical Engineering (LNEE, volume 265)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 129.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 169.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 169.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (12 papers)

  1. Front Matter

    Pages i-xv
    Download chapter PDF

  2. Formal Plausibility Checks for Environment Constraints

    • Binghao Bao, Jörg Bormann, Markus Wedler, Dominik Stoffel, Wolfgang Kunz
    Pages 1-16

  3. Efficient Refinement Strategy Exploiting Component Properties in a CEGAR Process

    • Syed Hussein S. Alwi, Cécile Braunstein, Emmanuelle Encrenaz
    Pages 17-36

  4. Formal Specification Level

    • Rolf Drechsler, Mathias Soeken, Robert Wille
    Pages 37-52

  5. TLM POWER3: Power Estimation Methodology for SystemC TLM 2.0

    • David Greaves, Mehboob Yasin
    Pages 53-68

  6. SCandal: SystemC Analysis for Nondeterminism Anomalies

    • Jan Henrik Weinstock, Christoph Schumacher, Rainer Leupers, Gerd Ascheid
    Pages 69-88

  7. A Design and Verification Methodology for Mixed-Signal Systems Using SystemC-AMS

    • Yao Li, Ramy Iskander, Farakh Javid, Marie-Minerve Louërat
    Pages 89-108

  8. Configurable Load Emulation Using FPGA and Power Amplifiers for Automotive Power ICs

    • Manuel Harrant, Thomas Nirmaier, Christoph Grimm, Georg Pelz
    Pages 109-126

  9. Model Based Design of Distributed Embedded Cyber Physical Systems

    • Javier Moreno Molina, Markus Damm, Jan Haase, Edgar Holleis, Christoph Grimm
    Pages 127-143

  10. Model-Driven Methodology for the Development of Multi-level Executable Environments

    • Fernando Herrera, Pablo Penil, Hector Posadas, Eugenio Villar
    Pages 145-164

  11. GREEN HOME: The Concept and Study of Grid Responsiveness

    • Slobodanka Tomic, Jan Haase, Goran Lazendic
    Pages 165-178

  12. Polynomial Metamodel-Based Fast Optimization of Nanoscale PLL Components

    • Saraju P. Mohanty, Elias Kougianos
    Pages 179-199

  13. Methodology and Example-Driven Interconnect Synthesis for Designing Heterogeneous Coarse-Grain Reconfigurable Architectures

    • Johann Glaser, Clifford Wolf
    Pages 201-221
Back to top

Keywords

About this book

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.

Editors and Affiliations

  • Institute of Computer Technology, Vienna University of Technology, Vienna, Austria

    Jan Haase

Bibliographic Information

  • Book Title: Models, Methods, and Tools for Complex Chip Design

  • Book Subtitle: Selected Contributions from FDL 2012

  • Editors: Jan Haase

  • Series Title: Lecture Notes in Electrical Engineering

  • DOI: https://doi.org/10.1007/978-3-319-01418-0

  • Publisher: Springer Cham

  • eBook Packages: Engineering, Engineering (R0)

  • Copyright Information: Springer International Publishing Switzerland 2014

  • Hardcover ISBN: 978-3-319-01417-3Published: 01 October 2013

  • Softcover ISBN: 978-3-319-34823-0Published: 23 August 2016

  • eBook ISBN: 978-3-319-01418-0Published: 18 September 2013

  • Series ISSN: 1876-1100

  • Series E-ISSN: 1876-1119

  • Edition Number: 1

  • Number of Pages: XV, 221

  • Number of Illustrations: 37 b/w illustrations, 57 illustrations in colour

  • Topics: Circuits and Systems, Processor Architectures, Electronics and Microelectronics, Instrumentation

Publish with us

Policies and ethics

Back to top

Search

Navigation