ЛР3. Добавление тестового сценария для регистрового файла

В тестбенче был пропущен кейс на чтение из нулевого регистра до какой-либо записи в регистровый файл из-за чего не обнаруживалась ошибка, когда нулевой регистр принимал значение 0 только в случае записи любого значения по адресу ноль.

Closes #21.
This commit is contained in:
Andrei Solodovnikov
2024-03-12 13:33:46 +03:00
committed by GitHub
parent ce76bcc20e
commit e6b58feb4b

View File

@@ -74,6 +74,17 @@ module tb_rf_riscv();
$display("invalid memory size");
err_count = err_count + 1;
end
RA1 <= 'b0;
RA2 <= 'b0;
@(posedge CLK);
if( RD1 !== 'b0 ) begin
$display("time = %0t. invalid data when reading at address 0: RD1 = %h", $time, RD1);
err_count = err_count + 1;
end
if( RD2 !== 'b0 ) begin
$display("time = %0t. invalid data when reading at address 0: RD2 = %h", $time, RD2);
err_count = err_count + 1;
end
@(posedge CLK);
WD <= 32'd1;
WA <= '0;