国家知识产权局信息显示，湖北芯擎科技股份有限公司申请一项名为“一种芯片常量端口形式验证方法、装置、设备及存储介质”的专利，公开号CN122595944A，申请日期为2026年7月。

专利摘要显示，本发明公开了一种芯片常量端口形式验证方法、装置、设备及存储介质，涉及芯片验证技术领域，该方法包括：获取待验证子模块的设计文件以及时序模型文件，设计文件包括逻辑设计文件和物理实现文件，时序模型文件中标记有常量端口的常量属性；从时序模型文件中提取标记有常量属性的端口及其对应的常量值；利用形式验证工具，基于提取的端口和常量值，将逻辑设计文件中对应端口的逻辑功能与常量值进行第一等价验证，并将物理实现文件中对应端口的逻辑功能与常量值进行第二等价验证，得到专项验证结果；根据专项验证结果，确定子模块的常量端口的专项签核结论。本申请可解决层次化设计中常量端口验证不规范、属性传递易失真的问题。

天眼查资料显示，湖北芯擎科技股份有限公司，成立于2018年，位于武汉市，是一家以从事软件和信息技术服务业为主的企业。企业注册资本27653.0116万人民币。通过天眼查大数据分析，湖北芯擎科技股份有限公司共对外投资了7家企业，参与招投标项目10次，财产线索方面有商标信息33条，专利信息154条，此外企业还拥有行政许可3个。

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

本文源自：市场资讯

作者：情报员