Verification of design libraries and databases
AssigneeCadence Design Systems, Inc.
InventorsDonald J. O'Riordan, James McMahon, Pei-Der Tseng
Life of this patent
Estimating the term…
Abstract
Method and system for verifying data in a database. In one aspect, verifying data includes receiving an indication of at least one policy, the at least one policy including at least one rule. A verification process is initiated on target data by implementing the at least one policy, where implementing the at least one policy includes instantiating and applying the at least one rule. The at least one rule causes at least one verification check to be performed on the target data.
Claims18
A method for verifying target data that includes circuit data cells and cellviews used in a circuit design, the method comprising:
- receiving an indication of at least one policy, the at least one policy referencing at least one rule, wherein the at least one rule is applied in accordance with a particular stage of multiple stages in a design flow for producing a finalized circuit design;
- and
- initiating a verification process on the target data using at least one processor by performing at least one verification check on the target data in accordance with the at least one rule, wherein the verification process includes an option to override at least one attribute of the at least one rule and to customize the at least one verification check.
A computer program product comprising a computer readable medium including program instructions to be implemented by a computer and for verifying target data that includes circuit data cells and cellviews used in a circuit design, the program instructions for:
- receiving an indication of at least one policy, the at least one policy including at least one rule, wherein the at least one rule is applied in accordance with a particular stage of multiple stages in a design flow for producing a finalized circuit design;
- and
- initiating a verification process on the target data using at least one processor by performing at least one verification check on the target data in accordance with the at least one rule, wherein the verification process includes an option to override at least one attribute of the at least one rule and to customize the at least one verification check.
A verification system for verifying target data that includes circuit data cells and cellviews used in a circuit design, the verification system comprising:
- one or more storage devices storing at least one library including at least one policy and at least one rule, wherein the at least one rule is applied in accordance with a particular stage of multiple stages in a design flow for producing a finalized circuit design;
- and
- at least one processor in communication with the one or more storage devices, the at least one processor:
- receiving an indication of the at least one policy, the at least one policy including the at least one rule, wherein the at least one rule is applied in accordance with a particular stage of multiple stages in a design flow for producing a finalized circuit design, and
- initiating a verification process on the target data using at least one processor by performing at least one verification check on the target data in accordance with the at least one rule, wherein the verification process includes an option to override at least one attribute of the at least one rule and to customize the at least one verification check.
Dependencies are inferred from the claim text.