Browse Prior Art Database

Method to Statically Classify Clock-signal Behavior for the Verification of Clock-Control Functionality and Distribution on a Microchip Design.

IP.com Disclosure Number: IPCOM000033524D
Original Publication Date: 2004-Dec-14
Included in the Prior Art Database: 2004-Dec-14

Publishing Venue

IBM

Abstract

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.