Check in waveform definitions