机构名称：
¥ 1.0
摘要 - 硬件网络名单通常会转换为botstream，并通过供应商提供的工具加载到FPGA板上。由于这些工具的专有性质，设计师必须相信设计转换为Bitstream的有效性。但是，动机的攻击者可能会改变CAD工具的完整性或操纵存储的Bitstream，以破坏设计的功能。本文提出了一种新方法，以证明合成的Netlist与产生的FPGA Bitstream之间的功能等效性。新颖的方法由两个阶段组成：首先，我们展示了如何利用实现信息对网表进行一系列转换，这不会影响其功能，但要确保其在结构上与FPGA物理实现的内容匹配。第二，我们提出了一个结构映射和等效性检查算法，该算法验证了该物理网络列表与BITSTREAM完全匹配。我们在几个基准设计上验证了此过程，包括通过注入数百个设计修改来检查误报。
使用物理网表的生成和结构比较来确保NetList到Bitstream等效性
主要关键词
相关文件推荐
