昆仑芯申请芯片信息验证方法相关专利，涉及芯片设计及形式验证技术领域
创始人
2025-05-30 13:34:37
0次
金融界2025年5月30日消息，国家知识产权局信息显示，昆仑芯（北京）科技有限公司申请一项名为“芯片信息验证方法、装置、设备、介质及程序产品”的专利，公开号CN120068754A，申请日期为2025年04月。
专利摘要显示，本公开提供了芯片信息验证方法、装置、电子设备、存储介质以及程序产品，涉及芯片技术领域，尤其涉及芯片设计技术领域以及形式验证技术领域。具体实现方案为：基于芯片的设计信息，生成参考信息，其中，参考信息包括芯片中用于传输信号的信号路径的标识信息；基于参考信息，对芯片的设计信息进行信息抽取，得到目标设计信息，其中，目标设计信息包括信号路径的属性信息；基于参考信息，获取在信号路径中传输的信号的约束信息；以及在约束信息为约束条件的情况下，基于目标设计信息，对信号路径的连接性进行形式验证，得到验证结果。
天眼查资料显示，昆仑芯（北京）科技有限公司，成立于2011年，位于北京市，是一家以从事科技推广和应用服务业为主的企业。企业注册资本1874.438777万人民币。通过天眼查大数据分析，昆仑芯（北京）科技有限公司共对外投资了5家企业，参与招投标项目12次，财产线索方面有商标信息175条，专利信息353条，此外企业还拥有行政许可3个。
来源：金融界
相关内容
热门资讯
“法治+非遗”剧本杀来了！设计...
5月30日，广州市人民检察院联合广州市文化广电旅游局举办“携手关爱，共护未来”暨“文化赋能保护，法治...
耕耘电器申请一种高散热型电力开...
金融界2025年5月31日消息，国家知识产权局信息显示，常州市耕耘电器有限公司申请一项名为“一种高散...
单依纯回应被说像王菲：我们永远...
搜狐和娱乐训 近日，在某节目中单依纯回应被说像王菲，她表示不想因为这些声音改变自己的信念，唱喜欢的歌...
荣耀申请电路板组件及电子设备相...
金融界 2025 年 5 月 31 日消息，国家知识产权局信息显示，荣耀终端股份有限公司申请一项名为...
视显光电取得便于散热的视觉检测...
金融界2025年5月31日消息，国家知识产权局信息显示，深圳市视显光电技术有限公司取得一项名为“一种...
基合半导体申请超声波传感器相关...
金融界2025年5月31日消息，国家知识产权局信息显示，基合半导体（宁波）有限公司申请一项名为“超声...
新存科技申请三维堆叠存储器及其...
金融界2025年5月31日消息，国家知识产权局信息显示，新存科技（武汉）有限责任公司申请一项名为“一...
美的申请电源线的检测保护装置等...
金融界2025年5月31日消息，国家知识产权局信息显示，广东美的制冷设备有限公司申请一项名为“电源线...
美的申请电源线检测保护装置相关...
金融界2025年5月31日消息，国家知识产权局信息显示，广东美的制冷设备有限公司申请一项名为“电源线...
瀚强科技申请射频电源装置及射频...
金融界2025年5月31日消息，国家知识产权局信息显示，深圳市瀚强科技股份有限公司申请一项名为“射频...