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...

Celý popis

Uloženo v:
Podrobná bibliografie
Médium: Elektronický zdroj E-kniha
Jazyk:angličtina
Vydáno: Cham : Springer International Publishing, 2018.
Vydání:1st ed. 2018.
Edice:Lecture Notes in Electrical Engineering, 454
Témata:
ISBN:9783319629209
ISSN:1876-1100 ;
On-line přístup: Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Obsah:
  • 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.