Cadence Design Systems, Inc.

Mariana Ferreira Marques

Georgia Penido Safe

Vincent Gregory Reynolds

Mirlaine Aparecida Crepalde

Yumi Monma

Lucas Martins Chaves

Felipe Althoff

Fernanda Augusta Braga

Pedro Bruno Neri Silva

The present disclosure relates to a method for electronic design verification. Embodiments may include receiving, using a processor, an electronic design and providing at least a portion of the electronic design to a machine learning engine. Embodiments may further include automatically determining, based upon, at least in part, an output of the machine learning engine whether or not the at least a portion of the electronic design is amenable to formal verification.

System, method, and computer program product for determining suitability for formal verification

Growing community of inventors

Minas Gerais, Brazil

Mariana Ferreira Marques