Automatic Harness Evolution for Hardware Design Verification: Can LLMs Consolidate Gains Across Discovered Harnesses?
These results support archive-aware selection when evolution yields complementary specializations without consistent consolidation, and support archive-aware selection when evolution yields complementary specializations without consistent consolidation.
Kidus Seyoum, Ajay Mittur
· 1 citation