天数智芯申请芯片设计验证方法专利,提高芯片设计及验证的效率和有效性
创始人
2026-01-10 12:11:27
0

国家知识产权局信息显示,北京天数智芯半导体科技有限公司申请一项名为“芯片设计验证方法、系统、电子设备及存储介质”的专利,公开号CN121303010A,申请日期为2025年12月。

专利摘要显示,本申请提供一种芯片设计验证方法、系统、电子设备及存储介质。芯片设计验证方法包括:获取芯片的设计文件及该设计文件对应的设计阶段;从多个协同验证方式中选择与所述设计阶段匹配的目标协同验证方式;其中,所述协同验证方式包括逻辑仿真验证和形式验证之间协同对所述设计文件进行验证的方式;不同设计阶段对应的协同验证方式不同,且不同的协同验证方式中逻辑仿真验证与形式验证之间的协同方式不同;基于所述目标协同验证方式对所述设计文件进行验证。该方法使得逻辑仿真验证与形式验证协同工作,结合各自的优点进行互补,以提高芯片设计及验证的效率和有效性。

天眼查资料显示,北京天数智芯半导体科技有限公司,成立于2021年,位于北京市,是一家以从事科技推广和应用服务业为主的企业。企业注册资本1000万人民币。通过天眼查大数据分析,北京天数智芯半导体科技有限公司参与招投标项目1次,专利信息53条,此外企业还拥有行政许可3个。

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

来源:市场资讯

相关内容

热门资讯

独家分享“云梦天穹到底有挂吗”... 你好:云梦天穹这款游戏可以开挂,确实是有挂的,需要了解加客服微信【9158489】,而且好像能看到-...
「第一财经」“免安装麻将机遥控... 免安装麻将机遥控器怎么下挂是一款可以让一直输的玩家,快速成为一个“必胜”的ai辅助神器,有需要的用户...
玩家攻略“闽游麻将拼多多到底有... 玩家攻略“闽游麻将拼多多到底有挂吗”!必胜开挂神器您好,闽游麻将拼多多这个游戏其实有挂的,确实是有挂...
重磅消息“川蜀汇开挂软件”!详... 你好:川蜀汇这款游戏可以开挂,确实是有挂的,需要了解加客服微信【8435338】,而且好像能看到-人...
「第一资讯」“卡贝大厅拼三张怎... 网上科普关于“卡贝大厅拼三张有没有挂”话题很是火热,小编也是针对卡贝大厅拼三张作*弊开挂的方法以及开...
「今日要闻」“博雅地方棋牌辅助... 你好:博雅地方棋牌这款游戏可以开挂,确实是有挂的,需要了解加客服微信【9158489】,而且好像能看...
重大通报“益乐绍兴麻将开挂神器... 你好:益乐绍兴麻将这款游戏可以开挂,确实是有挂的,需要了解加客服微信【8435338】,而且好像能看...
最新引进“一起温州游戏真的有挂... 一起温州游戏怎么下挂是一款可以让一直输的玩家,快速成为一个“必胜”的ai辅助神器,有需要的用户可以加...
玩家科普“盼盼十三水怎么装挂”... 您好,盼盼十三水这款游戏可以开挂的,确实是有挂的,需要了解加微【8435338】,很多玩家在盼盼十三...
「第一发现」“永乐跑胡子怎么装... 家们!今天小编来为大家解答永乐跑胡子透视挂怎么安装这个问题咨询软件客服徽9158489的挂在哪里买很...