基于布尔可满足性的SRAM型FPGA软错误容错方法[发明专利]
来源：好兔宠物网
专利内容由知识产权出版社提供
专利名称：基于布尔可满足性的SRAM型FPGA软错误容错方
法
专利类型：发明专利发明人：孙凌宇,冷明,冷子阳申请号：CN202010133353.4申请日：20200301公开号：CN111241765A公开日：20200605
摘要：本发明涉及一种基于布尔可满足性的SRAM型FPGA软错误容错方法，针对SRAM型FPGA逻辑资源无关配置字、闲置配置字和布线资源互连配置字的特征，利用FPGA电路中存在的隐式冗余，通过对原电路重新进行逻辑综合，确保电路的等价逻辑转换的同时，力图采用最小的面积、功耗和性能的开销，减缓FPGA配置字软错误，降低软错误对FPGA系统功能的影响，进而增强FPGA芯片的容错能力、降低容错成本、提高FPGA器件的可靠性。
申请人：冷明
地址：343000 江西省吉安市吉州区安宁路15号6栋101室
国籍：CN
更多信息请下载全文后查看
因篇幅问题不能全部显示，请点此查看更多更全内容