2026
AnalogVerifier: A Neuro-Symbolic Framework for Analog Circuit Verification
ICML 2026poster
Analog circuits constitute the indispensable interface between physical reality and digital computation, underpinning safety-critical systems from autonomous driving to medical implants. Consequently, verification correctness is paramount; yet, it remains the critical bottleneck in hardware design, …