У меня есть последовательный вывод модуля Verilog, который я хотел бы протестировать с помощью system-verilog.
Результат, названный 'SO', будет выводить что-то вроде 8'hC6 при правильном последовательном входе 'SI' со значением, скажем, 8'h9A.
Есть ли простой способ кодировать / декодировать последовательные операции ввода-вывода без явного описания каждого сигнала?
Например:
assert property @(posedge clk) $rose(EN) |-> ##[1:3] SI ##1 !SI[*2] ##1 SI[*2] ##1 !SI ##1 SI ##1 !SI
##[1:3] SO[*2] ##1 !SO[*3] ##1 SO[*2] ##1 !SO;
Это похоже на беспорядок и плохо читается. Я бы очень хотел просто написать
8'h9A ##[1:3] 8'hC6
но, очевидно, это не работает. Любые советы или примеры будут более чем приветствоваться. Заранее спасибо.