Registered Read Ports
Part of the RTL Design & Verification section of Coddy's Verilog journey. Lesson 23 of 38.
A registered read captures memory data at a clock edge and holds that value afterward. A read enable can preserve the previous output on disabled cycles. Resetting the read register does not require clearing every memory word. With nonblocking read and write assignments, the read expression sees the pre-edge word.
Relevant excerpt; surrounding declarations and connections are supplied in the challenge.
always @(posedge clk) begin
if(we) mem[waddr] <= data;
if(rst) q <= 0;
else if(re) q <= mem[raddr];
endThe output register updates only on the specified edge and enabled path.
Document read latency, disabled-read behavior and which state reset actually clears.
Challenge
MediumImplement a four-word 8-bit memory with synchronous write and registered read q. we writes on rising edges. rst synchronously clears only q; otherwise re loads q from the pre-edge mem[raddr]; re=0 holds q. Memory is not reset, and writes are independent of rst. If read and write share an address on one edge, q receives the old word. Tests initialize words before enabled reads. Output columns: q. All controls and data are stable before each rising clock edge; results are observed afterward.
Complete design.v and preserve its module names and ports. The locked testbench.v supplies input changes and prints the outputs after they settle. It chooses a scenario using a simulator argument such as +CASE=1; no standard input is required. Do not add printing, delays or simulation termination to the design. Expected output is one row of decimal values per observation, separated by one space and ending with a newline.
Try it yourself
module dut (input clk, input rst, input we, input re, input [1:0] waddr, input [1:0] raddr, input [7:0] data, output reg [7:0] q);
// Replace this placeholder with your design.
initial q = 0;
endmoduleThis lesson includes a short quiz. Start the lesson to answer it and track your progress.
All lessons in RTL Design & Verification
1Reliable Combinational RTL
Defaults Prevent LatchesPriority EncodersOne-Hot ValidationSafe Case DecodingRecap - Request Router2Widths and Signed Arithmetic
Preserving Carry BitsSigned ComparisonsArithmetic Right ShiftsOverflow and SaturationRecap - Signed Difference5Memory and Lookup Tables
Combinational ROM TablesRegister Array StorageRegistered Read PortsRead-Write ForwardingRecap - Dual Read BankPractice on your own: Online Verilog compiler