The patent badge is an abbreviated version of the USPTO patent document. The patent badge does contain a link to the full patent document.
The patent badge is an abbreviated version of the USPTO patent document. The patent badge covers the following: Patent number, Date patent was issued, Date patent was filed, Title of the patent, Applicant, Inventor, Assignee, Attorney firm, Primary examiner, Assistant examiner, CPCs, and Abstract. The patent badge does contain a link to the full patent document (in Adobe Acrobat format, aka pdf). To download or print any patent click here.
Patent No.:
Date of Patent:
May. 14, 2019
Filed:
Sep. 28, 2017
Cadence Design Systems, Inc., San Jose, CA (US);
Ronalu Augusta Nunes Barcelos, Belo Horizonte, BR;
Hudson Dyele Pinheiro de Oliveira, Belo Horizonte, BR;
Mirlaine Aparecida Crepalde, Belo Horizonte, BR;
Lucas Luz Reckziegel, Porto Alegre, BR;
Glauber Tadeu de Sousa Carmo, Belo Horizonte / Minas Gerais, BR;
Augusto Amaral Mafra, Belo Horizonte, BR;
Regina Mara Amaral Fonseca, Belo Horizonte, BR;
Guilherme Henrique de Sousa Santos, Belo Horizonte / Minas Gerais, BR;
Valdir Antoniazzi Júnior, Belo Horizonte, BR;
Cadence Design Systems, Inc., San Jose, CA (US);
Abstract
The present disclosure relates to a method for debugging associated with formal verification of an electronic design. Embodiments may include performing, using a processor, an initial formal verification of an electronic design. Embodiments may further include identifying one or more counter-examples associated with one or more assertion properties of the electronic design or identifying one or more cover-traces associated with one or more cover properties of the electronic design. Embodiments may further include generating a trace core for each of the one or more counter-examples or cover-traces, wherein each trace core includes a minimal representation of the counter-example or cover-trace. Embodiments may further include identifying a similarity between a plurality of the trace cores and clustering the plurality of trace cores having the similarity.