公开(公告)号：US11797747B1

公开(公告)日：2023-10-24

申请号：US17410837

申请日：2021-08-24

Applicant: Cadence Design Systems, Inc.

Inventor： Matthew David Eaton ,  George Simon Taylor ,  Zhuo Li ,  James Youren ,  Ji Xu

IPC: G06F9/455 ,  G06F30/398 ,  G06F117/04

CPC classification number: G06F30/398 ,  G06F2117/04

Abstract: Various embodiments provide for determining redundant logic in a circuit design based on one or more enable conditions of clock gates, which can be part of electronic design automation (EDA). In particular, some embodiments use one or more enable conditions (of the clock gates) with a satisfiability solver to determine redundant logic coupled to clock circuit elements gated by the clock gates.

公开(公告)号：US11354480B1

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

申请号：US17360782

申请日：2021-06-28

Applicant: Cadence Design Systems, Inc.

Inventor： Matthew David Eaton ,  Ji Xu ,  George Simon Taylor ,  Zhuo Li

IPC: G06F30/396 ,  G06F30/3308 ,  G06F30/3312 ,  G06F30/3323 ,  G06F30/367 ,  G06F30/398

Abstract: Various embodiments provide for determining clock gates for decloning based on simulation and a satisfiability solver, which can be part of electronic design automation (EDA). In particular, some embodiments use a simulation process to quickly determine whether enable signals associated with two clock gates are logically equivalent using a random input vector to a circuit design and, if logically equivalent by the simulation process, use a satisfiability solver to determine a variable assignment (e.g., at least one vector) such that the enable signals are found to be non-equivalent.