[发明专利]基于逆向工程的Xilinx FPGA固核IP破解方法在审
| 申请号： | 201810051663.4 | 申请日： | 2018-01-19 |
| 公开（公告）号： | CN108268801A | 公开（公告）日： | 2018-07-10 |
| 发明（设计）人： | 陈哲;郭世泽;王坚;李桓;杨鍊 | 申请（专利权）人： | 电子科技大学 |
| 主分类号： | G06F21/76 | 分类号： | G06F21/76;G06F21/14 |
| 代理公司： | 成都正华专利代理事务所(普通合伙) 51229 | 代理人： | 李蕊;李林合 |
| 地址： | 611731 四川省成*** | 国省代码： | 四川;51 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明公开了一种基于逆向工程的Xilinx FPGA固核IP破解方法，首先建立工程，然后调用待破解固核IP并配置固核IP的参数，接着生成并获取比特流文件后，对生成的比特流文件进行逆向工程操作，使用形式化验证的方法剔除IP核以外的冗余代码，得到待破解固核IP的源代码，从而破解固核IP。本发明可以完整破解出网表信息加密但能生成比特流的固核IP的Verilog源代码，从而发现侵犯Xilinx FPGA知识产权的途径，并将其提供给FPGA开发厂商，以便其设计相应的防御措施来防止IP核被侵权。 | ||
| 搜索关键词： | 固核 破解 逆向工程 源代码 比特流文件 形式化验证 防御措施 冗余代码 网表信息 比特流 调用 剔除 加密 知识产权 厂商 配置 发现 开发 | ||
【主权项】：
1.基于逆向工程的Xilinx FPGA固核IP破解方法，其特征在于，包括以下步骤：S1、建立工程，编写Verilog文件作为工程的主文件，使用内核生成器调用待破解固核IP并配置固核IP的相关参数；S2、获取FPGA中的Wrapper文件，得到待破解固核IP的输入输出端口信息；S3、根据FPGA可使用输入输出端口数量M和待破解固核IP输入输出端口数量N的大小关系选择不同的破解模式对待破解固核IP进行破解；S4、获取工程的比特流文件；S5、采用FPGA逆向工程工具对所述比特流文件进行逆向工程操作，得到工程的Verilog源代码；S6、根据步骤S3选择的破解模式对所述Verilog源代码进行相应处理，得到待破解固核IP的源代码，从而破解固核IP。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于电子科技大学，未经电子科技大学许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201810051663.4/，转载请声明来源钻瓜专利网。
