The patent badge is an abbreviated version of the USPTO patent document. The patent badge does contain a link to the full patent document.
The patent badge is an abbreviated version of the USPTO patent document. The patent badge covers the following: Patent number, Date patent was issued, Date patent was filed, Title of the patent, Applicant, Inventor, Assignee, Attorney firm, Primary examiner, Assistant examiner, CPCs, and Abstract. The patent badge does contain a link to the full patent document (in Adobe Acrobat format, aka pdf). To download or print any patent click here.
Patent No.:
Date of Patent:
Apr. 10, 2007
Filed:
Mar. 10, 2005
Jason Raymond Baumgartner, Austin, TX (US);
Hari Mony, Austin, TX (US);
Viresh Paruthi, Austin, TX (US);
Jiazhao Xu, Mount Kisco, NY (US);
Jason Raymond Baumgartner, Austin, TX (US);
Hari Mony, Austin, TX (US);
Viresh Paruthi, Austin, TX (US);
Jiazhao Xu, Mount Kisco, NY (US);
International Business Machines Corporation, Armonk, NY (US);
Abstract
A method, system and computer program product for performing retiming in the presence of constraints are disclosed. The method comprises receiving an initial design containing one or more targets and one or more constraints and enumerating the one or more constraints and the one or more targets into a retiming gate set. A retiming graph is constructed from the initial design, and a retiming solution is obtained on the retiming graph. The retiming solution is normalized. One or more retiming lags from the retiming graph are propagated to the initial design, and the initial design is verified by using a constraint-satisfying analysis to determine whether the one or more targets may be hit while the one or more constraints are satisfied.