A Metric Extraction Framework Based on a High-Level Description Language | IEEE Conference Publication | IEEE Xplore