公开(公告)号：US20240311538A1

公开(公告)日：2024-09-19

申请号：US18121143

申请日：2023-03-14

Applicant: Cadence Design Systems, Inc.

Inventor： Matheus Nogueira Fonseca ,  Lars Lundgren ,  Gabriel Guedes de Azevedo Barbosa ,  Paula Selegato Mathias ,  Luis Humberto Rezende Barbosa ,  Bárbara Leite Almeida ,  Thamara Karen Cunha Andrade ,  Gustavo Augusto Silva Junqueira ,  João Paulo Magalhães de Melo dos Santos

IPC: G06F30/327 ,  G06F11/36 ,  G06F30/331

CPC classification number: G06F30/327 ,  G06F11/3652 ,  G06F30/331 ,  G06F2119/12

Abstract: Embodiments include herein are directed towards a system and method for glitch debugging in an electronic design. Embodiments may include receiving, using a processor, the electronic design and performing a formal glitch analysis of the electronic design to determine if one or more glitches are present in a clock logic of the electronic design. If a glitch is identified, embodiments may further include causing a generation of a graphical glitch debugger display. Embodiments may include receiving an edit to the electronic design and re-performing the formal glitch analysis of the electronic design to determine whether a glitch is present.