[发明专利]基于布尔可满足性的SRAM型FPGA软错误容错方法在审
申请号: | 202010133353.4 | 申请日: | 2020-03-01 |
公开(公告)号: | CN111241765A | 公开(公告)日: | 2020-06-05 |
发明(设计)人: | 孙凌宇;冷明;冷子阳 | 申请(专利权)人: | 冷明 |
主分类号: | G06F30/343 | 分类号: | G06F30/343;G06F30/34;G06F30/347 |
代理公司: | 暂无信息 | 代理人: | 暂无信息 |
地址: | 343000 江西省吉*** | 国省代码: | 江西;36 |
权利要求书: | 查看更多 | 说明书: | 查看更多 |
摘要: | 本发明涉及一种基于布尔可满足性的SRAM型FPGA软错误容错方法,针对SRAM型FPGA逻辑资源无关配置字、闲置配置字和布线资源互连配置字的特征,利用FPGA电路中存在的隐式冗余,通过对原电路重新进行逻辑综合,确保电路的等价逻辑转换的同时,力图采用最小的面积、功耗和性能的开销,减缓FPGA配置字软错误,降低软错误对FPGA系统功能的影响,进而增强FPGA芯片的容错能力、降低容错成本、提高FPGA器件的可靠性。 | ||
搜索关键词: | 基于 布尔 满足 sram fpga 错误 容错 方法 | ||
【主权项】:
暂无信息
下载完整专利技术内容需要扣除积分,VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息,商用须获得专利权人授权。该专利全部权利属于冷明,未经冷明许可,擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作,请联系【客服】
本文链接:http://www.vipzhuanli.com/patent/202010133353.4/,转载请声明来源钻瓜专利网。