昆仑芯申请芯片信息验证方法相关专利，涉及芯片设计及形式验证技术领域
创始人
2025-05-30 13:34:37
0次
金融界2025年5月30日消息，国家知识产权局信息显示，昆仑芯（北京）科技有限公司申请一项名为“芯片信息验证方法、装置、设备、介质及程序产品”的专利，公开号CN120068754A，申请日期为2025年04月。
专利摘要显示，本公开提供了芯片信息验证方法、装置、电子设备、存储介质以及程序产品，涉及芯片技术领域，尤其涉及芯片设计技术领域以及形式验证技术领域。具体实现方案为：基于芯片的设计信息，生成参考信息，其中，参考信息包括芯片中用于传输信号的信号路径的标识信息；基于参考信息，对芯片的设计信息进行信息抽取，得到目标设计信息，其中，目标设计信息包括信号路径的属性信息；基于参考信息，获取在信号路径中传输的信号的约束信息；以及在约束信息为约束条件的情况下，基于目标设计信息，对信号路径的连接性进行形式验证，得到验证结果。
天眼查资料显示，昆仑芯（北京）科技有限公司，成立于2011年，位于北京市，是一家以从事科技推广和应用服务业为主的企业。企业注册资本1874.438777万人民币。通过天眼查大数据分析，昆仑芯（北京）科技有限公司共对外投资了5家企业，参与招投标项目12次，财产线索方面有商标信息175条，专利信息353条，此外企业还拥有行政许可3个。
来源：金融界
相关内容
热门资讯
人工智能热潮下 存储芯片行业将...
（央视财经《天下财经》）从行业角度来看，摩根士丹利的最新研报预测，人工智能热潮下，存储芯片行业预计迎...
原创 时...
最近，俄罗斯的动作可谓让人意外。普京亲自视察了俄罗斯的联合发动机公司工厂，并且宣布要向中国提供最新的...
孙颖莎、王曼昱女单争金，王楚钦...
10月4日，WTT中国大满贯进行了两场男单1/4决赛和两场女单半决赛的争夺，国乒在外战中全部取得胜利...
【原创】电动汽车车载充电机电路...
1 专家门诊 熊老师您好！我检修过几台电动汽车的车载充电机，不明白车载充电机电路板，为什么要设计成将...
仅4万粉丝的“AI女演员”震动...
蒂莉·诺伍德原本是一位名不见经传的“新秀演员”，她在今年5月才开始发布社媒账号。尽管她光鲜亮丽、妆容...
中秋国庆“不打烊”！西部陆海新...
中秋国庆假期，西部陆海新通道两大标志性工程——黄百铁路、平陆运河的建设现场热火朝天。上万名建设者挖隧...
涉嫌严重违纪违法，樊永鸿被查
郑州市中原区人民法院党组副书记、副院长、四级高级法官樊永鸿涉嫌严重违纪违法，目前正接受郑州市纪委监委...
取消高速收费“第一枪”打响 此...
【资料来源于四川省交通厅、大象新闻、大河网、极目新闻等】 众所周知，全国收费高速公路在大家的印象中只...
维峰电子获得发明专利授权：“一...
证券之星消息，根据天眼查APP数据显示维峰电子（301328）新获得一项发明专利授权，专利名为“一种...
事发南昌闹市区街头！男子手拿折...
10月1日晚，网传江西南昌红谷滩世贸路上有一赤膊男子持刀，被路人踹倒控制后交给民警。2日， 南昌网警...