BEHAVE: Functional Behavior Modeling Enables Self-Improving Agents for Hardware Design and Verification.

arXiv:2609.34785v1 Announce Type: new Abstract: 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 referenc