九霄智能申请用于对硬件描述语言代码进行静态检查的方法专利，有效提升检查速度

国家知识产权局信息显示，浙江九霄智能科技有限公司申请一项名为“用于对硬件描述语言代码进行静态检查的方法”的专利，公开号CN120610736A，申请日期为2025年06月。

专利摘要显示，本申请涉及一种用于对硬件描述语言代码进行静态检查的方法，通过构建精确的芯片对象模型并利用子模块接口模型进行高效的跨模块分析，有效提升了检查速度，避免了传统方法中因需要完整分析整个设计细节而造成的时间消耗；同时，基于该对象模型进行深入的语义层面分析，有效降低了误报和漏报率，提高了问题定位的准确性；此外，通过对检查结果进行智能归类和优先级排序，并支持对设计与验证代码的统一检查，大幅优化了用户体验，缩短了工程师的纠错时间，从而全面提升了芯片设计早期缺陷发现的效率和质量。

天眼查资料显示，浙江九霄智能科技有限公司，成立于2021年，位于衢州市，是一家以从事软件和信息技术服务业为主的企业。企业注册资本673.776454万人民币。通过天眼查大数据分析，浙江九霄智能科技有限公司共对外投资了2家企业，财产线索方面有商标信息1条，此外企业还拥有行政许可6个。

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

来源：市场资讯