国家知识产权局信息数据显现，上海概伦电子股份有限公司请求一项名为“一种依据层次化依靠的SystemVerilog动态束缚增量求解办法及体系”的专利，公开号CN121031480A，请求日期为2025年8月。

  专利摘要显现，本发明触及芯片规划自动化技术领域，公开了一种依据层次化依靠的SystemVerilog动态束缚增量求解办法及体系，包含：解析SystemVerilog束缚语义结构，构建随机变量间的求解依靠图；依据所述求解依靠图进行层次化分配，将变量划分至不同层级的求解块，保证无依靠变量优先求解；依据动态数据结构规划改变的特性，在对应求解块中自适应生成并保护随机变量及束缚条件；选用增量更新战略，仅更新受影响的求解块，并复用求解器保存的前史状况进行部分求解，完成一种依据层次化求解依靠剖析、增量束缚办理与求解增量调用的动态束缚求解结构，旨在为硬件验证中的杂乱动态数据结构供给高效的束缚求解解决方案，经过解析束缚联系、优化求解流程并复用求解器信息，显着提高验证功率。

  天眼查资料显现，上海概伦电子股份有限公司，成立于2010年，坐落上海市，是一家以从事软件和信息技术服务业为主的企业。企业注册资本43517.7853万人民币。经过天眼查大数据剖析，上海概伦电子股份有限公司共对外出资了20家企业，参加招投标项目55次，产业线条，此外企业还具有行政许可10个。

  声明：商场有危险，出资需谨慎。本文为AI依据第三方数据生成，仅供参考，不构成个人出资主张。