I have written a set of user-defined assertions to verify a design formally in Incisive Enterprise Verifier. Is it possible to obtain coverage percentage (block coverage etc) for those assertions? I could find coverage percentage for automatic formal analysis done by the tool on the same design. Everything about coverage for automatic formal analysis is in the manual. My doubt is how to find similar coverage data for user-defined assertions?