summaryrefslogtreecommitdiff
path: root/rtl/cache
diff options
context:
space:
mode:
authorFabian Montero <fabian@posixlycorrect.com>2023-10-04 19:34:44 -0600
committerFabian Montero <fabian@posixlycorrect.com>2023-10-04 19:34:44 -0600
commitb55007bb90384888e282cd05cc9421237c289ca9 (patch)
tree62e33f7c5fa620800d8bfb83a1088adae25cd4ec /rtl/cache
parent82e49cee6cb4bfdfb77244ddb1f7259221cfdc70 (diff)
aƱade comentarios de monitor
Diffstat (limited to 'rtl/cache')
-rw-r--r--rtl/cache/monitor.sv4
1 files changed, 3 insertions, 1 deletions
diff --git a/rtl/cache/monitor.sv b/rtl/cache/monitor.sv
index 06864ae..380019e 100644
--- a/rtl/cache/monitor.sv
+++ b/rtl/cache/monitor.sv
@@ -7,7 +7,7 @@ module cache_monitor
input addr_tag core_tag,
input addr_index core_index,
- input addr_offset core_offset,
+ input addr_offset core_offset, // Alguno de los 4 cores
input logic core_lock,
input word core_writedata,
output logic[1:0] core_response,
@@ -82,11 +82,13 @@ module cache_monitor
mask <= 4'b0000;
dirty <= 0;
end else begin
+ // ldrex
if (monitor_acquire) begin
mask <= hit && !known && !dirty ? mask | core_ex_mask : core_ex_mask;
dirty <= 0;
end
+ // strexeq
if (monitor_release) begin
mask <= hit && known ? mask_clear : 4'b0000;
dirty <= hit && known;