Many HDL designers want to implement assertions and coverage in their designs to catch more bugs faster and deliver a completed design much earlier. This document explains the basic ideas behind design properties, assertions and coverage, introduces languages used for assertions and coverage, and provides informative examples of their usage.
Access the entire document on the Aldec, Inc. website.
