A Pseudo-Deterministic Functional ATPG based on EFSM Traversing. - Giuseppe Di Guglielmo; Franco Fummi; Cristina Marconcini; Graziano Pravadelli (MTV, 2005)

FATE: a Functional ATPG to Traverse Unstabilized EFSMs. - Giuseppe Di Guglielmo; Franco Fummi; Cristina Marconcini; Graziano Pravadelli (ETS, 2006)

EFSM Manipulation to Increase High-Level ATPG Effectiveness. - Giuseppe Di Guglielmo; Franco Fummi; Cristina Marconcini; Graziano Pravadelli (ISQED, 2006)

Improving Gate-Level ATPG by Traversing Concurrent EFSMs. - Giuseppe Di Guglielmo; Franco Fummi; Cristina Marconcini; Graziano Pravadelli (VTS, 2006)

Improving high-level and gate-level testing with FATE: A functional automatic test pattern generator traversing unstabilised extended FSM. - Giuseppe Di Guglielmo; Franco Fummi; Cristina Marconcini; Graziano Pravadelli (IET Comput. Digit. Tech., 2007)

The role of parallel simulation in functional verification. - Giuseppe Di Guglielmo; Franco Fummi; Mark Hampton; Graziano Pravadelli; Francesco Stefanni (HLDVT, 2008)

The impact of EFSM composition on functional ATPG. - Davide Bresolin; Giuseppe Di Guglielmo; Franco Fummi; Graziano Pravadelli; Tiziano Villa (DDECS, 2009)

On the Functional Qualification of a Platform Model. - Giuseppe Di Guglielmo; Franco Fummi; Graziano Pravadelli; Mark Hampton; Florian Letombe (DFT, 2009)

On the validation of embedded systems through functional ATPG. - Giuseppe Di Guglielmo (2009)

RTOS-aware refinement for TLM2.0-based HW/SW designs. - Markus Becker 001; Giuseppe Di Guglielmo; Franco Fummi; Wolfgang Müller 003; Graziano Pravadelli; Tao Xie 006 (DATE, 2010)

HIFSuite: Tools for HDL code conversion and manipulation. - Nicola Bombieri; Giuseppe Di Guglielmo; Luigi Di Guglielmo; Michele Ferrari; Franco Fummi; Graziano Pravadelli; Francesco Stefanni; Alessandro Venturelli (HLDVT, 2010)

Semi-formal functional verification by EFSM traversing via NuSMV. - Giuseppe Di Guglielmo; Franco Fummi; Graziano Pravadelli; Stefano Soffia; Marco Roveri (HLDVT, 2010)

Mutation analysis with high-level decision diagrams. - Hanno Hantson; Jaan Raik; Maksim Jenihhin; Anton Chepurov; Raimund Ubar; Giuseppe Di Guglielmo; Franco Fummi (LATW, 2010)

HIFSuite: Tools for HDL Code Conversion and Manipulation. - Nicola Bombieri; Giuseppe Di Guglielmo; Michele Ferrari; Franco Fummi; Graziano Pravadelli; Francesco Stefanni; Alessandro Venturelli (EURASIP J. Embed. Syst., 2010)

Optimization of Assertion Placement in Time-Constrained Embedded Systems. - Viacheslav Izosimov; Michele Lora; Graziano Pravadelli; Franco Fummi; Zebo Peng; Giuseppe Di Guglielmo; Masahiro Fujita (ETS, 2011)

Interactive presentation abstract: Assertion-based verification in embedded-software design. - Giuseppe Di Guglielmo; Luigi Di Guglielmo; Franco Fummi; Graziano Pravadelli (HLDVT, 2011)

Model-driven design and validation of embedded software. - Giuseppe Di Guglielmo; Masahiro Fujita; Luigi Di Guglielmo; Franco Fummi; Graziano Pravadelli; Cristina Marconcini; Andreas Foltinek (AST, 2011)

EFSM-based model-driven approach to concolic testing of system-level design. - Giuseppe Di Guglielmo; Masahiro Fujita; Franco Fummi; Graziano Pravadelli; Stefano Soffia (MEMOCODE, 2011)

Efficient Generation of Stimuli for Functional Verification by Backjumping Across Extended FSMs. - Giuseppe Di Guglielmo; Luigi Di Guglielmo; Franco Fummi; Graziano Pravadelli (J. Electron. Test., 2011)

Dynamic property mining for embedded software. - Marco Bonato; Giuseppe Di Guglielmo; Masahiro Fujita; Franco Fummi; Graziano Pravadelli (CODES+ISSS, 2012)

