Folgen
Franco Fummi
Franco Fummi
Professor of Computer Engineering, Universita' di Verona
Bestätigte E-Mail-Adresse bei univr.it - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
1872003
Implicit test generation for behavioral VHDL models
F Ferrandi, F Fummi, D Sciuto
Proceedings International Test Conference 1998 (IEEE Cat. No. 98CH36270 …, 1998
1321998
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
862008
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
742010
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
692004
Automatic abstraction of RTL IPs into equivalent TLM descriptions
N Bombieri, F Fummi, G Pravadelli
IEEE Transactions on Computers 60 (12), 1730-1743, 2011
662011
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
662006
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
582004
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
582001
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
582001
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
562001
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
531999
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
522012
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
512007
A machine learning-oriented survey on tiny machine learning
L Capogrosso, F Cunico, DS Cheng, F Fummi, M Cristani
IEEE Access 12, 23406-23426, 2024
482024
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
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
482002
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
462004
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
462003
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20