Languages, Design Methods, and Tools for Electronic System Design Selected Contributions from FDL 2016 /

This book brings together a selection of the best papers from the nineteenth edition of the Forum on specification and Design Languages Conference (FDL), which took place on September 14-16, 2016, in Bremen, Germany. FDL is a well-established international forum devoted to dissemination of research...

Full description

Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Fummi, Franco (Editor), Wille, Robert (Editor)
Format: e-Book
Language:English
Published: Cham : Springer International Publishing : 2018.
Imprint: Springer,
Edition:1st ed. 2018.
Series:Lecture Notes in Electrical Engineering, 454
Subjects:
Electronic circuits.
Microprocessors.
Computer architecture.
Electronics.
Electronic Circuits and Systems.
Processor Architectures.
Electronics and Microelectronics, Instrumentation.
Online Access:Full-text access
Table of Contents:
  • Chapter1. Knowing Your AMS System's Limits: System Acceptance Region Exploration by Using Automated Model Refinement and Accelerated Simulation
  • Chapter2. Designing Reliable Cyber-Physical Systems
  • Chapter3. On the Application of Formal Fault Localization to Automated RTL-to-TLM Fault Correspondence Analysis for Fast and Accurate VP-based Error Effect Simulation - A Case Study
  • Chapter4. Selective Abstraction and Stochastic Methods for Scalable Power Modelling of Heterogeneous Systems
  • Chapter5. Feature based State Space Coverage of Analog Circuits
  • Chapter6. Error-free Near-threshold Adiabatic CMOS Logic in Presence of Process Variation.

Similar Items