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