Sat-based speedpath debugging using waveforms