Исправление микроархитектурной реализации jalr

Предыдущая реализация не выполняла требование спецификации по обнулению младшего бита суммы, используемой в качестве нового значения программного счетчика. Подробнее см. RISC-V Unprivileged ISA V20191213 стр. 21 Closes #12
MPSU · Oct 4, 2023 · 5f33be6 · 5f33be6
1 parent 8563831
commit 5f33be6
Show file tree

Hide file tree

Showing 4 changed files with 1 addition and 1 deletion.
diff --git a/.pic/Labs/lab_06_dp/fig_01.drawio.png b/.pic/Labs/lab_06_dp/fig_01.drawio.png
diff --git a/.pic/Labs/lab_10_irq/fig_02.drawio.png b/.pic/Labs/lab_10_irq/fig_02.drawio.png
diff --git a/.pic/Labs/lab_11_irq_integration/fig_01.drawio.png b/.pic/Labs/lab_11_irq_integration/fig_01.drawio.png
diff --git a/Labs/06. Datapath/README.md b/Labs/06. Datapath/README.md
@@ -29,7 +29,7 @@
 
 Обратите внимание на константу `imm_U`. В отличие от всех остальных констант, она не знакорасширяется, вместо этого к ней приклеивается справа 12 нулевых бит.
 
-Программный счетчик (`PC`) теперь также изменяется более сложным образом. Поскольку появился еще один вид безусловного перехода (`jalr`), программный счетчик может не просто увеличиться на значение константы из инструкции, но и получить совершенно новое значение в виде суммы константы и значения из регистрового файла (см. на самый левый мультиплексор схемы).
+Программный счетчик (`PC`) теперь также изменяется более сложным образом. Поскольку появился еще один вид безусловного перехода (`jalr`), программный счетчик может не просто увеличиться на значение константы из инструкции, но и получить совершенно новое значение в виде суммы константы и значения из регистрового файла (см. на самый левый мультиплексор схемы). Обратите внимание, что младший бит этой суммы должен быть обнулен — таково требование спецификации.
 
 Поскольку обращение во внешнюю память требует времени, необходимо останавливать программный счетчик, чтобы до конца обращения в память не начались исполняться последующие инструкции. Для этого у программного счетчика появился управляющий сигнал `stall_i`. Программный счетчик может меняться только когда этот сигнал равен нулю (иными словами, инверсия этого сигнала является сигналом `enable` для регистра `PC`).