逆向一款 ASIC 芯片：Jane Street 挑战的 20 天硬磕记录
来源：jestoph.com — jestoph.com · 273 分 · by anitil
📋 概述
作者花了近一个月硬啃 Jane Street 发布的反向工程挑战：从一段描述芯片版图的 GDS 文件出发，一步步反推出内部逻辑，最终解出正确答案“(* TWO STARS *)”。文章按时间线复盘了用 gdstk 解析 27 个 cell、识别寄存器与比较器、构造 120 位输入约束，再到把验证关了硬跑完整仿真的过程，并自我调侃“总是选最难的那条路”。
🔑 核心要点
- 挑战要求从 GDS 版图文件反推出芯片行为，分热身与正式两关。
- 热身关共 27 个 cell，用 python 的 gdstk 库即可读取。
- 作者把相触的线段合并为同一根线来简化连线图。
- 输入需在比较器中求和到 496，最终合成 120 位约束求解。
- 正确答案输出为 (* TWO STARS *)，发信后次日获官方确认。
💡 金句
把验证关掉只是暂时的，但能熬过三周不睡觉、终于跑出 Solver 的那一瞬，手真的在抖。
👍 0
👎 0
← 返回 Hacker News 首页