Method and apparatus for finding optimal unification substitution for formulas in technology library
US7003739B2 · kind B2 · utility
Assignee
Inventors
Key dates
| Filing date | Nov 21, 2003 |
| Grant date | Feb 21, 2006 |
| Priority date | — |
| Expiry date | May 28, 2024 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F30/327
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
The present invention is directed to a method and apparatus to find an optimal unification substitution for formulas in a technology library. In an exemplary aspect of the present invention, a method for finding an optimal unification substitution for formulas in a technology library during integrated circuit design may include the following steps: (a) receiving input including a list L of pairs of formulas in standard form, a set S of substitutions for variables, a right part e(x1, . . . , xp) of an identity, and an information I={t, h, r, a, p} on best application; (b) when the list L is not empty, extracting and removing first pair (ƒ′(A′1, . . . , A′n′), g′(B′1, . . . , B′m′)) from the list L; (c) removing head inverters and buffers from formulas ƒ′(A′1, . . . , A′n′) and g′(B′1, . . . , B′m′)) and obtaining a pair (ƒ(A1, . . . , An), g(B1, . . . , Bm)); (d) when the ƒ is a commutative operation but neither a variable nor constant, and when heads of the formulas ƒ(A1, . . . , An) and g(B1, . . . , Bm) are equal, searching for a basic argument Aj of the formula ƒ(A1, . . . , An); (e) when the basic argument Aj is found, letting P be head of said Aj and setting i=1; (f) when head…
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.