Infineon Technologies Ag

Onespin Solutions Gmbh

Siemens Electronic Design Automation Gmbh

Monica Rafaila

Georg Pelz

Cristian Mihai Boianceanu

Jerome Kirscher

A computer implemented method of selecting a prover among a plurality of provers for a design to be verified. The method comprises collecting, by a data module, raw data relating to the design, and extracting from the raw data a plurality of input features, transforming, by a transformer module, the plurality of input features, wherein transforming the plurality of features comprises applying a linear regression to the plurality of features, classifying using a classification module, the provers from the plurality of provers, in which the classification module is adapted to predict a best prover being the prover which solves a property faster than the remaining provers of the plurality of provers, selecting one or more provers based on the results of the classification.

Method of selecting a prover

A device for thermal protection is described. The device may be configured to determine current temperature information for a set of light emitting diodes (LEDs), receive an indication of a requested light pattern for the set of LEDs, and determine predicted temperature information for the set of LEDs based on the current temperature information and the requested light pattern. In this example, the device is further configured to operate the set of LEDs at a modified light pattern that is different from the requested light pattern in response to determining that the predicted temperature information indicates that the set of LEDs operates at an unsafe temperature when operating at the requested light pattern.

Growing community of inventors

Munich, Germany

Monica Rafaila