面向芯片安全的 EDA 工具研发
价格 双方协商
地区: 湖南省 衡阳市 蒸湘区
需求方: 南华**
行业领域
电子信息技术
需求背景
为全面落实“三高四新”战略定位和使命任务,按照省委省政府有关决策部署,进一步加强前沿性、引领性和关键共性技术攻关,提升科技创新支撑引领作用。研发新一代人工智能共性关键技术以服务湖南中小企业发展科技创新。
需解决的主要技术难题
1、针对芯片在寄存器传输级代码开发或者第三方 IP 核中存在的设计缺陷以及恶意逻辑,
2、从芯片安全漏洞特征提取、检测、定位三个方面,开展关键链路提取技术、硬件安全形式化验证技术、低活性节点定位技术研究,形成RTL 级硬件安全漏洞检测与定位方法,开发相关 EDA 工具,与国产操作系统集成适配。
期望实现的主要技术目标
1、提出 1 种芯片安全关键链路提取技术,关键链路分析深度≥500 等效门/bit;
2、形成 1 种 RTL 级芯片安全形式化验证技术,形式化建模支持规模>100000 门;
3、形成 1种低活性节点定位技术,低活性节点提取覆盖率≥95%;
4、最终形成 1 款芯片安全漏洞检测 EDA 工具,实现与国产操作系统集成适配。
5、申请发明专利 3 项。
需求解析
解析单位:“科创中国”智能技术体系化应用专业科技服务团(北京航空航天大学) 解析时间:2023-09-26
郑立刚
智能技术体系化应用服务团
技术专员
综合评价
解析单位:湖南省衡阳市 解析时间:2023-09-19
段斌
衡阳市科学技术协会
部长
综合评价
处理进度