公开(公告)号：US10769008B1

公开(公告)日：2020-09-08

申请号：US15370565

申请日：2016-12-06

Applicant: Cadence Design Systems, Inc.

Inventor： Alberto Manuel Arias Drake ,  Andrea Iabrudi Tavares ,  Artur Melo Mota Costa ,  Fabiano Cruz Peixoto ,  Laiz Lipiainen Santos ,  Lucas Ferreira de Melo Diniz ,  Nathália Peixoto Reis ,  Patricia Sette Câmara Haizer ,  Regina Mara Amaral Fonseca ,  Tamires Vargas Capanema Franco Santos

IPC: G06F11/00 ,  G06F11/07

Abstract: 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.

公开(公告)号：US11379753B1

公开(公告)日：2022-07-05

申请号：US15494882

申请日：2017-04-24

Applicant: Cadence Design Systems, Inc.

Inventor： Tulio Paschoalin Leao ,  Gabriel Guedes de Azevedo Barbosa ,  Artur Melo Mota Costa ,  Alberto Manuel Arias Drake ,  Guilherme Seminotti Braga ,  Rodrigo Fonseca Rocha Soares ,  Rogério de Souza Moraes ,  Paula Selegato Mathias ,  Tales Bontempo Cunha

IPC: G06N20/00 ,  G06F16/951

Abstract: 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.