HDL generation with agentic verification

[placeholder about copy]