Ensuring Functional Closure of a Multi-core SoC through Verification Planning, Implementation and Execution. - Alan Hunter 002; Andrew Piziali; Avi Ziv; Kelly Larson; Shankar Hemmady (MTV, 2008)