Я пытаюсь подтвердить поведение протокола I2C.Я хочу заявить о свойстве, что за START должно следовать STOP или REP_START где-то вниз по линии.У меня есть 3 бита: start, который повышается, когда встречается условие запуска, и остается высоким до тех пор, пока не встречается остановка или rep_start stop, который повышается, когда достигается условие останова, и аналогично для repeat_start.
Я на правильном пути, когда я пытаюсь заявить о своей собственности таким образом?Я думал, что использование s_until будет работать, так как я хочу, чтобы он в конце концов проверял остановку или rep_start:
assert property(@(posedge scl) start until stop_reached)
else
$error("I2C sequence error");
Любые входные данные приветствуются.Спасибо!