Ensuring functional closure of a multi-core SoC through verification planning, implementation and executionAlan HunterAndrew Pizialiet al.2008MTV 2008