37 citations · 47 across the 7 of their papers we have counts for
3 papers · 1 filter
Formal-Verification-Guided Bayesian Optimization for Non-Intrusive Last-Mile Coverage Closure
Chengjia Liu, Priyadarsi Mishra, David Kebo Houngninou +3
Last-mile functional coverage closure for modern chip designs remains costly because a mature UVM environment exposes many controls while direct hits on the remaining bins are spar…
Energy per Successful Goal: Goal-Level Energy Accounting for Agentic AI Systems
Deepak Panigrahy, Aakash Tyagi, Stephen Abkin +2
Current AI energy benchmarks measure consumption per model invocation. For agentic systems, where a single user goal may trigger multistep orchestration, tool calls, retries, and f…
The Energy Blind Spot: NVIDIA's Flagship Edge AI Hardware Cannot Support Process-Level Energy Attribution
Deepak Panigrahy, Aakash Tyagi
Agentic AI workloads - where a single user goal triggers multi-step orchestration, tool calls, retries, and failure recovery - are being targeted for edge deployment, with NVIDIA,…