Method and apparatus for performing timing correction transformations on a technology-independent logic model during logic synthesis
First Claim
1. A method of logic synthesis that avoids producing the uncorrectable timing problems that are encountered when rules for a given technology are assigned to a technology independent logic model, said given technology having a prescribed set of available functional logic blocks, said method comprising the steps of:
- (a) identifying logic blocks in the model that are not available in said given technology;
(b) estimating the timing characteristics of said logic blocks that are not available in said given technology based upon the characteristics of similar logic blocks that are available, thereby providing a preliminary model;
(c) calculating the timing values for the preliminary model using fan-out values that are limited to a predetermined maximum load;
(d) applying timing correction routines to the critical path in the preliminary model, thereby providing an estimated model; and
(e) correcting violations of the rules of said given technology in the estimated model, thereby providing a technology-legal model.
1 Assignment
0 Petitions
Accused Products
Abstract
A computer program is disclosed providing a sequence of automated logic synthesis routines having three phases. Phase I identifies an estimated critical path by assuming optimum allocation within a "best-fit" preliminary assignment of the technology to a technology-independent model, and optimizes the estimated model for speed. Phase II provides a technology-legal model, and ends by calculating the actual timing provided by the technology-legal model. Phase III uses self-limiting routines, and routines that are unlikely to produce technology violations, to fine tune the production and performance characteristics of the legal model.
-
Citations
8 Claims
-
1. A method of logic synthesis that avoids producing the uncorrectable timing problems that are encountered when rules for a given technology are assigned to a technology independent logic model, said given technology having a prescribed set of available functional logic blocks, said method comprising the steps of:
-
(a) identifying logic blocks in the model that are not available in said given technology; (b) estimating the timing characteristics of said logic blocks that are not available in said given technology based upon the characteristics of similar logic blocks that are available, thereby providing a preliminary model; (c) calculating the timing values for the preliminary model using fan-out values that are limited to a predetermined maximum load; (d) applying timing correction routines to the critical path in the preliminary model, thereby providing an estimated model; and (e) correcting violations of the rules of said given technology in the estimated model, thereby providing a technology-legal model. - View Dependent Claims (2, 3, 4)
-
-
5. Apparatus for producing logic synthesis by assigning rules for a given technology to a technology-independent logic model while avoiding uncorrectable timing problems, said given technology having a prescribed set of available functional logic blocks, said apparatus comprising:
-
(a) means for identifying logic blocks in the model that are not available in said given technology; (b) means for estimating the timing characteristics of said logic blocks that are not available in said given technology based upon the characteristics of similar logic blocks that are available, thereby providing a preliminary model; (c) means for calculating the timing values for the preliminary model using fan-out load values that are limited to a predetermined maximum load; (d) means for applying timing correction routines to the critical path in the preliminary model, thereby providing an estimated model; and (e) means for correcting violations of the rules of said given technology in the estimated model, thereby providing a technology-legal model. - View Dependent Claims (6, 7, 8)
-
Specification