Trust, but Validate the Instrument: Auditing AI-Generated RTL Verification Plans on Authored Security-Regression Proxies

SecTB-RTL evaluates AI-generated RTL verification plans against 124 hardware-security regressions to detect schema-execution mismatches. In testing, a provider accepted 1,857 responses, but only nine passed semantic validation, demonstrating that schema compliance does not guarantee functional correctness. Results show compilation and coverage metrics are insufficient for validating execution integrity.