TY - RPRT TI - Understanding Inference-Time Token Allocation and Coverage Limits in Agentic Hardware Verification AU - Vihaan Patel AU - Vidya Chhabria AU - Aman Arora PY - 2026 UR - https://arxiv.org/abs/2604.15657 ID - 2604.15657 ER -