Understanding Inference-Time Token Allocation and Coverage Limits in Agentic Hardware Verification. - Vihaan Patel; Vidya A. Chhabria; Aman Arora 001 (CoRR, 2026)