1 citations · 1 across the 1 of their papers we have counts for
2 papers
cs.AI2026
BEHAVE: Functional Behavior Modeling Enables Self-Improving Agents for Hardware Design and Verification
Yuheng Wu, Berk Gokmen, Sujeeth Jinesh +5
Developing agents for hardware design and verification requires reliable correctness feedback. As a hardware specification may permit correct implementations with different latenci…
cs.AI2026★ 1 cited
LLM-FSM: Scaling Large Language Models for Finite-State Reasoning in RTL Code Generation
Yuheng Wu, Berk Gokmen, Zhouhua Xie +4
Finite-state reasoning, the ability to understand and implement state-dependent behavior, is central to hardware design. In this paper, we present LLM-FSM, a benchmark that evaluat…