Metric-driven design verification : an engineer's and executive's guide to first pass success / by 352844 Carter, Hamilton B., Hemmady, Shankar