FDL

Publications

2023

Luigi Capogrosso, Alessio Mascolini, Federico Girella, Geri Skenderi, Sebastiano Gaiardelli, Nicola Dall'Ora, Francesco Ponzio, Enrico Fraccaroli, Santa Di Cataldo, Sara Vinco, Enrico Macii, Franco Fummi, Marco Cristani
Neuro-Symbolic Empowered Denoising Diffusion Probabilistic Models for Real-Time Anomaly Detection in Industry 4.0: Wild-and-Crazy-Idea Paper. FDL (2023)
Vivek Govindasamy, Rainer Dömer
Instruction-Level Modeling and Evaluation of a Cache-Less Grid of Processing Cells. FDL (2023)
Jeremy Pope, Carl-Johan H. Seger
Bifröst: Creating Hardware With Building Blocks. FDL (2023)
Felix Böseler, Jörg Walter
A Flexible Graph Language for a Model-Based Semi-Automatic CGRA Compilation Flow. FDL (2023)
Markus Plattner, Chedi Fassi, Florian Kreiner, Jintin Frank, Philipp Radecker, Markus Zimmermann
Satellite Payload Design for Optimized Thermal Management Using a Distributed Processor System. FDL (2023)
Jan Zielasko, Rolf Drechsler
Virtual Prototype Driven Application Specific Hardware Optimization. FDL (2023)
Daniele Jahier Pagliari, Matteo Risso, Beatrice Alessandra Motetti, Alessio Burrello
PLiNIO: A User-Friendly Library of Gradient-Based Methods for Complexity-Aware DNN Optimization. FDL (2023)
Frans Skarman, Lucas Klemmer, Oscar Gustafsson, Daniel Große
Enhancing Compiler-Driven HDL Design with Automatic Waveform Analysis. FDL (2023)
Sören Tempel, Tobias Brandt, Christoph Lüth, Rolf Drechsler
Minimally Invasive Generation of RISC-V Instruction Set Simulators from Formal ISA Models. FDL (2023)
Alessandro Beghi, Nicola Dall'Ora, Davide Dalle Pezze, Franco Fummi, Chiara Masiero, Stefano Spellini, Gian Antonio Susto, Francesco Tosoni
VIR2EM: VIrtualization and Remotization for Resilient and Efficient Manufacturing: Project-Dissemination Paper. FDL (2023)
Milan Funck, Sallar Ahmadi-Pour, Vladimir Herdt, Rolf Drechsler
Identification of ISA-Level Mutation-Classes for Qualification of RISC-V Formal Verification. FDL (2023)
Marcel Christian Werner, Klaus Schneider
Formal Methods-Based Optimization of Dataflow Models with Translation to Synchronous Models. FDL (2023)
Christopher A. Metz, Christina Plump, Bernhard J. Berger, Rolf Drechsler
Hybrid PTX Analysis for GPU accelerated CNN inferencing aiding Computer Architecture Design. FDL (2023)
Forum on Specification & Design Languages, FDL 2023, Turin, Italy, September 13-15, 2023 FDL (2023)
Hokeun Kim
Secure Programming Platform for Edge-Based IoT: Wild-and-Crazy-Idea Paper. FDL (2023)

2022

2021

2020