US8881075B2 - Method for Measuring Assertion Density in a System of Verifying Integrated Circuit Design