Patent · US Active

Systems and methods for SMT processes using uninterpreted function symbols

US11055448B2 · kind B2 · utility

2Cited by

1References

18Claims

0Family size

Assignee

Siemens Industry Software Ltd. · US

Inventors

Martin Richard Neuhäußer · Nuremberg, DE
Gabor Schulz · Fürth, DE

Key dates

Filing date	Apr 11, 2017
Grant date	Jul 6, 2021
Priority date	—
Expiry date	Dec 15, 2037

Classification

Technology area (CPC G)Physics
CPC primaryG06F2111/04
WIPO fieldComputer technology
WIPO sectorElectrical engineering

Abstract

Systems and methods for SMT processes using uninterpreted function symbols. A method includes receiving a configuration model. The method includes computing a variant for the configuration model that includes a non-linear function. The method includes identifying input/output pairs in the non-linear function of the variant. The method includes executing a process on an external application for each input/output pair to produce an output value corresponding to each input of the input/output pairs. The method includes comparing the output value corresponding to each input of the input/output pairs with the output corresponding to each input of the input/output pairs. The method includes, when the output value corresponding to each input of the input/output pairs is equal to the output corresponding to each input of the input/output pairs, then the system stores an indication that the variant is correct.

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