| |
| 2001 | ||
|---|---|---|
| 2 | 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 |
| 1 | EE | Franco Fummi, Marco Boschini, Xiaoming Yu, Elizabeth M. Rudnick: Sequential Circuit Test Generation Using a Symbolic/Genetic Hybrid Approach. J. Electronic Testing 17(3-4): 321-330 (2001) |
| 1 | Andrea Fedeli | [2] |
| 2 | Franco Fummi | [1] |
| 3 | Umberto Rossi | [2] |
| 4 | Elizabeth M. Rudnick | [1] |
| 5 | Franco Toto | [2] |
| 6 | Xiaoming Yu | [1] |