Verification of a Complex SoC: The PRO3 Case-Study. - Fotis Andritsopoulos; C. Charopoulos; Gregory Doumenis; Fotis Karoubalis; Yannis Mitsos; F. Petreas; Ioanna Theologitou; Stylianos Perissakis; Dionisios I. Reisis (DATE, 2003)