Catching the Elusive Voltage Spike with Analog/Mixed-Signal SVA/PSL Assertions