EqMap: FPGA LUT Remapping using E-Graphs. - Matthew Hofmann; Berk Gokmen; Zhiru Zhang (ICCAD, 2025)

LLM-FSM: Scaling Large Language Models for Finite-State Reasoning in RTL Code Generation. - Yuheng Wu; Berk Gokmen; Zhouhua Xie; Peijing Li; Caroline Trippel; Priyanka Raina; Thierry Tambe (CoRR, 2026)