FDL (Selected Papers)

Keyphrases

Publications

volume 530, 2019

Languages, Design Methods, and Tools for Electronic System Design - Selected Contributions from FDL 2017 [Verona, Italy, September 18-20, 2017] FDL (Selected Papers) 530 (2019)

2017

Andrey Mokhov, Alessandro de Gennaro, Ghaith Tarawneh, Jonny Wray, Georgy Lukyanov, Sergey Mileiko, Joe Scott, Alex Yakovlev, Andrew Brown
Language and Hardware Acceleration Backend for Graph Processing. FDL (Selected Papers) (2017)
Guillaume Baudart, Timothy Bourke, Marc Pouzet
Symbolic Simulation of Dataflow Synchronous Programs with Timers. FDL (Selected Papers) (2017)
Enrico Fraccaroli, Francesco Stefanni, Franco Fummi, Mark Zwolinski
Fault Analysis in Analog Circuits Through Language Manipulation and Abstraction. FDL (Selected Papers) (2017)
Arthur Kalsing, Laurent Fesquet, Chouki Aktouf
A Methodology for Automated Consistency Checking Between Different Power-Aware Descriptions. FDL (Selected Papers) (2017)
Stefano Centomo, Michele Lora, Antonio Portaluri, Francesco Stefanni, Franco Fummi
Automatic Integration of HDL IPs in Simulink Using FMI and S-Function Interfaces. FDL (Selected Papers) (2017)
Vladimir Herdt, Hoang M. Le, Daniel Große, Rolf Drechsler
Towards Early Validation of Firmware-Based Power Management Using Virtual Prototypes: A Constrained Random Approach. FDL (Selected Papers) (2017)

volume 265, 2014

Models, Methods, and Tools for Complex Chip Design - Selected Contributions from FDL 2012 FDL (Selected Papers) 265 (2014)

2012

volume 36, 2009

Languages for Embedded Systems and their Applications - Selected Contributions on Specification, Design, and Verification from FDL'08, September 23-25, 2008, Stuttgart, Germany FDL (Selected Papers) 36 (2009)

2008