Text this: Functional verification coverage measurement and analysis/