Синтаксис SVA: использование $ past с выбором вектора / массива, то есть $ past (a [a_select])

Предположим, у меня есть следующее:

$past(a[a_select])

Скажем, в текущем цикле a_select равно «2», тогда как в предыдущем цикле было «1». Будет ли оценка выше a[2] из предыдущего цикла или a[1] из предыдущего цикла?

Если это будет a[1] из предыдущего цикла, что, если мне нужно, чтобы он был a[2] из предыдущего цикла - т.е. я хочу, чтобы выбор был из текущего цикла, но он должен выбрать бит из векторного значения из предыдущего цикла. Как это может быть сделано?


person O.K.    schedule 06.03.2018    source источник


Ответы (1)


Как правило, $past - это системная задача, которая возвращает значение выражения n событий часов до. Если a_select в текущем цикле равно '2', тогда выражение $past(a[a_select]) вернет значение a[2] из предыдущего события часов.

person nick_g    schedule 07.03.2018