Skip to content

Commit

Permalink
ЛР3. Добавление тестового сценария для регистрового файла
Browse files Browse the repository at this point in the history
В тестбенче был пропущен кейс на чтение из нулевого регистра до какой-либо записи в регистровый файл из-за чего не обнаруживалась ошибка, когда нулевой регистр принимал значение 0 только в случае записи любого значения по адресу ноль.

Closes #21.
  • Loading branch information
HepoH3 authored Mar 12, 2024
1 parent ce76bcc commit e6b58fe
Showing 1 changed file with 11 additions and 0 deletions.
11 changes: 11 additions & 0 deletions Labs/03. Register file and memory/tb_rf_riscv.sv
Original file line number Diff line number Diff line change
Expand Up @@ -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;
Expand Down

0 comments on commit e6b58fe

Please sign in to comment.