Patent · US Active

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

US10223487B2 · kind B2 · utility

3Cited by

2References

7Claims

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	Feb 13, 2017
Grant date	Mar 5, 2019
Priority date	—
Expiry date	Feb 13, 2037

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.