Describir: Functional Verification Coverage Measurement and Analysis