Text this: Metric-driven design verification :