公开(公告)号：US20230071521A1

公开(公告)日：2023-03-09

申请号：US17897085

申请日：2022-08-26

申请人： Synopsys, Inc.

发明人： Mohan Mangal ,  Rohit Kumar Ohlayan ,  Himanshu Kathuria ,  Jaskaran Singh Ajimal

IPC分类号： G06F30/327 ,  G06F30/3308 ,  G06F30/3315

摘要： A system receives a specification of a circuit design for performing simulation of the circuit design. The specification includes one or more prototyping statements. A prototyping statement is processed by simulation of the circuit design. The system generates a netlist graph based on the specification of the circuit design. The system ignores the prototyping statements while generating the netlist graph. The system modifies the netlist graph to incorporate the prototyping statements of the specification. The netlist graph is modified by adding at least a net to the netlist graph based on a prototyping statement. The system performs static analysis based on the modified netlist graph.