Generates a script with the values of the delta clock, PRV type and value to be matched in the .prv traces, to ensure the emulator emitted the switching type event.
Generates a script with the values of the delta clock, PRV type and value to be matched in the .prv traces, to ensure the emulator emitted the switching type event.