4 ms·Verification-Driven Development (VDD) via Iterative Adversarial Refinement2 points by sebg 9mo ago