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

Ful tanımlama

Detaylı Bibliyografya
Müşterek Yazar: SpringerLink (Online service)
Diğer Yazarlar: Fummi, Franco (Editör), Wille, Robert (Editör)
Materyal Türü: e-Kitap
Dil:İngilizce
Baskı/Yayın Bilgisi: Cham : Springer International Publishing : 2018.
Imprint: Springer,
Edisyon:1st ed. 2018.
Seri Bilgileri:Lecture Notes in Electrical Engineering, 454
Konular:
Electronic circuits.
Microprocessors.
Computer architecture.
Electronics.
Electronic Circuits and Systems.
Processor Architectures.
Electronics and Microelectronics, Instrumentation.
Online Erişim:Full-text access
İçindekiler:
  • 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.

Benzer Materyaller