| 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 | 178 | 2003 |
| Implicit test generation for behavioral VHDL models F Ferrandi, F Fummi, D Sciuto Proceedings International Test Conference 1998 (IEEE Cat. No. 98CH36270 …, 1998 | 121 | 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 | 85 | 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 | 81* | 2014 |
| 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 |
| 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 | 61 | 2010 |
| 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 | 61 | 2001 |
| 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 | 60 | 2006 |
| Automatic abstraction of RTL IPs into equivalent TLM descriptions N Bombieri, F Fummi, G Pravadelli IEEE Transactions on Computers 60 (12), 1730-1743, 2011 | 54 | 2011 |
| 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 | 54 | 2004 |
| 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 | 53 | 2001 |
| Symbolic functional vector generation for VHDL specifications F Ferrandi, F Fummi, L Gerli, D Sciuto Design, Automation and Test in Europe Conference and Exhibition, 1999 …, 1999 | 52 | 1999 |
| 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 | 51* | 2003 |
| 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 | 50* | 2007 |
| 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 | 50 | 2001 |
| A timing-accurate modeling and simulation environment for networked embedded systems F Fummi, G Perbellini, P Gallo, M Poncino, S Martini, F Ricciato Proceedings 2003. Design Automation Conference (IEEE Cat. No. 03CH37451), 42-47, 2003 | 48 | 2003 |
| 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 | 47* | 2009 |
| SAGA: SystemC acceleration on GPU architectures S Vinco, V Bertacco, D Chatterjee, F Fummi DAC Design Automation Conference 2012, 115-120, 2012 | 46 | 2012 |
| Heterogeneous co-simulation of networked embedded systems F Fummi, M Poncino, S Martini, F Ricciato, G Perbellini, M Turolla Proceedings Design, Automation and Test in Europe Conference and Exhibition …, 2004 | 46 | 2004 |
| 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 | 46 | 2002 |
Graziano PravadelliFull professor, University of Verona, ItalyVerified email at univr.it
