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

This book brings together a selection of the best papers from the twentiethedition of the Forum on specification and Design Languages Conference (FDL), which took place on September 18-20, 2017, in Verona, Italy. FDL is a well-established international forum devoted to dissemination of research resu...

Ful tanımlama

Detaylı Bibliyografya
Müşterek Yazar: SpringerLink (Online service)
Diğer Yazarlar: Große, Daniel (Editör), Vinco, Sara (Editör), Patel, Hiren (Editör)
Materyal Türü: e-Kitap
Dil:İngilizce
Baskı/Yayın Bilgisi: Cham : Springer International Publishing : 2019.
Imprint: Springer,
Edisyon:1st ed. 2019.
Seri Bilgileri:Lecture Notes in Electrical Engineering, 530
Konular:
Electronic circuits.
Microprocessors.
Computer architecture.
Electronics.
Electronic Circuits and Systems.
Processor Architectures.
Electronics and Microelectronics, Instrumentation.
Online Erişim:Full-text access
İçindekiler:
  • 1. Automatic Integration of HDL IPs in Simulinkusing FMI and S-Function Interfaces
  • 2. Towards Early Validation of Firmware-Based Power Management using Virtual Prototypes: A Constrained Random Approach
  • 3. Symbolic Simulation of Dataflow Synchronous Programs with Timers
  • 4. Language and Hardware Acceleration Backend for Graph Processing
  • 5. Fault Analysis in Analog Circuits through Language Manipulation and Abstraction
  • 6. A Methodology for Automated Consistency Checking Between Different Power-Aware Descriptions.

Benzer Materyaller