A testbench specification language for SystemC verification. - Giuseppe Di Guglielmo; Graziano Pravadelli (CODES+ISSS, 2012)

Enabling dynamic assertion-based verification of embedded software through model-driven design. - Giuseppe Di Guglielmo; Luigi Di Guglielmo; Franco Fummi; Graziano Pravadelli (DATE, 2012)

On the use of assertions for embedded-software dynamic verification. - Giuseppe Di Guglielmo; Luigi Di Guglielmo; Franco Fummi; Graziano Pravadelli (DDECS, 2012)

Combining dynamic slicing and mutation operators for ESL correction. - Urmas Repinski; Hanno Hantson; Maksim Jenihhin; Jaan Raik; Raimund Ubar; Giuseppe Di Guglielmo; Graziano Pravadelli; Franco Fummi (ETS, 2012)

Accurate profiling of oracles for self-checking time-constrained embedded software. - Simone Bronuzzi; Giuseppe Di Guglielmo; Franco Fummi; Graziano Pravadelli (HLDVT, 2012)

On the Reuse of TLM Mutation Analysis at RTL. - Valerio Guarnieri; Giuseppe Di Guglielmo; Nicola Bombieri; Graziano Pravadelli; Franco Fummi; Hanno Hantson; Jaan Raik; Maksim Jenihhin; Raimund Ubar (J. Electron. Test., 2012)

Time-Constraint-Aware Optimization of Assertions in Embedded Software. - Viacheslav Izosimov; Giuseppe Di Guglielmo; Michele Lora; Graziano Pravadelli; Franco Fummi; Zebo Peng; Masahiro Fujita (J. Electron. Test., 2012)

Automatic generation of compact formal properties for effective error detection. - Michele Bertasi; Giuseppe Di Guglielmo; Graziano Pravadelli (CODES+ISSS, 2013)

Efficient fault simulation through dynamic binary translation for dependability analysis of embedded software. - Giuseppe Di Guglielmo; Davide Ferraretto; Franco Fummi; Graziano Pravadelli (ETS, 2013)

On the integration of model-driven design and dynamic assertion-based verification for embedded software. - Giuseppe Di Guglielmo; Luigi Di Guglielmo; Andreas Foltinek; Masahiro Fujita; Franco Fummi; Cristina Marconcini; Graziano Pravadelli (J. Syst. Softw., 2013)

System-level memory optimization for high-level synthesis of component-based SoCs. - Christian Pilato; Paolo Mantovani; Giuseppe Di Guglielmo; Luca P. Carloni (CODES+ISSS, 2014)

A Design Methodology for Compositional High-Level Synthesis of Communication-Centric SoCs. - Giuseppe Di Guglielmo; Christian Pilato; Luca P. Carloni (DAC, 2014)

An Analysis of Accelerator Coupling in Heterogeneous Architectures. - Emilio G. Cota; Paolo Mantovani; Giuseppe Di Guglielmo; Luca P. Carloni (DAC, 2015)

High-level synthesis of accelerators in embedded scalable platforms. - Paolo Mantovani; Giuseppe Di Guglielmo; Luca P. Carloni (ASP-DAC, 2016)

Handling large data sets for high-performance embedded applications in heterogeneous systems-on-chip. - Paolo Mantovani; Emilio G. Cota; Christian Pilato; Giuseppe Di Guglielmo; Luca P. Carloni (CASES, 2016)

On the design of scalable and reusable accelerators for big data applications. - Christian Pilato; Qirui Xu; Paolo Mantovani; Giuseppe Di Guglielmo; Luca P. Carloni (Conf. Computing Frontiers, 2016)

An FPGA-based infrastructure for fine-grained DVFS analysis in high-performance embedded systems. - Paolo Mantovani; Emilio G. Cota; Kevin Tien; Christian Pilato; Giuseppe Di Guglielmo; Kenneth L. Shepard; Luca P. Carloni (DAC, 2016)

Broadening the exploration of the accelerator design space in embedded scalable platforms. - Luca Piccolboni; Paolo Mantovani; Giuseppe Di Guglielmo; Luca P. Carloni (HPEC, 2017)

System-Level Optimization of Accelerator Local Memory for Heterogeneous Systems-on-Chip. - Christian Pilato; Paolo Mantovani; Giuseppe Di Guglielmo; Luca P. Carloni (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2017)

COSMOS: Coordination of High-Level Synthesis and Memory Optimization for Hardware Accelerators. - Luca Piccolboni; Paolo Mantovani; Giuseppe Di Guglielmo; Luca P. Carloni (ACM Trans. Embed. Comput. Syst., 2017)

