TY - BOOK AU - Carter,Hamilton B. AU - Hemmady,Shankar TI - Metric-driven design verification: an engineer's and executive's guide to first pass success SN - 9780387381510 AV - TK7874.58 .C37 2007 PY - 2007/// CY - New York PB - Springer KW - Integrated circuits KW - Verification ER -