Утверждение перекоса часов

Question

Можно ли иметь абсолютные задержки, указанные в последовательностях для утверждений, как показано ниже:

sequence Sab
 a # 2ns b;
endsequence

Это не компилируется точно. Но я просто хотел узнать, как поступить в таких ситуациях, когда мы хотим написать утверждения для задержек, а не с точки зрения тактовых циклов?

Например: я хочу написать утверждение для проверки асимметричных отношений между двумя часами? Как указать утверждение для срабатывания, когда перекос превышает, например, 5 пс?

Answer 1

Вы используете проверки времени, такие как $skew. См. Раздел 31 IEEE Std 1800-2012 LRM