Method to Statically Classify Clock-signal Behavior for the Verification of Clock-Control Functionality and Distribution on a Microchip Design.
Original Publication Date: 2004-Dec-14
Included in the Prior Art Database: 2004-Dec-14
Disclosed is a method and system for automatically classifying clock signals in a design under verification. These classifications imply a set of predicted behaviors for the clock signals that may be automatically checked using simulation or formal analysis.