From 8c5a91578ca929f3a94b54628f6431c136dc417d Mon Sep 17 00:00:00 2001 From: JulianCamacho Date: Tue, 3 Oct 2023 01:39:00 -0600 Subject: comentarios --- rtl/cache/routing.sv | 2 ++ 1 file changed, 2 insertions(+) (limited to 'rtl/cache/routing.sv') diff --git a/rtl/cache/routing.sv b/rtl/cache/routing.sv index c72d9b5..8f744dd 100644 --- a/rtl/cache/routing.sv +++ b/rtl/cache/routing.sv @@ -48,6 +48,7 @@ module cache_routing BYPASS } state; + //Arbitrar el bus del lado de la cache assign cached = io == 3'b000; assign cache_mem = cache_mem_read || cache_mem_write; @@ -61,6 +62,7 @@ module cache_routing always_comb begin transition = 0; core_waitrequest = cache_core_waitrequest; + // Desde el punto de vista de cache, mem le hace waitreq a cache cache_mem_waitrequest = 1; unique case (state) -- cgit v1.2.3 From bc466f0511d8b3029c0822f415ebc9ae152b9d09 Mon Sep 17 00:00:00 2001 From: JulianCamacho Date: Tue, 3 Oct 2023 16:55:27 -0600 Subject: sram, offset and routing comments --- rtl/cache/routing.sv | 9 +++++++++ 1 file changed, 9 insertions(+) (limited to 'rtl/cache/routing.sv') diff --git a/rtl/cache/routing.sv b/rtl/cache/routing.sv index 8f744dd..aae6f51 100644 --- a/rtl/cache/routing.sv +++ b/rtl/cache/routing.sv @@ -49,9 +49,18 @@ module cache_routing } state; //Arbitrar el bus del lado de la cache + + /* Se sabe si el address es cache o no evaluando los bits de IO. + * Esto es posible porque se cumple lo siguiente: + * - La memoria tiene un tamaño que es una potencia de 2 + * - Sus direcciones inician en 0 + * Entonces si los bits de IO son distintos de 0, se sabe que no es + * una dirección cached + */ assign cached = io == 3'b000; assign cache_mem = cache_mem_read || cache_mem_write; + // Acá se divide el core_address para analizarse por separado assign {io, core_tag, core_index, core_offset} = core_address; assign core_address_line = {io, core_tag, core_index, 4'b0000}; assign core_readdata_line = cached ? data_rd : mem_readdata; -- cgit v1.2.3 From dbe88c450b72913efc7831131cd92d27c9cc0b92 Mon Sep 17 00:00:00 2001 From: JulianCamacho Date: Wed, 4 Oct 2023 01:13:12 -0600 Subject: routing and beginning cache control comments --- rtl/cache/routing.sv | 20 ++++++++++++++++++++ 1 file changed, 20 insertions(+) (limited to 'rtl/cache/routing.sv') diff --git a/rtl/cache/routing.sv b/rtl/cache/routing.sv index aae6f51..c745cfc 100644 --- a/rtl/cache/routing.sv +++ b/rtl/cache/routing.sv @@ -37,6 +37,12 @@ module cache_routing output line_be mem_byteenable ); + /* Módulo para enrutar las operaciones a cache o memoria + * Esto porque hay escrituras que definitivamente no pueden quedar en cache + * como el caso de periféricos, para los cuales si se guarda "su valor" en + * cache y no en memoria se harían lecturas incorrectas + */ + word core_address_line; logic cached, cache_mem, transition; addr_io_region io; @@ -58,13 +64,17 @@ module cache_routing * una dirección cached */ assign cached = io == 3'b000; + // Se afirma si cache quiere hacer un read o write de memoria assign cache_mem = cache_mem_read || cache_mem_write; // Acá se divide el core_address para analizarse por separado assign {io, core_tag, core_index, core_offset} = core_address; assign core_address_line = {io, core_tag, core_index, 4'b0000}; + // Si está cached se asigna a lectura de cache, sino a lectura de memoria assign core_readdata_line = cached ? data_rd : mem_readdata; + // Se afirma si el core quiere leer/escribir a cache y efectivamente es una + // dirección de cache assign cache_core_read = core_read && cached; assign cache_core_write = core_write && cached; @@ -76,12 +86,18 @@ module cache_routing unique case (state) IDLE: + /* Transition se afirma si cache quiere hacer un read o write de + * memoria, o si el address no es cache y el core quiere leer + * o escribir a cache + */ transition = cache_mem || (!cached && (core_read || core_write)); CACHE: + // Cache le hace waitreq a memoria cache_mem_waitrequest = mem_waitrequest; BYPASS: + // Se le hace waitreq al core si la memoria también lo hace core_waitrequest = mem_waitrequest; endcase end @@ -94,6 +110,8 @@ module cache_routing end else unique case (state) IDLE: if (transition) begin + // Si cache quiere hacer una operación con memoria, se pasa + // a CACHE, sino hay que hacer BYPASS state <= cache_mem ? CACHE : BYPASS; mem_read <= cache_mem ? cache_mem_read : core_read; mem_write <= cache_mem ? cache_mem_write : core_write; @@ -109,6 +127,8 @@ module cache_routing always_ff @(posedge clk) if (transition) begin + // Si cache no quiere hacer una operación con memoria, se asignan + // las señales del core mem_address <= cache_mem ? cache_mem_address : core_address_line; mem_writedata <= cache_mem ? cache_mem_writedata : core_writedata_line; mem_byteenable <= cache_mem ? 16'hffff : core_byteenable_line; -- cgit v1.2.3 From 29832876ad224b7668ee1c2ba750e898fee347c3 Mon Sep 17 00:00:00 2001 From: Fabian Montero Date: Wed, 4 Oct 2023 17:51:02 -0600 Subject: explica estados de routing --- rtl/cache/routing.sv | 6 ++++++ 1 file changed, 6 insertions(+) (limited to 'rtl/cache/routing.sv') diff --git a/rtl/cache/routing.sv b/rtl/cache/routing.sv index c745cfc..ea30e95 100644 --- a/rtl/cache/routing.sv +++ b/rtl/cache/routing.sv @@ -78,6 +78,12 @@ module cache_routing assign cache_core_read = core_read && cached; assign cache_core_write = core_write && cached; + // Máquina de estados: + // IDLE/CACHE/BYPASS + // Bypass: el request evita pasar por caché, para que no quede escrito el + // el dato. Esto sirve para periféricos, por ejemplo. + // Cache: el request sí pasa por caché (esto sucede para todo lo que va + // para RAM. always_comb begin transition = 0; core_waitrequest = cache_core_waitrequest; -- cgit v1.2.3 From 84ac4c10f1e3ca4f779a19a1b0a2c43c5e18e37d Mon Sep 17 00:00:00 2001 From: Fabian Montero Date: Wed, 4 Oct 2023 17:57:21 -0600 Subject: explica mejor las transiciones de routing --- rtl/cache/routing.sv | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) (limited to 'rtl/cache/routing.sv') diff --git a/rtl/cache/routing.sv b/rtl/cache/routing.sv index ea30e95..78f1be0 100644 --- a/rtl/cache/routing.sv +++ b/rtl/cache/routing.sv @@ -82,7 +82,7 @@ module cache_routing // IDLE/CACHE/BYPASS // Bypass: el request evita pasar por caché, para que no quede escrito el // el dato. Esto sirve para periféricos, por ejemplo. - // Cache: el request sí pasa por caché (esto sucede para todo lo que va + // Cache: el request sí pasa por caché, esto sucede para todo lo que va // para RAM. always_comb begin transition = 0; @@ -117,7 +117,10 @@ module cache_routing IDLE: if (transition) begin // Si cache quiere hacer una operación con memoria, se pasa - // a CACHE, sino hay que hacer BYPASS + // a CACHE, sino hay que hacer BYPASS. Si la operación + // no es directo a memoria, se hace bypasss porque esto + // implica que el dato no tiene que quedar cacheado. (Talvez + // es algo de un periférico, etc.) state <= cache_mem ? CACHE : BYPASS; mem_read <= cache_mem ? cache_mem_read : core_read; mem_write <= cache_mem ? cache_mem_write : core_write; -- cgit v1.2.3