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.
Most of the model is taken from nanos6, we should refactor them.
