Добавьте задержку между отбором проб и проверкой - PullRequest
Новая
       27

Добавьте задержку между отбором проб и проверкой

0 голосов
/ 10 апреля 2019

Я написал свойство утверждения.Я хочу добавить задержку между выборкой и проверкой действий.

В основном ниже утверждение говорит о том, что assert_sig должен быть стабильным, когда sig1 или sig2 1. 

property check_assert(assert_sig, assert_sig_dis);
    @(assert_sig)
    disable iff(!lane_assertion_enabled || assert_sig_dis)
    ((sig1!==1'b1) && (sig2!==1'b1));
  endproperty

Теперь проблема в том, что assert_sig de-assert в то же время, что и sig1.Вот почему утверждение неверно.Я хочу добавить задержку в 1ps между проверкой действия и выборкой.Является ли это возможным?Или любой другой подход также будет оценен.Заранее спасибо.

1 Ответ

0 голосов
/ 10 апреля 2019

Блоки синхронизации обеспечивают перекос выборки 

clocking as @(assert_sig)
input #1ps sig1;
endclocking

Затем используйте as.sig1 в вашей собственности.

...