Patent · US Active

Automated attribute propagation and hierarchical consistency checking for non-standard extensions

US9892222B1 · kind B1 · utility

1Cited by

4References

10Claims

0Family size

Assignee

International Business Machines Corporation · US

Inventors

Robert M. Averill, III · Wappingers Falls, US
Erwin Behnen · Holzgerlingen, DE
David Wolpert · Poughkeepsie, US

Key dates

Filing date	Aug 11, 2016
Grant date	Feb 13, 2018
Priority date	—
Expiry date	Aug 11, 2036

Classification

Technology area (CPC G)Physics
CPC primaryG06F30/367
WIPO fieldComputer technology
WIPO sectorElectrical engineering

Abstract

Examples of techniques for automated attribute propagation and hierarchical consistency checking are disclosed. In one example implementation according to aspects of the present disclosure, a computer-implemented method may include: detecting, by a processor, a non-standard extension during convergence of an integrated circuit logic design; propagating, by the processor, the non-standard extension to each level of a plurality of hierarchies of the integrated circuit design for which a net utilizes a special constraint; and verifying, by the processor, a hierarchy consistency across each level of the plurality of hierarchies.

Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.