一种用于RTL批量仿真的跨激励冗余计算消除方法及系统

本发明公开了一种用于RTL批量仿真的跨激励冗余计算消除方法及系统，属于集成电路设计自动化以及高性能并行仿真加速技术领域，通过在编译阶段构建RTL组合逻辑的有向无环图，将传统逐激励独立执行的仿真方式转换为面向共享计算的执行方式，使不同输入激励之间潜在的结构相似性和共享子表达式能够被显式识别和利用；随后，通过在每个检测节点处执行跨激励状态匹配和合并，将中间状态等价的输入激励划分为代表激励和跟随激励，并终止跟随激励的执行流程，使跟随激励与其对应的代表激励共享后续执行结果，使等价激励后续共同激活的DAG子图仅需计算一次，减少重复逻辑运算，提升RTL批量仿真的执行效率和仿真系统的吞吐率。