Cadence Design Systems, Inc.

Ronalu Augusta Nunes Barcelos

Chien-Liang Lin

Guilherme Henrique De Sousa Santos

Thamara Karen Cunha Andrade

Mirlaine Aparecida Crepalde

Regina Mara Amaral Fonseca

Gabriel Peres Nobre

Marcos Augusto De Goes

Igor Tiradentes Murta

Hudson Dyele Pinheiro De Oliveira

Lucas Luz Reckziegel

Vitor Machado Guilherme Barros

Glauber Tadeu De Sousa Carmo

Augusto Amaral Mafra

Rafael Sales Medina Ferreira

Valdir Antoniazzi Júnior

Various embodiments provide for analyzing (e.g., debugging) waveform data generated for a simulated circuit design, which can be used as part of electronic design automation (EDA). For example, where a user modifies a circuit design in a manner that impacts a next simulation run performed on the circuit design, various embodiments perform the next simulation run only on one or more portions of the circuit design affected by the user's modifications, while the results/simulated values for the rest of the circuit design are kept or reused.

Analyzing waveform data generated for simulated circuit design

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.

System, method, and computer program product for property clustering associated with formal verification of an electronic circuit design

Growing community of inventors

Belo Horizonte, Brazil

Ronalu Augusta Nunes Barcelos