Charles Dančak, “Catching the Elusive Voltage Spike with Analog/Mixed-Signal SVA/PSL Assertions”, Design and Verification Conference and Exhibition (DVCon) U.S., 2025. Paper (pdf) Presentation Slides (pdf)