昆仑芯申请芯片信息验证方法相关专利，涉及芯片设计及形式验证技术领域
创始人
2025-05-30 13:34:37
0次
金融界2025年5月30日消息，国家知识产权局信息显示，昆仑芯（北京）科技有限公司申请一项名为“芯片信息验证方法、装置、设备、介质及程序产品”的专利，公开号CN120068754A，申请日期为2025年04月。
专利摘要显示，本公开提供了芯片信息验证方法、装置、电子设备、存储介质以及程序产品，涉及芯片技术领域，尤其涉及芯片设计技术领域以及形式验证技术领域。具体实现方案为：基于芯片的设计信息，生成参考信息，其中，参考信息包括芯片中用于传输信号的信号路径的标识信息；基于参考信息，对芯片的设计信息进行信息抽取，得到目标设计信息，其中，目标设计信息包括信号路径的属性信息；基于参考信息，获取在信号路径中传输的信号的约束信息；以及在约束信息为约束条件的情况下，基于目标设计信息，对信号路径的连接性进行形式验证，得到验证结果。
天眼查资料显示，昆仑芯（北京）科技有限公司，成立于2011年，位于北京市，是一家以从事科技推广和应用服务业为主的企业。企业注册资本1874.438777万人民币。通过天眼查大数据分析，昆仑芯（北京）科技有限公司共对外投资了5家企业，参与招投标项目12次，财产线索方面有商标信息175条，专利信息353条，此外企业还拥有行政许可3个。
来源：金融界
相关内容
热门资讯
奥科智能电位采集仪：埋地管道腐...
在埋地管道这一“能源动脉”的健康监护体系中，山东奥科防腐工程有限公司自主研发的智能电位采集仪，堪称守...
MICRONE微盟代理商ME6...
概述 ME6216系列是高精度、低功耗、采用CMOS技术 制造的正电压稳压器。这些器件提供大电流，具...
ME6219 CMOS低压差线...
概述 ME6219系列是以 CMOS工艺制造的高精度，低 噪音，超快响应低压差线性稳压器。这系列的...
半导体设备ETF（159516...
半导体设备ETF（159516）近10日净流入超7亿元，市场关注AI芯片与国产化进程。 东海证券指出...
环旭电子将在越南海防厂投资硅光...
（全球TMT2025年12月17日讯）USI环旭电子越南海防厂于2021年投产，已建成生产面积5万平...
CPO板块短线拉升 中富电路、...
12月17日早盘，A股CPO板块短线拉升。截至9时39分，中富电路、长飞光纤涨超8%，永鼎股份、光库...
世运电路（603920）12月...
证券之星消息，截至2025年12月16日收盘，世运电路(603920)报收于41.61元，上涨4.0...
再创历史！登贝莱获FIFA年度...
在2025年FIFA最佳颁奖典礼上，巴黎圣日耳曼的前锋登贝莱以无可争议的表现当选本年度FIFA最佳球...
神思电子：中标1.99亿元低空...
中证智能财讯 神思电子（300479）12月16日晚间公告，公司作为牵头单位与浪潮智慧城市科技有限公...