Verilog Agent NL → dut.v → trusted TB + host oracle · Restricted verification MVP
…

PASS/FAIL comes only from host verdict.py. The LLM never owns the testbench or oracle.

Agent timeline

    zoom

    Run a design to see its waveform.