In the current draft, clock_times (part of AMI_GetWave) contains as part of its definition, the following text: Any non-strict monotonic behavior of clock times (including two identical values) should be considered by EDA tool as an algorithmic model failure. This suggests that two successive identical values should be an error and cause simulation failure. But later, the following text appears: In the case of a receiver without a CDR, it is possible for only -1 to ever be output during all AMI_GetWave calls. This suggests that the EDA tool should *not* flag an error if successive identical clock_times values are seen, so long as they are -1. Without a separate flag for "no_CDR", the tool has no insight into whether a CDR is actually present or not. Am I interpreting this correctly? - MM