1 paper · 1 filter
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…