Email Record: Functional verification coverage measurement and analysis /