Blending multiple metrics from multiple verification engines for improved productivity Author(s): Darron May and Darren Galpin Location: United States Year: 2012 Type: Paper Format: pdf Download