nand2/05_Computer_Architecture/Memory.v

96 lines
2.6 KiB
Coq
Raw Permalink Normal View History

2023-01-11 10:13:09 +00:00
/**
* The complete address space of the Hack computer's memory,
* including RAM and memory-mapped I/O.
2023-01-11 10:13:09 +00:00
* The chip facilitates read and write operations, as follows:
* Read: out(t) = Memory[address(t)](t)
* Write: if load(t-1) then Memory[address(t-1)](t) = in(t-1)
* In words: the chip always outputs the value stored at the memory
* location specified by address. If load==1, the in value is loaded
* into the memory location specified by address. This value becomes
2023-01-11 10:13:09 +00:00
* available through the out output from the next time step onward.
* Address space rules:
* RAM 0x0000 - 0x0EFF (3840 words)
* IO 0x1000 - 0x100F (maps to 16 different devices)
* The behavior of IO addresses is described in 06_IO-Devices
*/
`default_nettype none
module Memory(
input [15:0] address,
input load,
output [15:0] out,
output loadRAM,
output loadIO0,
output loadIO1,
output loadIO2,
output loadIO3,
output loadIO4,
output loadIO5,
output loadIO6,
output loadIO7,
output loadIO8,
output loadIO9,
output loadIOA,
output loadIOB,
output loadIOC,
output loadIOD,
output loadIOE,
output loadIOF,
input [15:0] inRAM,
input [15:0] inIO0,
input [15:0] inIO1,
input [15:0] inIO2,
input [15:0] inIO3,
input [15:0] inIO4,
input [15:0] inIO5,
input [15:0] inIO6,
input [15:0] inIO7,
input [15:0] inIO8,
input [15:0] inIO9,
input [15:0] inIOA,
input [15:0] inIOB,
input [15:0] inIOC,
input [15:0] inIOD,
input [15:0] inIOE,
input [15:0] inIOF
2023-01-11 10:13:09 +00:00
);
// Put your code here:
wire selA;
wire selB;
wire loadA;
wire loadB;
wire [15:0] outA;
wire [15:0] outB;
wire [15:0] outAB;
DMux DMUX(address[12], address[3], selA, selB);
And ANDA(selA,load,loadA);
And ANDB(selB,load,loadB);
And ANDR(~address[12], load, loadRAM);
DMux8Way DMUXLOADA(loadA, address[2:0],
loadIO0, loadIO1, loadIO2, loadIO3,
loadIO4, loadIO5, loadIO6, loadIO7);
DMux8Way DMUXLOADB(loadB, address[2:0],
loadIO8, loadIO9, loadIOA, loadIOB,
loadIOC, loadIOD, loadIOE, loadIOF);
Mux8Way16 Mux8Way16A(
inIO0[15:0], inIO1[15:0], inIO2[15:0], inIO3[15:0],
inIO4[15:0], inIO5[15:0], inIO6[15:0], inIO7[15:0],
address[2:0], outA[15:0]
);
Mux8Way16 Mux8Way16B(
inIO8[15:0], inIO9[15:0], inIOA[15:0], inIOB[15:0],
inIOC[15:0], inIOD[15:0], inIOE[15:0], inIOF[15:0],
address[2:0], outB[15:0]
);
Mux16 MUX16AB(outA[15:0], outB[15:0], address[3], outAB[15:0]);
Mux16 MUX16ABR(inRAM[15:0], outAB[15:0], address[12], out[15:0]);
2023-01-11 10:13:09 +00:00
endmodule