| 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 | 65 | 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 | 65 | 2006 |
| Genetic algorithms: the philosopher's stone or an effective solution for high-level TPG? A Fin, F Fummi Eighth IEEE International High-Level Design Validation and Test Workshop …, 2003 | 61* | 2003 |
| 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 |
| 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 |
| 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 | 57 | 2004 |
| 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 |
| A cosimulation methodology for HW/SW validation and performance estimation F Fummi, M Loghi, M Poncino, G Pravadelli ACM Transactions on Design Automation of Electronic Systems (TODAES) 14 (2 …, 2009 | 50* | 2009 |
| System/network design-space exploration based on TLM for networked embedded systems N Bombieri, F Fummi, D Quaglia ACM Transactions on Embedded Computing Systems (TECS) 9 (4), 1-32, 2010 | 49* | 2010 |
| 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 | 49 | 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 |
Graziano PravadelliFull professor, University of Verona, ItalyEmail verificata su univr.it