Design and Implementation of a Dynamic Information Flow Tracking Architecture to Secure a RISC-V Core for IoT Applications. - Christian Palmiero; Giuseppe Di Guglielmo; Luciano Lavagno; Luca P. Carloni (HPEC, 2018)

PAGURUS: Low-Overhead Dynamic Information Flow Tracking on Loosely Coupled Accelerators. - Luca Piccolboni; Giuseppe Di Guglielmo; Luca P. Carloni (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018)

KAIROS: Incremental Verification in High-Level Synthesis through Latency-Insensitive Design. - Luca Piccolboni; Giuseppe Di Guglielmo; Luca P. Carloni (FMCAD, 2019)

Compiler-Assisted Selection of Hardware Acceleration Candidates from Application Source Code. - Georgios Zacharopoulos; Lorenzo Ferretti; Giovanni Ansaloni; Giuseppe Di Guglielmo; Luca P. Carloni; Laura Pozzi 001 (ICCD, 2019)

Teaching Heterogeneous Computing with System-Level Design Methods. - Luca P. Carloni; Emilio G. Cota; Giuseppe Di Guglielmo; Davide Giri; Jihye Kwon; Paolo Mantovani; Luca Piccolboni; Michele Petracca (WCAE@ISCA, 2019)

Securing Accelerators with Dynamic Information Flow Tracking. - Luca Piccolboni; Giuseppe Di Guglielmo; Luca P. Carloni (CoRR, 2019)

ESP4ML: Platform-Based Design of Systems-on-Chip for Embedded Machine Learning. - Davide Giri; Kuan-Lin Chiu; Giuseppe Di Guglielmo; Paolo Mantovani; Luca P. Carloni (DATE, 2020)

AIgean: An Open Framework for Machine Learning on Heterogeneous Clusters. - Naif Tarafdar; Giuseppe Di Guglielmo; Philip C. Harris; Jeffrey D. Krupa; Vladimir Loncar; Dylan S. Rankin; Nhan Tran; Zhenbin Wu; Qianfeng Shen; Paul Chow (FCCM, 2020)

A Scalable Architecture for CNN Accelerators Leveraging High-Performance Memories. - Maarten Hattink; Giuseppe Di Guglielmo; Luca P. Carloni; Keren Bergman (HPEC, 2020)

Agile SoC Development with Open ESP : Invited Paper. - Paolo Mantovani; Davide Giri; Giuseppe Di Guglielmo; Luca Piccolboni; Joseph Zuckerman; Emilio G. Cota; Michele Petracca; Christian Pilato; Luca P. Carloni (ICCAD, 2020)

Fast inference of Boosted Decision Trees in FPGAs for particle physics. - Sioni Summers; Giuseppe Di Guglielmo; Javier M. Duarte; Philip C. Harris; Duc Hoang; Sergo Jindariani; Edward Kreinar; Vladimir Loncar; Jennifer Ngadiuba; Maurizio Pierini; Dylan S. Rankin; Nhan Tran; et al. (CoRR, 2020)

Agile SoC Development with Open ESP. - Paolo Mantovani; Davide Giri; Giuseppe Di Guglielmo; Luca Piccolboni; Joseph Zuckerman; Emilio G. Cota; Michele Petracca; Christian Pilato; Luca P. Carloni (CoRR, 2020)

Distance-Weighted Graph Neural Networks on FPGAs for Real-Time Particle Reconstruction in High Energy Physics. - Yutaro Iiyama; Gianluca Cerminara; Abhijay Gupta; Jan Kieseler; Vladimir Loncar; Maurizio Pierini; Shah Rukh Qasim; Marcel Rieger; Sioni Summers; Gerrit Van Onsem; Kinga Anna Wozniak; Jennifer Ngadiuba; et al. (Frontiers Big Data, 2020)

Leveraging Prior Knowledge for Effective Design-Space Exploration in High-Level Synthesis. - Lorenzo Ferretti; Jihye Kwon; Giovanni Ansaloni; Giuseppe Di Guglielmo; Luca P. Carloni; Laura Pozzi 001 (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020)

HARDROID: Transparent Integration of Crypto Accelerators in Android. - Luca Piccolboni; Giuseppe Di Guglielmo; Simha Sethumadhavan; Luca P. Carloni (HPEC, 2021)

