8 lines
216 B
Coq
8 lines
216 B
Coq
|
module rom(input [19:0] address,output wire [15:0] data ,input rd,input cs);
|
||
|
|
reg [15:0] memory [15:0];
|
||
|
|
initial begin
|
||
|
|
$readmemh("boot_code.txt", memory);
|
||
|
|
end
|
||
|
|
assign data = !rd & !cs ? memory[address]: 'hz;
|
||
|
|
endmodule
|