一种基于层次化依赖的SystemVerilog动态约束增量求解方法及系统

本发明涉及芯片设计自动化技术领域，公开了一种基于层次化依赖的SystemVerilog动态约束增量求解方法及系统，包括：解析SystemVerilog约束语义结构，构建随机变量间的求解依赖图；依据所述求解依赖图进行层次化分配，将变量划分至不同层级的求解块，确保无依赖变量优先求解；根据动态数据结构规模变化的特性，在对应求解块中自适应生成并维护随机变量及约束条件；采用增量更新策略，仅更新受影响的求解块，并复用求解器保留的历史状态进行局部求解，实现一种基于层次化求解依赖分析、增量约束管理与求解增量调用的动态约束求解框架，旨在为硬件验证中的复杂动态数据结构提供高效的约束求解解决方案，通过解析约束关系、优化求解流程并复用求解器信息，显著提升验证效率。