Fotis Andritsopoulos C. Charopoulos Gregory Doumenis Fotis Karoubalis Yannis Mitsos F. Petreas Ioanna Theologitou Stylianos Perissakis Dionisios I. Reisis Verification of a Complex SoC: The PRO3 Case-Study. 20224-20231 2003 conf/date/2003 DATE http://csdl.computer.org/comp/proceedings/date/2003/1870/02/187020224abs.htm db/conf/date/date2003.html#AndritsopoulosCDKMPTPR03