VeriTrace Enables Hypothesis-Driven Verilog Debugging via Temporal Exploration

VeriTrace expands the agentic action space for RTL generation by allowing agents independent control over signal selection, time-window bounds, and iteration depth. This enables hypothesis-driven root-cause analysis in waveforms rather than simple pattern matching on limited views.