A library that generates new clocks based on a base period.
v is a Copilot variable, then
clk ( period 3 ) ( phase 1 )
is equivalent to a stream of values like:
cycle [False, True, False]
that generates a stream of values
False True False False True False False True False ...
0 1 2 3 4 5 6 7 8
That is true every 3 ticks (the period) starting on the 1st tick (the phase).
The period must be greater than 0.
The phase must be greater than or equal to 0.
The phase must be less than the period.