MLPerf Tiny Benchmark. - Colby R. Banbury; Vijay Janapa Reddi; Peter Torelli; Nat Jeffries; Csaba Király 002; Jeremy Holleman; Pietro Montino; David Kanter; Pete Warden; Danilo Pau; Urmish Thakker; Antonio Torrini; et al. (NeurIPS Datasets and Benchmarks, 2021)

CRYLOGGER: Detecting Crypto Misuses Dynamically. - Luca Piccolboni; Giuseppe Di Guglielmo; Luca P. Carloni; Simha Sethumadhavan (SP, 2021)

Fast convolutional neural networks on FPGAs with hls4ml. - Thea Aarrestad; Vladimir Loncar; Maurizio Pierini; Sioni Summers; Jennifer Ngadiuba; Christoffer Petersson; Hampus Linander; Yutaro Iiyama; Giuseppe Di Guglielmo; Javier M. Duarte; Philip C. Harris; Dylan S. Rankin; et al. (CoRR, 2021)

hls4ml: An Open-Source Codesign Workflow to Empower Scientific Low-Power Machine Learning Devices. - Farah Fahim; Benjamin Hawks; Christian Herwig; James Hirschauer; Sergo Jindariani; Nhan Tran; Luca P. Carloni; Giuseppe Di Guglielmo; Philip C. Harris; Jeffrey D. Krupa; Dylan S. Rankin; Manuel Blanco Valentin; et al. (CoRR, 2021)

A reconfigurable neural network ASIC for detector front-end data compression at the HL-LHC. - Giuseppe Di Guglielmo; Farah Fahim; Christian Herwig; Manuel Blanco Valentin; Javier M. Duarte; Cristian Gingu; Philip C. Harris; James Hirschauer; Martin Kwok; Vladimir Loncar; Yingyi Luo; Llovizna Miranda; et al. (CoRR, 2021)

MLPerf Tiny Benchmark. - Colby R. Banbury; Vijay Janapa Reddi; Peter Torelli; Jeremy Holleman; Nat Jeffries; Csaba Király 002; Pietro Montino; David Kanter; Sebastian Ahmed; Danilo Pau; Urmish Thakker; Antonio Torrini; et al. (CoRR, 2021)

Applications and Techniques for Fast Machine Learning in Science. - Allison McCarn Deiana; Nhan Tran; Joshua Agar; Michaela Blott; Giuseppe Di Guglielmo; Javier M. Duarte; Philip C. Harris; Scott Hauck; Mia Liu; Mark S. Neubauer; Jennifer Ngadiuba; Seda Ogrenci Memik; et al. (CoRR, 2021)

DB4HLS: A Database of High-Level Synthesis Design Space Explorations. - Lorenzo Ferretti; Jihye Kwon; Giovanni Ansaloni; Giuseppe Di Guglielmo; Luca P. Carloni; Laura Pozzi 001 (IEEE Embed. Syst. Lett., 2021)

Machine-Learning-Based Microwave Sensing: A Case Study for the Food Industry. - Marco Ricci 004; Bernardita Stitic; Luca Urbinati; Giuseppe Di Guglielmo; Jorge A. Tobon Vasquez; Luca P. Carloni; Francesca Vipiana; Mario R. Casu (IEEE J. Emerg. Sel. Topics Circuits Syst., 2021)

Fast convolutional neural networks on FPGAs with hls4ml. - Thea Aarrestad; Vladimir Loncar; Nicolò Ghielmetti; Maurizio Pierini; Sioni Summers; Jennifer Ngadiuba; Christoffer Petersson; Hampus Linander; Yutaro Iiyama; Giuseppe Di Guglielmo; Javier M. Duarte; Philip C. Harris; et al. (Mach. Learn. Sci. Technol., 2021)

Compressing deep neural networks on FPGAs to binary and ternary precision with hls4ml. - Jennifer Ngadiuba; Vladimir Loncar; Maurizio Pierini; Sioni Summers; Giuseppe Di Guglielmo; Javier M. Duarte; Philip C. Harris; Dylan S. Rankin; Sergo Jindariani; Mia Liu; Kevin Pedro; Nhan Tran; et al. (Mach. Learn. Sci. Technol., 2021)

Open-source FPGA-ML codesign for the MLPerf Tiny Benchmark. - Hendrik Borras; Giuseppe Di Guglielmo; Javier M. Duarte; Nicolò Ghielmetti; Benjamin Hawks; Scott Hauck; Shih-Chieh Hsu; Ryan Kastner; Jason Liang; Andres Meza 001; Jules Muhizi; Tai Nguyen 003; et al. (CoRR, 2022)

