公开(公告)号：US11507720B1

公开(公告)日：2022-11-22

申请号：US17345857

申请日：2021-06-11

Applicant: Cadence Design Systems, Inc.

Inventor： Matheus Nogueira Fonseca ,  Thamara Karen Cunha Andrade ,  Lars Lundgren ,  Breno Guimaraes

IPC: G06F30/30 ,  G01R31/317 ,  G06F30/3323 ,  G06F30/3312 ,  G06F30/31 ,  G06F119/12

Abstract: This disclosure relates to signal observability rating. In an example, a method can include propagating a clock signal through a respective module of a circuit design in a forward and backward direction, evaluating clock signal propagation results for the respective module based on a forward and backward clock signal propagation of the clock signal to compute an observability rating for a data signal to be processed by the respective module during formal verification, and updating a current observability rating of the respective property for the data signal to the computed observability rating.