“The ChipAgents platform can autonomously generate formal test plans and SystemVerilog assertions, completing the verification loop.”