Assertion list
pulse (primary) → AtLocation
Results from Ascent++: 4
pulse → AtLocation → the input waveform 0.34
pulse → AtLocation → off state 0.33
pulse → AtLocation → a chirp of changing frequency 0.25
pulse → AtLocation → constant frequency 0.25