公开(公告)号：US11017139B1

公开(公告)日：2021-05-25

申请号：US16828642

申请日：2020-03-24

申请人： Mentor Graphics Corporation

发明人： Pritam Roy ,  Sagar Chaki ,  Pankaj Chauhan

IPC分类号： G06F30/3323 ,  G06F30/3308 ,  G06F119/16

摘要： This application discloses a computing system to select a set of one or more values for control signals internal to multiple circuit designs, generate input stimulus for the circuit designs based, at least in part, on the selected set of values for the control signals, and simulate the circuit designs with the input stimulus, which configures the simulated values of the control signals internal to the circuits designs to the selected set of values. The computing system can perform an equivalence check on the circuit designs using results of the simulation. The computing system can select another set of values for the control signals, and determine that at least the other set of values for the control signals are not realizable during simulation with any input stimulus.