Text this: Formal Verification of Three-Valued Digital Waveforms