Cadence Design Systems, Inc.

Alberto Manuel Arias Drake

Artur Melo Mota Costa

Fabiano Cruz Peixoto

Andrea Iabrudi Tavares

Tulio Paschoalin Leao

Rodrigo Fonseca Rocha Soares

Laiz Lipiainen Santos

Guilherme Seminotti Braga

Paula Selegato Mathias

Regina Mara Amaral Fonseca

Gabriel Guedes De Azevedo Barbosa

Tales Bontempo Cunha

Tamires Vargas Capanema Franco Santos

Lucas Ferreira De Melo Diniz

Rogério De Souza Moraes

Nathália Peixoto Reis

Patricia Sette Câmara Haizer

The present disclosure relates to a computer-implemented method for use in an electronic design. Embodiments may include receiving, using at least one processor, a user input corresponding to a command in an electronic design automation environment. Embodiments may further include comparing the user input with a portion of an electronic design database. Embodiments may also include providing a final command suggestion based upon, at least in part, the comparison.

Systems and methods for command interpretation in an electronic design automation environment

The present disclosure relates to a computer-implemented method for use in an electronic design. The method may include receiving, using at least one processor, an electronic design and analyzing the electronic design. The method may further include generating one or more preconditions representative of metastability effects at the output of at least one synchronizer associated with the electronic design. The method may also include generating, based upon, at least in part, the one or more preconditions, one or more properties configured to analyze a propagation of the metastability effects associated with the at least one synchronizer.

Systems and methods for automatic formal metastability fault analysis in an electronic design

Growing community of inventors

Belo Horizonte, Brazil

Alberto Manuel Arias Drake