Check _Next for more than 1 clock

[cjchin]

I think it is missing a section to describe that if Start_Event is asserted for X cycles, that it will also check that expression will also need to be asserted for X cycles.

And to maybe to put a decription where the description of allowing for overlaps

What do you think?

[cjchin]

[cjchin]

In addition, I believe it will be better to illustrate the meaning of allow_missing_start. such as having an example like:

[LarsAsplund]

I think the continuously asserted start event has been described already

"check_next passes if expr = '1' num_cks active (according to active_clock_edge) and enabled (en = '1') clock edges after a start event. The start event is defined by an active and enabled clock edge for which start_event = '1'."

So if you have many start events in a row there will be many clock cycles with expr = '1' in a row.

I can add your figure for allow_missing_start. Can you provide the .json?

[cjchin]

Ok I will make a pull request for this item.

Do you mind if i also change "check_next passes if expr = '1' num_cks active..." to "check_next passes if expr = '1' for the num_cks active..."?