Text this: Metric- driven design verification :