A web service for automated IP/SoC verification using computers on network - Yeon-Ho Im; Seong-Hee Yim; Jay B. Kim (International SoC Design Conference, ISOCC 2012, Jeju Island, South Korea, November 4-7, 2012, 2012)