The timing diagrams allow for clock creation with a set period and pulse width.
clock clk with period 100 pulse 25
The above will produce a 25% duty cycle, which is great. but all of them start at t=0.
it would be awesome if I could define an offset:
clock clk with period 100 pulse 25 offset 50
This would result in the same pulse as the first one, but starting at t=50 out of the 100 period.