本文源自:市场资讯

国家知识产权局信息显示，上海概伦电子股份有限公司申请一项名为“一种基于层次化依赖的SystemVerilog动态约束增量求解方法及系统”的专利，公开号CN121031480A，申请日期为2025年8月。

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

天眼查资料显示，上海概伦电子股份有限公司，成立于2010年，位于上海市，是一家以从事软件和信息技术服务业为主的企业。企业注册资本43517.7853万人民币。通过天眼查大数据分析，上海概伦电子股份有限公司共对外投资了20家企业，参与招投标项目55次，财产线索方面有商标信息34条，专利信息132条，此外企业还拥有行政许可10个。

声明：市场有风险，投资需谨慎。本文为AI基于第三方数据生成，仅供参考，不构成个人投资建议。