| 2003 |
|---|
| 3 | EE | 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 |
| 2002 |
|---|
| 2 | EE | 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 |
| 2001 |
|---|
| 1 | EE | Umberto Rossi,
Andrea Fedeli,
Marco Boschini,
Franco Toto:
Concrete Impact of Formal Verification on Quality in IP Design and Implementation.
ISQED 2001: 38-43 |
