Giuseppe Di Guglielmo

Publication Activity (10 Years)

Years Active: 2005-2024
Publications (10 Years): 49

Top Topics

High Energy Physics

Design Space Exploration

Convolutional Neural Networks

Machine Learning

Top Venues

Frontiers Big Data

Publications

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, Maurizio Pierini, Thea Aarrestad, Steffen Bähr, Jürgen Becker, Anne-Sophie Berthold, Richard J. Bonventre, Tomás E. Müller-Bravo, Markus Diefenthaler, Zhen Dong, Nick Fritzsche, Amir Gholami, Ekaterina Govorkova, Dongning Guo, Kyle J. Hazelwood, Christian Herwig, Babar Khan, Sehoon Kim, Thomas Klijnsma, Yaling Liu, Kin Ho Lo, Tri Nguyen, Gianantonio Pezzullo, Seyedramin Rasoulinezhad, Ryan A. Rivera, Kate Scholberg, Justin Selig, Sougata Sen, Dmitri Strukov, William Tang, Savannah Thais, Kai Lukas Unger, Ricardo Vilalta, Belinavon Krosigk, Shen Wang, Thomas K. Warburton
Corrigendum: Applications and techniques for fast machine learning in science. Frontiers Big Data 6 (2024)
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, Paolo Mantovani, Luca Piccolboni, Gabriele Tombesi, David Trilla, John-David Wellman, En-Yu Yang, Aporva Amarnath, Ying Jing, Bakshree Mishra, Joshua Park, Vignesh Suresh, Sarita V. Adve, Pradip Bose, David Brooks, Luca P. Carloni, Kenneth L. Shepard, Gu-Yeon Wei
14.5 A 12nm Linux-SMP-Capable RISC-V SoC with 14 Accelerator Types, Distributed Hardware Power Management and Flexible NoC-Based Data Orchestration. ISSCC (2024)
Yumou Wei, Ryan F. Forelli, Chris Hansen, Jeffrey P. Levesque, Nhan Tran, Joshua C. Agar, Giuseppe Di Guglielmo, Michael E. Mauel, Gerald A. Navratil
Low latency optical-based mode tracking with machine learning deployed on FPGAs on a tokamak. CoRR (2023)
Hendrik Borras, Giuseppe Di Guglielmo, Javier M. Duarte, Nicolò Ghielmetti, Benjamin Hawks, Scott Hauck, Shih-Chieh Hsu, Ryan Kastner, Jason Liang, Andres Meza, Jules Muhizi, Tai Nguyen, Rushil Roy, Nhan Tran, Yaman Umuroglu, Olivia Weng, Aidan Yokuda, Michaela Blott
Open-source FPGA-ML codesign for the MLPerf Tiny Benchmark. CoRR (2022)
Naif Tarafdar, Giuseppe Di Guglielmo, Philip C. Harris, Jeffrey D. Krupa, Vladimir Loncar, Dylan S. Rankin, Nhan Tran, Zhenbin Wu, Qianfeng Shen, Paul Chow
: An Open Framework for Deploying Machine Learning on Heterogeneous Clusters. ACM Trans. Reconfigurable Technol. Syst. 15 (3) (2022)
Yeon-jae Jwa, Giuseppe Di Guglielmo, Lukas Arnold, Luca Carloni, Georgia Karagiorgi
Real-Time Inference With 2D Convolutional Neural Networks on Field Programmable Gate Arrays for High-Rate Particle Imaging Detectors. Frontiers Artif. Intell. 5 (2022)
David Xu, A. Baris Özgüler, Giuseppe Di Guglielmo, Nhan Tran, Gabriel N. Perdue, Luca P. Carloni, Farah Fahim
Neural network accelerator for quantum control. CoRR (2022)
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, Maurizio Pierini, Thea Aarrestad, Steffen Bähr, Jürgen Becker, Anne-Sophie Berthold, Richard J. Bonventre, Tomás E. Müller-Bravo, Markus Diefenthaler, Zhen Dong, Nick Fritzsche, Amir Gholami, Ekaterina Govorkova, Dongning Guo, Kyle J. Hazelwood, Christian Herwig, Babar Khan, Sehoon Kim, Thomas Klijnsma, Yaling Liu, Kin Ho Lo, Tri Nguyen, Gianantonio Pezzullo, Seyedramin Rasoulinezhad, Ryan A. Rivera, Kate Scholberg, Justin Selig, Sougata Sen, Dmitri Strukov, William Tang, Savannah Thais, Kai Lukas Unger, Ricardo Vilalta, Belinavon Krosigk, Shen Wang, Thomas K. Warburton
Applications and Techniques for Fast Machine Learning in Science. Frontiers Big Data 5 (2022)
Colby R. Banbury, Vijay Janapa Reddi, Peter Torelli, Nat Jeffries, Csaba Király, Jeremy Holleman, Pietro Montino, David Kanter, Pete Warden, Danilo Pau, Urmish Thakker, Antonio Torrini, Jay Cordaro, Giuseppe Di Guglielmo, Javier M. Duarte, Honson Tran, Nhan Tran, Wenxu Niu, Xuesong Xu
MLPerf Tiny Benchmark. NeurIPS Datasets and Benchmarks (2021)
Lorenzo Ferretti, Jihye Kwon, Giovanni Ansaloni, Giuseppe Di Guglielmo, Luca P. Carloni, Laura Pozzi
DB4HLS: A Database of High-Level Synthesis Design Space Explorations. CoRR (2021)
Marco Ricci, Bernardita Stitic, Luca Urbinati, Giuseppe Di Guglielmo, Jorge A. Tobon Vasquez, Luca P. Carloni, Francesca Vipiana, Mario R. Casu
Machine-Learning-Based Microwave Sensing: A Case Study for the Food Industry. IEEE J. Emerg. Sel. Topics Circuits Syst. 11 (3) (2021)
Luca Piccolboni, Giuseppe Di Guglielmo, Simha Sethumadhavan, Luca P. Carloni
HARDROID: Transparent Integration of Crypto Accelerators in Android. HPEC (2021)
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, Jennifer Ngadiuba, Daniel Noonan, Seda Ogrenci Memik, Maurizio Pierini, Sioni Summers, Nhan Tran
A reconfigurable neural network ASIC for detector front-end data compression at the HL-LHC. CoRR (2021)
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, Maurizio Pierini, Thea Aarrestad, Steffen Bähr, Jürgen Becker, Anne-Sophie Berthold, Richard J. Bonventre, Tomas E. Muller Bravo, Markus Diefenthaler, Zhen Dong, Nick Fritzsche, Amir Gholami, Ekaterina Govorkova, Kyle J. Hazelwood, Christian Herwig, Babar Khan, Sehoon Kim, Thomas Klijnsma, Yaling Liu, Kin Ho Lo, Tri Nguyen, Gianantonio Pezzullo, SeyedRamin Rasoulinezhad, Ryan A. Rivera, Kate Scholberg, Justin Selig, Sougata Sen, Dmitri Strukov, William Tang, Savannah Thais, Kai Lukas Unger, Ricardo Vilalta, Belinavon Krosigk, Thomas K. Warburton, Maria Acosta Flechas, Anthony Aportela, Thomas Calvet, Leonardo Cristella, Daniel Diaz, Caterina Doglioni, Maria Domenica Galati, Elham E Khoda, Farah Fahim, Davide Giri, Benjamin Hawks, Duc Hoang, Burt Holzman, Shih-Chieh Hsu, Sergo Jindariani, Iris Johnson, Raghav Kansal, Ryan Kastner, Erik Katsavounidis, Jeffrey Krupa, Pan Li, Sandeep Madireddy, Ethan Marx, Patrick McCormack, Andres Meza, Jovan Mitrevski, Mohammed Attia Mohammed, Farouk Mokhtar, Eric Moreno, Srishti Nagu, Rohin Narayan, Noah Palladino, Zhiqiang Que, Sang Eon Park, Subramanian Ramamoorthy, Dylan Rankin, Simon Rothman, Ashish Sharma, Sioni Summers, Pietro Vischia, Jean-Roch Vlimant, Olivia Weng
Applications and Techniques for Fast Machine Learning in Science. CoRR (2021)
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, Dylan S. Rankin, Sergo Jindariani, Kevin Pedro, Nhan Tran, Mia Liu, Edward Kreinar, Zhenbin Wu, Duc Hoang
Fast convolutional neural networks on FPGAs with hls4ml. Mach. Learn. Sci. Technol. 2 (4) (2021)
Colby R. Banbury, Vijay Janapa Reddi, Peter Torelli, Jeremy Holleman, Nat Jeffries, Csaba Király, Pietro Montino, David Kanter, Sebastian Ahmed, Danilo Pau, Urmish Thakker, Antonio Torrini, Pete Warden, Jay Cordaro, Giuseppe Di Guglielmo, Javier M. Duarte, Stephen Gibellini, Videet Parekh, Honson Tran, Nhan Tran, Wenxu Niu, Xuesong Xu
MLPerf Tiny Benchmark. CoRR (2021)
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, Sergo Jindariani, Kevin Pedro, Nhan Tran, Mia Liu, Edward Kreinar, Zhenbin Wu, Duc Hoang
Fast convolutional neural networks on FPGAs with hls4ml. CoRR (2021)
Lorenzo Ferretti, Jihye Kwon, Giovanni Ansaloni, Giuseppe Di Guglielmo, Luca P. Carloni, Laura Pozzi
DB4HLS: A Database of High-Level Synthesis Design Space Explorations. IEEE Embed. Syst. Lett. 13 (4) (2021)
Luca Piccolboni, Giuseppe Di Guglielmo, Luca P. Carloni, Simha Sethumadhavan
CRYLOGGER: Detecting Crypto Misuses Dynamically. IEEE Symposium on Security and Privacy (2021)
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, Edward Kreinar, Sheila Sagear, Zhenbin Wu, Duc Hoang
Compressing deep neural networks on FPGAs to binary and ternary precision with hls4ml. Mach. Learn. Sci. Technol. 2 (1) (2021)
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, Josiah D. Hester, Yingyi Luo, John Mamish, Seda Orgrenci-Memik, Thea Aarrestad, Hamza Javed, Vladimir Loncar, Maurizio Pierini, Adrian Alan Pol, Sioni Summers, Javier M. Duarte, Scott Hauck, Shih-Chieh Hsu, Jennifer Ngadiuba, Mia Liu, Duc Hoang, Edward Kreinar, Zhenbin Wu
hls4ml: An Open-Source Codesign Workflow to Empower Scientific Low-Power Machine Learning Devices. CoRR (2021)
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, Zhenbin Wu
Fast inference of Boosted Decision Trees in FPGAs for particle physics. CoRR (2020)
Luca Piccolboni, Giuseppe Di Guglielmo, Luca P. Carloni, Simha Sethumadhavan
CRYLOGGER: Detecting Crypto Misuses Dynamically. CoRR (2020)
Davide Giri, Kuan-Lin Chiu, Giuseppe Di Guglielmo, Paolo Mantovani, Luca P. Carloni
ESP4ML: Platform-Based Design of Systems-on-Chip for Embedded Machine Learning. DATE (2020)
Paolo Mantovani, Davide Giri, Giuseppe Di Guglielmo, Luca Piccolboni, Joseph Zuckerman, Emilio G. Cota, Michele Petracca, Christian Pilato, Luca P. Carloni
Agile SoC Development with Open ESP. CoRR (2020)
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, Giuseppe Di Guglielmo, Javier M. Duarte, Philip C. Harris, Dylan S. Rankin, Sergo Jindariani, Mia Liu, Kevin Pedro, Nhan Tran, Edward Kreinar, Zhenbin Wu
Distance-Weighted Graph Neural Networks on FPGAs for Real-Time Particle Reconstruction in High Energy Physics. CoRR (2020)
Maarten Hattink, Giuseppe Di Guglielmo, Luca P. Carloni, Keren Bergman
A Scalable Architecture for CNN Accelerators Leveraging High-Performance Memories. HPEC (2020)
Giuseppe Di Guglielmo, Javier M. Duarte, Philip C. Harris, Duc Hoang, Sergo Jindariani, Edward Kreinar, Mia Liu, Vladimir Loncar, Jennifer Ngadiuba, Kevin Pedro, Maurizio Pierini, Dylan S. Rankin, Sheila Sagear, Sioni Summers, Nhan Tran, Zhenbin Wu
Compressing deep neural networks on FPGAs to binary and ternary precision with HLS4ML. CoRR (2020)
Naif Tarafdar, Giuseppe Di Guglielmo, Philip C. Harris, Jeffrey D. Krupa, Vladimir Loncar, Dylan S. Rankin, Nhan Tran, Zhenbin Wu, Qianfeng Shen, Paul Chow
AIgean: An Open Framework for Machine Learning on Heterogeneous Clusters. FCCM (2020)
Lorenzo Ferretti, Jihye Kwon, Giovanni Ansaloni, Giuseppe Di Guglielmo, Luca P. Carloni, Laura Pozzi
Leveraging Prior Knowledge for Effective Design-Space Exploration in High-Level Synthesis. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39 (11) (2020)
Davide Giri, Kuan-Lin Chiu, Giuseppe Di Guglielmo, Paolo Mantovani, Luca P. Carloni
ESP4ML: Platform-Based Design of Systems-on-Chip for Embedded Machine Learning. CoRR (2020)
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, Giuseppe Di Guglielmo, Javier M. Duarte, Philip C. Harris, Dylan S. Rankin, Sergo Jindariani, Mia Liu, Kevin Pedro, Nhan Tran, Edward Kreinar, Zhenbin Wu
Distance-Weighted Graph Neural Networks on FPGAs for Real-Time Particle Reconstruction in High Energy Physics. Frontiers Big Data 3 (2020)
Paolo Mantovani, Davide Giri, Giuseppe Di Guglielmo, Luca Piccolboni, Joseph Zuckerman, Emilio G. Cota, Michele Petracca, Christian Pilato, Luca P. Carloni
Agile SoC Development with Open ESP : Invited Paper. ICCAD (2020)
Luca Piccolboni, Giuseppe Di Guglielmo, Luca P. Carloni
KAIROS: Incremental Verification in High-Level Synthesis through Latency-Insensitive Design. FMCAD (2019)
Luca Piccolboni, Giuseppe Di Guglielmo, Luca P. Carloni
Securing Accelerators with Dynamic Information Flow Tracking. CoRR (2019)
Georgios Zacharopoulos, Lorenzo Ferretti, Giovanni Ansaloni, Giuseppe Di Guglielmo, Luca P. Carloni, Laura Pozzi
Compiler-Assisted Selection of Hardware Acceleration Candidates from Application Source Code. ICCD (2019)
Luca Piccolboni, Paolo Mantovani, Giuseppe Di Guglielmo, Luca P. Carloni
COSMOS: Coordination of High-Level Synthesis and Memory Optimization for Hardware Accelerators. CoRR (2019)
Luca Piccolboni, Giuseppe Di Guglielmo, Luca P. Carloni
PAGURUS: Low-Overhead Dynamic Information Flow Tracking on Loosely Coupled Accelerators. CoRR (2019)
Luca P. Carloni, Emilio G. Cota, Giuseppe Di Guglielmo, Davide Giri, Jihye Kwon, Paolo Mantovani, Luca Piccolboni, Michele Petracca
Teaching Heterogeneous Computing with System-Level Design Methods. WCAE@ISCA (2019)
Luca Piccolboni, Giuseppe Di Guglielmo, Luca P. Carloni
PAGURUS: Low-Overhead Dynamic Information Flow Tracking on Loosely Coupled Accelerators. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 37 (11) (2018)
Christian Palmiero, Giuseppe Di Guglielmo, Luciano Lavagno, Luca P. Carloni
Design and Implementation of a Dynamic Information Flow Tracking Architecture to Secure a RISC-V Core for IoT Applications. HPEC (2018)
Luca Piccolboni, Paolo Mantovani, Giuseppe Di Guglielmo, Luca P. Carloni
COSMOS: Coordination of High-Level Synthesis and Memory Optimization for Hardware Accelerators. ACM Trans. Embed. Comput. Syst. 16 (5s) (2017)
Christian Pilato, Paolo Mantovani, Giuseppe Di Guglielmo, Luca P. Carloni
System-Level Optimization of Accelerator Local Memory for Heterogeneous Systems-on-Chip. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 36 (3) (2017)
Luca Piccolboni, Paolo Mantovani, Giuseppe Di Guglielmo, Luca P. Carloni
Broadening the exploration of the accelerator design space in embedded scalable platforms. HPEC (2017)
Paolo Mantovani, Emilio G. Cota, Christian Pilato, Giuseppe Di Guglielmo, Luca P. Carloni
Handling large data sets for high-performance embedded applications in heterogeneous systems-on-chip. CASES (2016)
Christian Pilato, Qirui Xu, Paolo Mantovani, Giuseppe Di Guglielmo, Luca P. Carloni
On the design of scalable and reusable accelerators for big data applications. Conf. Computing Frontiers (2016)
Paolo Mantovani, Giuseppe Di Guglielmo, Luca P. Carloni
High-level synthesis of accelerators in embedded scalable platforms. ASP-DAC (2016)
Paolo Mantovani, Emilio G. Cota, Kevin Tien, Christian Pilato, Giuseppe Di Guglielmo, Kenneth L. Shepard, Luca P. Carloni
An FPGA-based infrastructure for fine-grained DVFS analysis in high-performance embedded systems. DAC (2016)
Emilio G. Cota, Paolo Mantovani, Giuseppe Di Guglielmo, Luca P. Carloni
An Analysis of Accelerator Coupling in Heterogeneous Architectures. DAC (2015)
Giuseppe Di Guglielmo, Christian Pilato, Luca P. Carloni
A Design Methodology for Compositional High-Level Synthesis of Communication-Centric SoCs. DAC (2014)
Christian Pilato, Paolo Mantovani, Giuseppe Di Guglielmo, Luca P. Carloni
System-level memory optimization for high-level synthesis of component-based SoCs. CODES+ISSS (2014)
Giuseppe Di Guglielmo, Davide Ferraretto, Franco Fummi, Graziano Pravadelli
Efficient fault simulation through dynamic binary translation for dependability analysis of embedded software. ETS (2013)
Michele Bertasi, Giuseppe Di Guglielmo, Graziano Pravadelli
Automatic generation of compact formal properties for effective error detection. CODES+ISSS (2013)
Giuseppe Di Guglielmo, Luigi Di Guglielmo, Andreas Foltinek, Masahiro Fujita, Franco Fummi, Cristina Marconcini, Graziano Pravadelli
On the integration of model-driven design and dynamic assertion-based verification for embedded software. J. Syst. Softw. 86 (8) (2013)
Giuseppe Di Guglielmo, Graziano Pravadelli
A testbench specification language for SystemC verification. CODES+ISSS (2012)
Simone Bronuzzi, Giuseppe Di Guglielmo, Franco Fummi, Graziano Pravadelli
Accurate profiling of oracles for self-checking time-constrained embedded software. HLDVT (2012)
Valerio Guarnieri, Giuseppe Di Guglielmo, Nicola Bombieri, Graziano Pravadelli, Franco Fummi, Hanno Hantson, Jaan Raik, Maksim Jenihhin, Raimund Ubar
On the Reuse of TLM Mutation Analysis at RTL. J. Electron. Test. 28 (4) (2012)
Urmas Repinski, Hanno Hantson, Maksim Jenihhin, Jaan Raik, Raimund Ubar, Giuseppe Di Guglielmo, Graziano Pravadelli, Franco Fummi
Combining dynamic slicing and mutation operators for ESL correction. ETS (2012)
Giuseppe Di Guglielmo, Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli
Enabling dynamic assertion-based verification of embedded software through model-driven design. DATE (2012)
Giuseppe Di Guglielmo, Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli
On the use of assertions for embedded-software dynamic verification. DDECS (2012)
Marco Bonato, Giuseppe Di Guglielmo, Masahiro Fujita, Franco Fummi, Graziano Pravadelli
Dynamic property mining for embedded software. CODES+ISSS (2012)
Viacheslav Izosimov, Giuseppe Di Guglielmo, Michele Lora, Graziano Pravadelli, Franco Fummi, Zebo Peng, Masahiro Fujita
Time-Constraint-Aware Optimization of Assertions in Embedded Software. J. Electron. Test. 28 (4) (2012)
Giuseppe Di Guglielmo, Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli
Interactive presentation abstract: Assertion-based verification in embedded-software design. HLDVT (2011)
Giuseppe Di Guglielmo, Masahiro Fujita, Franco Fummi, Graziano Pravadelli, Stefano Soffia
EFSM-based model-driven approach to concolic testing of system-level design. MEMOCODE (2011)
Viacheslav Izosimov, Michele Lora, Graziano Pravadelli, Franco Fummi, Zebo Peng, Giuseppe Di Guglielmo, Masahiro Fujita
Optimization of Assertion Placement in Time-Constrained Embedded Systems. ETS (2011)
Giuseppe Di Guglielmo, Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli
Efficient Generation of Stimuli for Functional Verification by Backjumping Across Extended FSMs. J. Electron. Test. 27 (2) (2011)
Giuseppe Di Guglielmo, Masahiro Fujita, Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli, Cristina Marconcini, Andreas Foltinek
Model-driven design and validation of embedded software. AST (2011)
Giuseppe Di Guglielmo, Franco Fummi, Graziano Pravadelli, Stefano Soffia, Marco Roveri
Semi-formal functional verification by EFSM traversing via NuSMV. HLDVT (2010)
Nicola Bombieri, Giuseppe Di Guglielmo, Michele Ferrari, Franco Fummi, Graziano Pravadelli, Francesco Stefanni, Alessandro Venturelli
HIFSuite: Tools for HDL Code Conversion and Manipulation. EURASIP J. Embed. Syst. 2010 (2010)
Nicola Bombieri, Giuseppe Di Guglielmo, Luigi Di Guglielmo, Michele Ferrari, Franco Fummi, Graziano Pravadelli, Francesco Stefanni, Alessandro Venturelli
HIFSuite: Tools for HDL code conversion and manipulation. HLDVT (2010)
Hanno Hantson, Jaan Raik, Maksim Jenihhin, Anton Chepurov, Raimund Ubar, Giuseppe Di Guglielmo, Franco Fummi
Mutation analysis with high-level decision diagrams. LATW (2010)
Markus Becker, Giuseppe Di Guglielmo, Franco Fummi, Wolfgang Müller, Graziano Pravadelli, Tao Xie
RTOS-aware refinement for TLM2.0-based HW/SW designs. DATE (2010)
Davide Bresolin, Giuseppe Di Guglielmo, Franco Fummi, Graziano Pravadelli, Tiziano Villa
The impact of EFSM composition on functional ATPG. DDECS (2009)
Giuseppe Di Guglielmo, Franco Fummi, Graziano Pravadelli, Mark Hampton, Florian Letombe
On the Functional Qualification of a Platform Model. DFT (2009)
Giuseppe Di Guglielmo, Franco Fummi, Mark Hampton, Graziano Pravadelli, Francesco Stefanni
The role of parallel simulation in functional verification. HLDVT (2008)
Giuseppe Di Guglielmo, Franco Fummi, Cristina Marconcini, Graziano Pravadelli
Improving high-level and gate-level testing with FATE: A functional automatic test pattern generator traversing unstabilised extended FSM. IET Comput. Digit. Tech. 1 (3) (2007)
Giuseppe Di Guglielmo, Franco Fummi, Cristina Marconcini, Graziano Pravadelli
Improving Gate-Level ATPG by Traversing Concurrent EFSMs. VTS (2006)
Giuseppe Di Guglielmo, Franco Fummi, Cristina Marconcini, Graziano Pravadelli
EFSM Manipulation to Increase High-Level ATPG Effectiveness. ISQED (2006)
Giuseppe Di Guglielmo, Franco Fummi, Cristina Marconcini, Graziano Pravadelli
FATE: a Functional ATPG to Traverse Unstabilized EFSMs. ETS (2006)
Giuseppe Di Guglielmo, Franco Fummi, Cristina Marconcini, Graziano Pravadelli
A Pseudo-Deterministic Functional ATPG based on EFSM Traversing. MTV (2005)