Google FeedBurner is phasing out its RSS-to-email subscription service. While we are currently working on the implementation of a new system, you may experience an interruption in your email subscription service.
Please stay tuned for further communications.
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?