Patent ID: 8627249
Filing Date: 2014-01-07
Classification: G06F

Abstract:
1. A method for generating design constraints, comprising: reading a design description of a design and an existing design constraint file; generating, by using at least one processor, a timing exception, which is to be ignored in an analysis that determines whether the design description meets a design requirement, by at least verifying behavior of at least some of one or more false paths that are determined from one or more paths based at least in part upon an analysis on the one or more paths; configuring design constraint integration rules, wherein the act of configuring design constraint integration rules includes creating rule instances that target at least one attribute of the design; writing a new design constraint file based at least in part upon the timing exception and the design constraint integration rules based at least in part upon resolution of a conflict between a first request to promote and a second request not to promote according to at least a rule instance priority; evaluating results of the new design constraint file; and replacing the existing design constraint file with the new design constraint file.