Neural network accelerator for quantum control. - David Xu 008; A. Baris Özgüler; Giuseppe Di Guglielmo; Nhan Tran; Gabriel N. Perdue; Luca P. Carloni; Farah Fahim (CoRR, 2022)

Applications and Techniques for Fast Machine Learning in Science. - Allison McCarn Deiana; Nhan Tran; Joshua Agar; Michaela Blott; Giuseppe Di Guglielmo; Javier M. Duarte; Philip C. Harris; Scott Hauck; Mia Liu; Mark S. Neubauer; Jennifer Ngadiuba; Seda Ogrenci Memik; et al. (Frontiers Big Data, 2022)

Real-Time Inference With 2D Convolutional Neural Networks on Field Programmable Gate Arrays for High-Rate Particle Imaging Detectors. - Yeon-jae Jwa; Giuseppe Di Guglielmo; Lukas Arnold; Luca Carloni 001; Georgia Karagiorgi (Frontiers Artif. Intell., 2022)

AIgean: An Open Framework for Deploying Machine Learning on Heterogeneous Clusters. - Naif Tarafdar; Giuseppe Di Guglielmo; Philip C. Harris; Jeffrey D. Krupa; Vladimir Loncar; Dylan S. Rankin; Nhan Tran; Zhenbin Wu; Qianfeng Shen; Paul Chow (ACM Trans. Reconfigurable Technol. Syst., 2022)

Low latency optical-based mode tracking with machine learning deployed on FPGAs on a tokamak. - Yumou Wei; Ryan F. Forelli; Chris Hansen; Jeffrey P. Levesque; Nhan Tran; Joshua C. Agar; Giuseppe Di Guglielmo; Michael E. Mauel; Gerald A. Navratil (CoRR, 2023)

WOLT: Transparent Deployment of ML Workloads on Lightweight Many-Accelerator Architectures. - Kuan-Lin Chiu; Guy Eichler; Chuan-Tung Lin; Giuseppe Di Guglielmo; Luca P. Carloni (ICCD, 2024)

14.5 A 12nm Linux-SMP-Capable RISC-V SoC with 14 Accelerator Types, Distributed Hardware Power Management and Flexible NoC-Based Data Orchestration. - Maico Cassel dos Santos; Tianyu Jia; Joseph Zuckerman; Martin Cochet; Davide Giri; Erik Jens Loscalzo; Karthik Swaminathan; Thierry Tambe; Jeff Jun Zhang; Alper Buyuktosunoglu; Kuan-Lin Chiu; Giuseppe Di Guglielmo; et al. (ISSCC, 2024)

Corrigendum: Applications and techniques for fast machine learning in science. - Allison McCarn Deiana; Nhan Tran; Joshua Agar; Michaela Blott; Giuseppe Di Guglielmo; Javier M. Duarte; Philip C. Harris; Scott Hauck; Mia Liu; Mark S. Neubauer; Jennifer Ngadiuba; Seda Ogrenci-Memik; et al. (Frontiers Big Data, 2024)

Smart pixel sensors: towards on-sensor filtering of pixel clusters with deep learning. - Jieun Yoo; Jennet Dickinson; Morris Swartz; Giuseppe Di Guglielmo; Alice Bean; Douglas Berry; Manuel Blanco Valentin; Karri Dipetrillo; Farah Fahim; Lindsey Gray; James Hirschauer; Shruti R. Kulkarni; et al. (Mach. Learn. Sci. Technol., 2024)

wa-hls4ml and lui-gnn: A Benchmark and GNN based Surrogate Model for hls4ml Resource and Latency Estimation. - Benjamin Hawks; Dennis Plotnikov; Nhan Tran; Karla Tame-Narvaez; Mohammad Mehdi Rahimifar; Hamza Ezzaoui Rahali; Audrey C. Therrien; Giuseppe Di Guglielmo; Javier Duarte; Vladimir Loncar (FPGA, 2025)

End-to-end workflow for machine learning-based qubit readout with QICK and hls4ml. - Giuseppe Di Guglielmo; Botao Du; Javier Campos; Alexandra Boltasseva; Akash V. Dixit; Farah Fahim; Zhaxylyk Kudyshev; Santiago Lopez; Ruichao Ma; Gabriel N. Perdue; Nhan Tran; Omer Yesilyurt; et al. (CoRR, 2025)

Machine learning for arbitrary single-qubit rotations on an embedded device. - Madhav Narayan Bhat; Marco Russo; Luca P. Carloni; Giuseppe Di Guglielmo; Farah Fahim; Andy C. Y. Li; Gabriel N. Perdue (Quantum Mach. Intell., 2025)