Patent · US Active

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

US10248749B2 · kind B2 · utility

3Cited by

2References

20Claims

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 15, 2018
Grant date	Apr 2, 2019
Priority date	—
Expiry date	Feb 15, 2038

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.