Line 45... |
Line 45... |
architecture logic of mem_ctrl is
|
architecture logic of mem_ctrl is
|
--"00" = big_endian; "11" = little_endian
|
--"00" = big_endian; "11" = little_endian
|
constant little_endian : std_logic_vector(1 downto 0) := "00";
|
constant little_endian : std_logic_vector(1 downto 0) := "00";
|
signal opcode_reg : std_logic_vector(31 downto 0);
|
signal opcode_reg : std_logic_vector(31 downto 0);
|
signal next_opcode_reg : std_logic_vector(31 downto 0);
|
signal next_opcode_reg : std_logic_vector(31 downto 0);
|
signal address_reg : std_logic_vector(31 downto 0);
|
|
|
|
subtype mem_state_type is std_logic_vector(1 downto 0);
|
subtype mem_state_type is std_logic_vector(1 downto 0);
|
signal mem_state_reg : mem_state_type;
|
signal mem_state_reg : mem_state_type;
|
constant STATE_FETCH : mem_state_type := "00";
|
constant STATE_FETCH : mem_state_type := "00";
|
constant STATE_ADDR : mem_state_type := "01";
|
constant STATE_ADDR : mem_state_type := "01";
|
Line 64... |
Line 63... |
--this dependency is only true for memory read or write cycles
|
--this dependency is only true for memory read or write cycles
|
--which are multiple clock cycles. Enabling ACCURATE_TIMING
|
--which are multiple clock cycles. Enabling ACCURATE_TIMING
|
--creates an additional 32-bit register that does nothing other
|
--creates an additional 32-bit register that does nothing other
|
--than letting the VHDL compiler accurately predict the maximum
|
--than letting the VHDL compiler accurately predict the maximum
|
--clock speed.
|
--clock speed.
|
|
signal address_reg : std_logic_vector(31 downto 0);
|
|
signal write_reg : std_logic;
|
|
signal byte_sel_reg : std_logic_vector(3 downto 0);
|
|
|
begin
|
begin
|
|
|
mem_proc: process(clk, reset_in, pause_in, nullify_op,
|
mem_proc: process(clk, reset_in, pause_in, nullify_op,
|
address_pc, address_data, mem_source, data_write,
|
address_pc, address_data, mem_source, data_write,
|
mem_data_r,
|
mem_data_r,
|
opcode_reg, next_opcode_reg, mem_state_reg,
|
opcode_reg, next_opcode_reg, mem_state_reg,
|
address_reg)
|
address_reg, write_reg, byte_sel_reg)
|
variable data : std_logic_vector(31 downto 0);
|
variable data : std_logic_vector(31 downto 0);
|
variable opcode_next : std_logic_vector(31 downto 0);
|
variable opcode_next : std_logic_vector(31 downto 0);
|
|
variable byte_sel_next : std_logic_vector(3 downto 0);
|
variable byte_sel : std_logic_vector(3 downto 0);
|
variable byte_sel : std_logic_vector(3 downto 0);
|
|
variable write_next : std_logic;
|
variable write_line : std_logic;
|
variable write_line : std_logic;
|
variable mem_state_next : mem_state_type;
|
variable mem_state_next : mem_state_type;
|
variable pause : std_logic;
|
variable pause : std_logic;
|
variable address : std_logic_vector(31 downto 0);
|
variable address : std_logic_vector(31 downto 0);
|
variable bits : std_logic_vector(1 downto 0);
|
variable bits : std_logic_vector(1 downto 0);
|
variable mem_data_w_v : std_logic_vector(31 downto 0);
|
variable mem_data_w_v : std_logic_vector(31 downto 0);
|
begin
|
begin
|
byte_sel := "0000";
|
byte_sel_next := "0000";
|
write_line := '0';
|
write_next := '0';
|
pause := '0';
|
pause := '0';
|
mem_state_next := mem_state_reg;
|
mem_state_next := mem_state_reg;
|
|
|
address := address_pc;
|
|
data := ZERO;
|
data := ZERO;
|
mem_data_w_v := ZERO;
|
mem_data_w_v := ZERO;
|
|
|
case mem_source is
|
case mem_source is
|
when mem_read32 =>
|
when mem_read32 =>
|
Line 118... |
Line 122... |
data(31 downto 8) := ZERO(31 downto 8);
|
data(31 downto 8) := ZERO(31 downto 8);
|
else
|
else
|
data(31 downto 8) := ONES(31 downto 8);
|
data(31 downto 8) := ONES(31 downto 8);
|
end if;
|
end if;
|
when mem_write32 =>
|
when mem_write32 =>
|
write_line := '1';
|
write_next := '1';
|
mem_data_w_v := data_write;
|
mem_data_w_v := data_write;
|
byte_sel := "1111";
|
byte_sel_next := "1111";
|
when mem_write16 =>
|
when mem_write16 =>
|
write_line := '1';
|
write_next := '1';
|
mem_data_w_v := data_write(15 downto 0) & data_write(15 downto 0);
|
mem_data_w_v := data_write(15 downto 0) & data_write(15 downto 0);
|
if address_reg(1) = little_endian(1) then
|
if address_data(1) = little_endian(1) then
|
byte_sel := "1100";
|
byte_sel_next := "1100";
|
else
|
else
|
byte_sel := "0011";
|
byte_sel_next := "0011";
|
end if;
|
end if;
|
when mem_write8 =>
|
when mem_write8 =>
|
write_line := '1';
|
write_next := '1';
|
mem_data_w_v := data_write(7 downto 0) & data_write(7 downto 0) &
|
mem_data_w_v := data_write(7 downto 0) & data_write(7 downto 0) &
|
data_write(7 downto 0) & data_write(7 downto 0);
|
data_write(7 downto 0) & data_write(7 downto 0);
|
bits := address_reg(1 downto 0) xor little_endian;
|
bits := address_data(1 downto 0) xor little_endian;
|
case bits is
|
case bits is
|
when "00" =>
|
when "00" =>
|
byte_sel := "1000";
|
byte_sel_next := "1000";
|
when "01" =>
|
when "01" =>
|
byte_sel := "0100";
|
byte_sel_next := "0100";
|
when "10" =>
|
when "10" =>
|
byte_sel := "0010";
|
byte_sel_next := "0010";
|
when others =>
|
when others =>
|
byte_sel := "0001";
|
byte_sel_next := "0001";
|
end case;
|
end case;
|
when others =>
|
when others =>
|
end case;
|
end case;
|
|
|
opcode_next := opcode_reg;
|
opcode_next := opcode_reg;
|
|
case mem_state_reg is --State Machine
|
|
when STATE_FETCH =>
|
|
address := address_pc;
|
|
write_line := '0';
|
|
byte_sel := "0000";
|
if mem_source = mem_fetch then --opcode fetch
|
if mem_source = mem_fetch then --opcode fetch
|
mem_state_next := STATE_FETCH;
|
mem_state_next := STATE_FETCH;
|
if pause_in = '0' then
|
if pause_in = '0' then
|
opcode_next := mem_data_r;
|
opcode_next := mem_data_r;
|
end if;
|
end if;
|
else --data read or write (not opcode fetch)
|
else --memory read or write
|
|
|
--State Machine
|
|
case mem_state_reg is
|
|
when STATE_FETCH =>
|
|
write_line := '0';
|
|
pause := '1';
|
pause := '1';
|
byte_sel := "0000";
|
|
if pause_in = '0' then
|
if pause_in = '0' then
|
mem_state_next := STATE_ADDR;
|
mem_state_next := STATE_ADDR;
|
end if;
|
end if;
|
|
end if;
|
when STATE_ADDR => --address lines pre-hold
|
when STATE_ADDR => --address lines pre-hold
|
address := address_reg;
|
address := address_reg;
|
if write_line = '1' and address_reg(31) = '1' then
|
write_line := write_reg;
|
|
if write_reg = '1' and address_reg(31) = '1' then
|
pause := '1';
|
pause := '1';
|
byte_sel := "0000";
|
byte_sel := "0000";
|
if pause_in = '0' then
|
if pause_in = '0' then
|
mem_state_next := STATE_WRITE; --4 cycle access
|
mem_state_next := STATE_WRITE; --4 cycle access
|
end if;
|
end if;
|
else
|
else
|
|
byte_sel := byte_sel_reg;
|
if pause_in = '0' then
|
if pause_in = '0' then
|
opcode_next := next_opcode_reg;
|
opcode_next := next_opcode_reg;
|
mem_state_next := STATE_FETCH; --2 cycle access
|
mem_state_next := STATE_FETCH; --2 cycle access
|
end if;
|
end if;
|
end if;
|
end if;
|
when STATE_WRITE =>
|
when STATE_WRITE =>
|
pause := '1';
|
pause := '1';
|
address := address_reg;
|
address := address_reg;
|
|
write_line := write_reg;
|
|
byte_sel := byte_sel_reg;
|
if pause_in = '0' then
|
if pause_in = '0' then
|
mem_state_next := STATE_PAUSE;
|
mem_state_next := STATE_PAUSE;
|
end if;
|
end if;
|
when OTHERS => --STATE_PAUSE address lines post-hold
|
when OTHERS => --STATE_PAUSE address lines post-hold
|
address := address_reg;
|
address := address_reg;
|
|
write_line := write_reg;
|
byte_sel := "0000";
|
byte_sel := "0000";
|
if pause_in = '0' then
|
if pause_in = '0' then
|
opcode_next := next_opcode_reg;
|
opcode_next := next_opcode_reg;
|
mem_state_next := STATE_FETCH;
|
mem_state_next := STATE_FETCH;
|
end if;
|
end if;
|
end case;
|
end case;
|
end if;
|
|
|
|
if nullify_op = '1' then
|
if nullify_op = '1' and pause_in = '0' then
|
opcode_next := ZERO; --NOP after beql
|
opcode_next := ZERO; --NOP after beql
|
end if;
|
end if;
|
|
|
if reset_in = '1' then
|
if reset_in = '1' then
|
mem_state_reg <= STATE_FETCH;
|
mem_state_reg <= STATE_FETCH;
|
Line 214... |
Line 222... |
end if;
|
end if;
|
|
|
if rising_edge(clk) then
|
if rising_edge(clk) then
|
if ACCURATE_TIMING then
|
if ACCURATE_TIMING then
|
address_reg <= address_data;
|
address_reg <= address_data;
|
|
write_reg <= write_next;
|
|
byte_sel_reg <= byte_sel_next;
|
end if;
|
end if;
|
end if;
|
end if;
|
if not ACCURATE_TIMING then
|
if not ACCURATE_TIMING then
|
address_reg <= address_data;
|
address_reg <= address_data;
|
|
write_reg <= write_next;
|
|
byte_sel_reg <= byte_sel_next;
|
end if;
|
end if;
|
|
|
opcode_out <= opcode_reg;
|
opcode_out <= opcode_reg;
|
data_read <= data;
|
data_read <= data;
|
pause_out <= pause;
|
pause_out <= pause;
|