Preprint Open access
BEHAVE: Functional Behavior Modeling Enables Self-Improving Agents for Hardware Design and Verification
Developing agents for hardware design and verification requires reliable correctness feedback. As a hardware specification may permit correct implementations with different latencies, matching design and reference outputs cycle by cycle can reject valid designs. To address this, we introduce BEHAVE, an agentic framewor …