从查找表网表逆向工程字级模型
介观与纳米尺度物理
2025-09-03 v1 光学
量子物理
摘要
从比特流到 RTL 模型的 FPGA 设计逆向工程，有助于理解设计的高层功能，并用于验证和重构遗留设计。快速进位链常用于 FPGA 设计中算子的综合。我们提出了一种通过分析 LUT（查找表）级网表中的这些进位链来检测字级结构的方法。我们还提出了将现有用于识别 ASIC 网表中组合操作和时序模块的技术适配到 LUT 网表的方法。所有开发与适配的技术被整合到一个集成工具链中，以辅助从 LUT 级网表逆向工程字级设计。在一组真实设计上进行评估时，该工具链推断出网表中 34% 到 100% 的元素属于已知的字级操作或已知的时序模块。
引用
@article{arxiv.2303.02763,
title = {Resonant two-laser spin-state spectroscopy of a negatively charged quantum dot-microcavity system with a cold permanent magnet},
author = {P. Steindl and T. van der Ent and H. van der Meer and J. A. Frey and J. Norman and J. E. Bowers and D. Bouwmeester and W. Löffler},
journal= {arXiv preprint arXiv:2303.02763},
year = {2025}
}
备注
7 pages, 5 figures. Supp. info: 7 pages, 9 figures