[sv-ac] next[0] as clock alignment

Hi Doron, Dmitry:

I sent a comment yesterday about not wasting the next[0] syntax
on a no-op and that it makes sense for this to mean clock alignment.

Dana Fisman has a technical report that discusses this topic:

http://www.wisdom.weizmann.ac.il/~dana/publicatclcks_fix.pdf


J.H.

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.