| SystemC cosimulation and emulation of multiprocessor SoC designs L Benini, D Bertozzi, D Bruni, N Drago, F Fummi, M Poncino Computer 36 (4), 53-59, 2003 | 187 | 2003 |
| Implicit test generation for behavioral VHDL models F Ferrandi, F Fummi, D Sciuto Proceedings International Test Conference 1998 (IEEE Cat. No. 98CH36270 …, 1998 | 130 | 1998 |
| A SystemC-based framework for modeling and simulation of networked embedded systems F Fummi, D Quaglia, F Stefanni 2008 Forum on Specification, Verification and Design Languages, 49-54, 2008 | 87 | 2008 |
| Testbench qualification of SystemC TLM protocols through mutation analysis N Bombieri, F Fummi, V Guarnieri, G Pravadelli Computers, IEEE Transactions on 63 (5), 1248-1261, 2014 | 79* | 2014 |
| HIFSuite: Tools for HDL code conversion and manipulation N Bombieri, G Di Guglielmo, M Ferrari, F Fummi, G Pravadelli, F Stefanni, ... EURASIP Journal on Embedded Systems 2010, 1-20, 2010 | 71 | 2010 |
| Native ISS-SystemC integration for the co-simulation of multi-processor SoC F Fummi, S Martini, G Perbellini, M Poncino Proceedings Design, Automation and Test in Europe Conference and Exhibition …, 2004 | 69 | 2004 |
| Automatic abstraction of RTL IPs into equivalent TLM descriptions N Bombieri, F Fummi, G Pravadelli IEEE Transactions on Computers 60 (12), 1730-1743, 2011 | 66 | 2011 |
| On the evaluation of transactor-based verification for reusing TLM assertions and testbenches at RTL N Bombieri, F Fummi, G Pravadelli Proceedings of the Design Automation & Test in Europe Conference 1, 1-6, 2006 | 64 | 2006 |
| Functional test generation for behaviorally sequential models F Ferrandi, G Ferrara, D Sciuto, A Fin, F Fummi Proceedings Design, Automation and Test in Europe. Conference and Exhibition …, 2001 | 59 | 2001 |
| A Timing-Accurate HW/SW Co-simulation of an ISS with SystemC L Formaggio, F Fummi, G Pravadelli Proceedings of the 2nd IEEE/ACM/IFIP international conference on Hardware …, 2004 | 58 | 2004 |
| SystemC: A homogenous environment to test embedded systems A Fin, F Fummi, M Martignano, M Signoretto Proceedings of the ninth international symposium on Hardware/software …, 2001 | 58 | 2001 |
| Amleto: A multi-language environment for functional test generation A Fin, F Fummi, G Pravadelli Proceedings International Test Conference 2001 (Cat. No. 01CH37260), 821-829, 2001 | 54 | 2001 |
| Symbolic functional vector generation for VHDL specifications F Ferrandi, F Fummi, L Gerli, D Sciuto Proceedings of the conference on Design, automation and test in Europe, 93-es, 1999 | 53 | 1999 |
| SAGA: SystemC acceleration on GPU architectures S Vinco, D Chatterjee, V Bertacco, F Fummi Proceedings of the 49th Annual Design Automation Conference, 115-120, 2012 | 51 | 2012 |
| Towards equivalence checking between TLM and RTL models N Bombieri, F Fummi, G Pravadelli, J Marques-Silva 2007 5th IEEE/ACM International Conference on Formal Methods and Models for …, 2007 | 50 | 2007 |
| A timing-accurate modeling and simulation environment for networked embedded systems F Fummi, G Perbellini, P Gallo, M Poncino, S Martini, F Ricciato Proceedings of the 40th Annual Design Automation Conference, 42-47, 2003 | 49 | 2003 |
| Legacy SystemC co-simulation of multi-processor systems-on-chip L Benini, D Bertozzi, D Bruni, N Drago, F Fummi, M Poncino Proceedings. IEEE International Conference on Computer Design: VLSI in …, 2002 | 49 | 2002 |
| Hybrid, incremental assertion-based verification for TLM design flows N Bombieri, F Fummi, G Pravadelli, A Fedeli IEEE Design & Test of Computers 24 (2), 140-152, 2007 | 48* | 2007 |
| A machine learning-oriented survey on tiny machine learning L Capogrosso, F Cunico, DS Cheng, F Fummi, M Cristani IEEE Access, 2024 | 46 | 2024 |
| Properties incompleteness evaluation by functional verification A Fedeli, F Fummi, G Pravadelli IEEE Transactions on Computers 56 (4), 2007 | 46 | 2007 |
Graziano PravadelliFull professor, University of Verona, ItalyVerified email at univr.it
