超竞赛冠军
能从高度优化的门级算数电路中自动恢复人可读懂的字级表达式，无需器件库或引脚信息。
Kuo-Wei, Ho · Shao-Ting, Chung · Tian-Fu, Chen · Yu-Wei, Fan · Che, Cheng · Cheng-Han, Liu · Jiang, Jie-Hong Roland
2023
不依赖预定义器件库匹配，直接处理高度优化的门级电路。
在 2022 ICCAD CAD Contest 基准上，求解数量超过冠军团队，且表达式更紧凑。
能在10分钟内有效提取大多数字级函数，适合实际工程使用。
即使没有输入输出引脚信息也能处理电路，扩大了适用范围。