Andrea Fedeli

15 papers A 1B 1C 3Journal 3Unranked 7
YearRankTypeTitle / Venue / Authors
2007 J jnl
Hybrid, Incremental Assertion-Based Verification for TLM Design Flows.
IEEE Des. Test Comput.
Nicola Bombieri, Franco Fummi, Graziano Pravadelli, Andrea Fedeli
2007 J jnl
Properties Incompleteness Evaluation by Functional Verification.
IEEE Trans. Computers
Andrea Fedeli, Franco Fummi, Graziano Pravadelli
2007 — conf
SC2SCFL: Automated SystemC to SystemC
SAMOS
Ka Lok Man, Andrea Fedeli, Michele Mercaldi, Menouer Boubekeur, Michel P. Schellekens
2005 C conf
Extended abstract: on the property-based verification in SoC design flow founded on transaction level modeling.
MEMOCODE
Nicola Bombieri, Andrea Fedeli, Franco Fummi
2005 — conf
On PSL Properties Re-use in SoC Design Flow Based on Transaction Level Modeling.
MTV
Nicola Bombieri, Andrea Fedeli, Franco Fummi
2004 — conf
A Verification Methodology for Reconfigurable Systems.
MTV
Michele Borgatti, Andrea Fedeli, Umberto Rossi, Jean-Luc Lambert, Imed Moussa, Franco Fummi, Cristina Marconcini, Graziano Pravadelli
2004 J jnl
Timed State Space Analysis of Real-Time Preemptive Systems.
IEEE Trans. Software Eng.
Giacomo Bucci, Andrea Fedeli, Luigi Sassoli, Enrico Vicario
2003 B conf
Modeling Flexible Real Time Systems with Preemptive Time Petri Nets.
ECRTS
Giacomo Bucci, Andrea Fedeli, Luigi Sassoli, Enrico Vicario
2003 C conf
On the Use of a High-Level Fault Model to Check Properties Incompleteness.
MEMOCODE
Franco Fummi, Graziano Pravadelli, Andrea Fedeli, Umberto Rossi, Franco Toto
2003 C conf
Predicting Timeliness of Reactive Systems under Flexible Scheduling.
ISADS
Giacomo Bucci, Andrea Fedeli, Enrico Vicario
2003 — conf
Specification and Simulation of Real Time Concurrent Systems Using Standard SDL Tools.
SDL Forum
Giacomo Bucci, Andrea Fedeli, Enrico Vicario
2002 — conf
A 1000X speed up for properties completeness evaluation.
HLDVT
A. Castelnuovo, Andrea Fedeli, Alessandro Fin, Franco Fummi, Graziano Pravadelli, Umberto Rossi, F. Sforza, Franco Toto
2002 — conf
An error simulation based approach to measure error coverage of formal properties.
ACM Great Lakes Symposium on VLSI
Paolo Azzoni, Andrea Fedeli, Franco Fummi, Graziano Pravadelli, Umberto Rossi, Franco Toto
2002 A conf
Formal Verification Techniques: Industrial Status and Perspectives.
DATE
Joel Blasquez, Marten van Hulst, Andrea Fedeli, Jean-Luc Lambert, Dominique Borrione, Coby Hanoch, Pierre Bricaud
2001 — conf
Concrete Impact of Formal Verification on Quality in IP Design and Implementation.
ISQED
Umberto Rossi, Andrea Fedeli, Marco Boschini, Franco Toto