Alan Hunter, Andrew Piziali, Avi Ziv, Kelly Larson, Shankar Hemmady. Ensuring Functional Closure of a Multi-core SoC through Verification Planning, Implementation and Execution. In Ninth International Workshop on Microprocessor Test and Verification, MTV 2008, Austin, Texas, USA, 8-10 December 2008. pages 7-13, IEEE Computer Society, 2008. [doi]