SoC verification: a comprehensive, flexible methodology for complex, multimillion gate desiguis