利用 RECUT 与 REFSM-SAT 提升硬件安全中 FSM 状态枚举性能
硬件体系结构
2023-11-20 v1
摘要
有限状态机(FSM)由时序电路实现,用于协调硬件设计的运行。旨在防止 IP 盗窃的时序混淆方案通常在综合后通过扩充设计的 FSM 来运作。许多此类方案基于从综合后设计中恢复 FSM 拓扑结构的能力。本文提出两种可提升拓扑提取性能的工具:RECUT,从网表中提取 FSM 实现;REFSM-SAT,将拓扑枚举求解为一系列 SAT 问题。在某些情况下,这些工具相较现有方法可显著提升性能,运行时长最多减少 99%。
引用
@article{arxiv.2311.10273,
title = {Improving FSM State Enumeration Performance for Hardware Security with RECUT and REFSM-SAT},
author = {Jim Geist and Travis Meade and Shaojie Zhang and Yier Jin},
journal= {arXiv preprint arXiv:2311.10273},
year = {2023}
}
备注
7 pages, 2 figures, 2 algorithms