Synopsys, Inc.

Mathew V Philip

Joseph R Walston

Stylianos Diamantidis

A set of parameter values may be generated by a machine learning (ML) model, where the set of parameter values may be used by a black-box function to generate a set of outputs based on a set of inputs. It may be determined whether the set of parameter values is expected to cause the set of outputs generated by the black-box function to violate one or more desired goals. If so, a first response may be provided to the ML model that discourages the ML model from generating sets of parameter values that are similar to the set of parameter values. Otherwise, the set of parameter values may be provided to the black-box function, a second response may be determined based on the set of outputs generated by the black-box function, and the second response may be provided to the ML model.

In-situ function parameter search space filtering for machine learning in electronic design automation

A request may be received to use a software on a first project. A first set of values may be extracted for a set of features of the first project. A classifier may be used to classify the first project based on the first set of values. It may be determined whether to grant the request to use the software on the first project based on an output of the classifier.

Fail-safe software access licensing control on a per project basis without a priori knowledge of project details

A method includes receiving a crash signature and a crash configuration. The crash signature is generated in response to a software crash in a software application caused by the crash configuration. The method also includes applying a first machine learning model to determine a reference of a plurality of references that is closest to the crash signature and the crash configuration. The reference includes a reference crash signature and a reference configuration. The reference crash signature and the reference configuration are generated by a proxy crash to the software crash. The proxy crash was generated prior to the software crash by executing a modified test case against the software application.

Growing community of inventors

Palo Alto, CA, United States of America

Mathew V Philip