- CSB - MetaPress - Google - Bing - Yahoo
 | 2013 | |
|---|---|---|
| j15 |      | Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli, Francesco Stefanni, Sara Vinco: UNIVERCM: The UNIversal VERsatile Computational Model for Heterogeneous System Integration. IEEE Trans. Computers 62(2): 225-241 (2013) |
| 2012 | ||
| j14 | | 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. Electronic Testing 28(4): 435-448 (2012) |
| j13 | | 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. Electronic Testing 28(4): 469-486 (2012) |
| c57 | | Marco Bonato, Giuseppe Di Guglielmo, Masahiro Fujita, Franco Fummi, Graziano Pravadelli: Dynamic property mining for embedded software. CODES+ISSS 2012: 187-196 |
| c56 | | Giuseppe Di Guglielmo, Graziano Pravadelli: A testbench specification language for SystemC verification. CODES+ISSS 2012: 333-342 |
| c55 | | Giuseppe Di Guglielmo, Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli: Enabling dynamic assertion-based verification of embedded software through model-driven design. DATE 2012: 212-217 |
| c54 | | Markus Becker, Gilles B. Defo, Franco Fummi, Wolfgang Müller, Graziano Pravadelli, Sara Vinco: MOUSSE: Scaling modelling and verification to complex Heterogeneous Embedded Systems evolution. DATE 2012: 296-299 |
| c53 | | Giuseppe Di Guglielmo, Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli: On the use of assertions for embedded-software dynamic verification. DDECS 2012: 330-335 |
| c52 | | 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. European Test Symposium 2012: 1-6 |
| c51 | | Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli, Francesco Stefanni, Sara Vinco: A formal support for homogeneous simulation of heterogeneous embedded systems. SIES 2012: 211-219 |
| 2011 | ||
| j12 | | Giuseppe Di Guglielmo, Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli: Efficient Generation of Stimuli for Functional Verification by Backjumping Across Extended FSMs. J. Electronic Testing 27(2): 137-162 (2011) |
| j11 | | Nicola Bombieri, Franco Fummi, Graziano Pravadelli: Automatic Abstraction of RTL IPs into Equivalent TLM Descriptions. IEEE Trans. Computers 60(12): 1730-1743 (2011) |
| c50 | | Viacheslav Izosimov, Michele Lora, Graziano Pravadelli, Franco Fummi, Zebo Peng, Giuseppe Di Guglielmo, Masahiro Fujita: Optimization of Assertion Placement in Time-Constrained Embedded Systems. European Test Symposium 2011: 171-176 |
| c49 | | Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli, Francesco Stefanni, Sara Vinco: UNIVERCM: The UNIversal VERsatile computational model for heterogeneous embedded system design. HLDVT 2011: 33-40 |
| c48 | | Giuseppe Di Guglielmo, Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli: Interactive presentation abstract: Assertion-based verification in embedded-software design. HLDVT 2011: 80 |
| c47 | | Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli: Interactive presentation abstract: Reusing of properties after discretization of hybrid automata. HLDVT 2011: 81 |
| c46 | | 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: 201-209 |
| c45 | | Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli: Reusing of Properties after Discretization of Hybrid Automata. MTV 2011: 10-15 |
| 2010 | ||
| j10 | | 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. Emb. Sys. 2010 (2010) |
| c44 | | Nicola Bombieri, Franco Fummi, Graziano Pravadelli: Abstraction of RTL IPs into embedded software. DAC 2010: 24-29 |
| c43 | | Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli: Vacuity analysis for property qualification by mutation of checkers. DATE 2010: 478-483 |
| c42 | | 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: 1053-1058 |
| c41 | | 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: 40-41 |
| c40 | | Giuseppe Di Guglielmo, Franco Fummi, Graziano Pravadelli, Stefano Soffia, Marco Roveri: Semi-formal functional verification by EFSM traversing via NuSMV. HLDVT 2010: 58-65 |
| c39 | | Luigi Di Guglielmo, Franco Fummi, Nicola Orlandi, Graziano Pravadelli: DDPSL: An easy way of defining properties. ICCD 2010: 468-473 |
| 2009 | ||
| j9 | | Franco Fummi, Mirko Loghi, Massimo Poncino, Graziano Pravadelli: A cosimulation methodology for HW/SW validation and performance estimation. ACM Trans. Design Autom. Electr. Syst. 14(2) (2009) |
| c38 | | Nicola Bombieri, Franco Fummi, Graziano Pravadelli, Mark Hampton, Florian Letombe: Functional qualification of TLM verification. DATE 2009: 190-195 |
| c37 | | Nicola Bombieri, Franco Fummi, Graziano Pravadelli, Sara Vinco: Correct-by-construction generation of device drivers based on RTL testbenches. DATE 2009: 1500-1505 |
| c36 | | Davide Bresolin, Giuseppe Di Guglielmo, Franco Fummi, Graziano Pravadelli, Tiziano Villa: The impact of EFSM composition on functional ATPG. DDECS 2009: 44-49 |
| c35 | | Giuseppe Di Guglielmo, Franco Fummi, Graziano Pravadelli, Mark Hampton, Florian Letombe: On the Functional Qualification of a Platform Model. DFT 2009: 182-190 |
| c34 | | Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli: The role of mutation analysis for property qualification. MEMOCODE 2009: 28-35 |
| c33 | | Nicola Bombieri, Franco Fummi, Graziano Pravadelli: On the Mutation Analysis of SystemC TLM-2.0 Standard. MTV 2009: 32-37 |
| 2008 | ||
| j8 | | Nicola Bombieri, Franco Fummi, Graziano Pravadelli: Reuse and optimization of testbenches and properties in a TLM-to-RTL design flow. ACM Trans. Design Autom. Electr. Syst. 13(3) (2008) |
| c32 | | Nicola Bombieri, Franco Fummi, Graziano Pravadelli: A Mutation Model for the SystemC TLM 2.0 Communication Interfaces. DATE 2008: 396-401 |
| c31 | | Franco Fummi, Valerio Guarnieri, Cristina Marconcini, Graziano Pravadelli: An optimized CLP-based technique for generating propagation sequences. EWDTS 2008: 25-29 |
| c30 | | Nicola Bombieri, Franco Fummi, Graziano Pravadelli: RTL-TLM equivalence checking based on simulation. EWDTS 2008: 214-217 |
| c29 | | Giuseppe Di Guglielmo, Franco Fummi, Mark Hampton, Graziano Pravadelli, Francesco Stefanni: The role of parallel simulation in functional verification. HLDVT 2008: 117-124 |
| c28 | | Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli: Vacuity Analysis by Fault Simulation. MEMOCODE 2008: 27-36 |
| 2007 | ||
| j7 | | Nicola Bombieri, Franco Fummi, Graziano Pravadelli, Andrea Fedeli: Hybrid, Incremental Assertion-Based Verification for TLM Design Flows. IEEE Design & Test of Computers 24(2): 140-152 (2007) |
| j6 | | Franco Fummi, Graziano Pravadelli: Too Few or Too Many Properties? Measure it by ATPG! J. Electronic Testing 23(5): 373-388 (2007) |
| j5 | | 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 Computers & Digital Techniques 1(3): 187-196 (2007) |
| j4 | | Andrea Fedeli, Franco Fummi, Graziano Pravadelli: Properties Incompleteness Evaluation by Functional Verification. IEEE Trans. Computers 56(4): 528-544 (2007) |
| c27 | | Paolo Destro, Franco Fummi, Graziano Pravadelli: A smooth refinement flow for co-designing HW and SW threads. DATE 2007: 105-110 |
| c26 | | Nicola Bombieri, Franco Fummi, Graziano Pravadelli: Incremental ABV for functional validation of TL-to-RTL design refinement. DATE 2007: 882-887 |
| c25 | | Nicola Bombieri, Franco Fummi, Graziano Pravadelli, João Marques-Silva: Towards Equivalence Checking Between TLM and RTL Models. MEMOCODE 2007: 113-122 |
| c24 | | Franco Fummi, Cristina Marconcini, Graziano Pravadelli, Ian G. Harris: A CLP-Based Functional ATPG for Extended FSMs. MTV 2007: 98-105 |
| i1 | | Michele Borgatti, Andrea Capello, Umberto Rossi, Jean-Luc Lambert, Imed Moussa, Franco Fummi, Graziano Pravadelli: An Integrated Design and Verification Methodology for Reconfigurable Multimedia Systems. CoRR abs/0710.4846 (2007) |
| 2006 | ||
| c23 | | Nicola Bombieri, Franco Fummi, Graziano Pravadelli: On the evaluation of transactor-based verification for reusing TLM assertions and testbenches at RTL. DATE 2006: 1007-1012 |
| c22 | | Giuseppe Di Guglielmo, Franco Fummi, Cristina Marconcini, Graziano Pravadelli: FATE: a Functional ATPG to Traverse Unstabilized EFSMs. European Test Symposium 2006: 179-184 |
| c21 | | Giuseppe Di Guglielmo, Franco Fummi, Cristina Marconcini, Graziano Pravadelli: EFSM Manipulation to Increase High-Level ATPG Effectiveness. ISQED 2006: 57-62 |
| c20 | | Nicola Bombieri, Franco Fummi, Graziano Pravadelli: A methodology for abstracting RTL designs into TL descriptions. MEMOCODE 2006: 103-112 |
| c19 | | Nicola Bombieri, Franco Fummi, Graziano Pravadelli: Hardware Design and Simulation for Verification. SFM 2006: 1-29 |
| c18 | | Giuseppe Di Guglielmo, Franco Fummi, Cristina Marconcini, Graziano Pravadelli: Improving Gate-Level ATPG by Traversing Concurrent EFSMs. VTS 2006: 172-179 |
| 2005 | ||
| j3 | | Mirko Loghi, Tiziana Margaria, Graziano Pravadelli, Bernhard Steffen: Dynamic and Formal Verification of Embedded Systems: A Comparative Survey. International Journal of Parallel Programming 33(6): 585-611 (2005) |
| j2 | | Franco Fummi, Cristina Marconcini, Graziano Pravadelli: Logic-level mapping of high-level faults. Integration 38(3): 467-490 (2005) |
| c17 | | Franco Fummi, Cristina Marconcini, Graziano Pravadelli: An EFSM-based approach for functional ATPG. ACM Great Lakes Symposium on VLSI 2005: 197-200 |
| c16 | | Nicola Bombieri, Franco Fummi, Graziano Pravadelli: Functional Verification of Networked Embedded Systems. ISQED 2005: 321-326 |
| c15 | | Stefano Brait, Franco Fummi, Graziano Pravadelli: On the use of a high-level fault model to analyze logical consequence of properties. MEMOCODE 2005: 221-230 |
| c14 | | Giuseppe Di Guglielmo, Franco Fummi, Cristina Marconcini, Graziano Pravadelli: A Pseudo-Deterministic Functional ATPG based on EFSM Traversing. MTV 2005: 70-75 |
| 2004 | ||
| c13 | | Luca Formaggio, Franco Fummi, Graziano Pravadelli: A timing-accurate HW/SW co-simulation of an ISS with SystemC. CODES+ISSS 2004: 152-157 |
| c12 | | Michele Borgatti, Andrea Capello, Umberto Rossi, Jean-Luc Lambert, Imed Moussa, Franco Fummi, Graziano Pravadelli: An Integrated Design and Verification Methodology for Reconfigurable Multimedia Systems. DATE 2004: 266-271 |
| c11 | | Nicola Bombieri, Franco Fummi, Graziano Pravadelli: At-Speed Functional Verification of Programmable Devices. DFT 2004: 386-394 |
| c10 | | Franco Fummi, Graziano Pravadelli: Logic-level analysis of high-level faults. ACM Great Lakes Symposium on VLSI 2004: 100-103 |
| c9 | | Franco Fummi, Cristina Marconcini, Graziano Pravadelli: Functional verification based on the EFSM model. HLDVT 2004: 69-74 |
| c8 | | Michele Borgatti, Andrea Fedeli, Umberto Rossi, Jean-Luc Lambert, Imed Moussa, Franco Fummi, Cristina Marconcini, Graziano Pravadelli: A Verification Methodology for Reconfigurable Systems. MTV 2004: 85-90 |
| 2003 | ||
| j1 | | Fabrizio Ferrandi, Franco Fummi, Graziano Pravadelli, Donatella Sciuto: Identification of design errors through functional testing. IEEE Transactions on Reliability 52(4): 400-412 (2003) |
| c7 | | Alessandro Fin, Franco Fummi, Graziano Pravadelli: Mixing ATPG and property checking for testing HW/SW interfaces. ACM Great Lakes Symposium on VLSI 2003: 303-306 |
| c6 | | Franco Fummi, Cristina Marconcini, Graziano Pravadelli: Redundant functional faults reduction by saboteurs synthesis [logic verification]. HLDVT 2003: 108-113 |
| c5 | | Franco Fummi, Graziano Pravadelli, Andrea Fedeli, Umberto Rossi, Franco Toto: On the Use of a High-Level Fault Model to Check Properties Incompleteness. MEMOCODE 2003: 145-152 |
| c4 | | Alessandro Fin, Franco Fummi, Massimo Poncino, Graziano Pravadelli: A SystemC-based Framework for Properties Incompleteness Evaluation. MTV 2003: 89-94 |
| 2002 | ||
| c3 | | Paolo Azzoni, Andrea Fedeli, Franco Fummi, Graziano Pravadelli, Umberto Rossi, Franco Toto: An error simulation based approach to measure error coverage of formal properties. ACM Great Lakes Symposium on VLSI 2002: 53-58 |
| c2 | | A. Castelnuovo, Andrea Fedeli, Alessandro Fin, Franco Fummi, Graziano Pravadelli, Umberto Rossi, F. Sforza, Franco Toto: A 1000X speed up for properties completeness evaluation. HLDVT 2002: 18-22 |
| 2001 | ||
| c1 | | Alessandro Fin, Franco Fummi, Graziano Pravadelli: AMLETO: a multi-language environment for functional test generation. ITC 2001: 821-829 |
Data released under the ODC-BY 1.0 license — See also our legal information page