2 use ieee.std_logic_1164.all;
3 use ieee.numeric_std.all;
7 use work.wishbone_types.all;
11 SIM : boolean := false;
12 DISABLE_FLATTEN : boolean := false;
13 EX1_BYPASS : boolean := true;
14 HAS_FPU : boolean := true;
15 HAS_BTC : boolean := true;
16 ALT_RESET_ADDRESS : std_ulogic_vector(63 downto 0) := (others => '0');
17 LOG_LENGTH : natural := 512
23 -- Alternate reset (0xffff0000) for use by DRAM init fw
24 alt_reset : in std_ulogic;
27 wishbone_insn_in : in wishbone_slave_out;
28 wishbone_insn_out : out wishbone_master_out;
30 wishbone_data_in : in wishbone_slave_out;
31 wishbone_data_out : out wishbone_master_out;
33 dmi_addr : in std_ulogic_vector(3 downto 0);
34 dmi_din : in std_ulogic_vector(63 downto 0);
35 dmi_dout : out std_ulogic_vector(63 downto 0);
36 dmi_req : in std_ulogic;
37 dmi_wr : in std_ulogic;
38 dmi_ack : out std_ulogic;
40 ext_irq : in std_ulogic;
42 terminated_out : out std_logic
46 architecture behave of core is
48 signal fetch1_to_icache : Fetch1ToIcacheType;
49 signal icache_to_decode1 : IcacheToDecode1Type;
50 signal mmu_to_icache : MmuToIcacheType;
53 signal decode1_to_decode2: Decode1ToDecode2Type;
54 signal decode1_to_fetch1: Decode1ToFetch1Type;
55 signal decode2_to_execute1: Decode2ToExecute1Type;
57 -- register file signals
58 signal register_file_to_decode2: RegisterFileToDecode2Type;
59 signal decode2_to_register_file: Decode2ToRegisterFileType;
60 signal writeback_to_register_file: WritebackToRegisterFileType;
63 signal decode2_to_cr_file: Decode2ToCrFileType;
64 signal cr_file_to_decode2: CrFileToDecode2Type;
65 signal writeback_to_cr_file: WritebackToCrFileType;
68 signal execute1_to_writeback: Execute1ToWritebackType;
69 signal execute1_to_fetch1: Execute1ToFetch1Type;
70 signal execute1_bypass: bypass_data_t;
73 signal execute1_to_loadstore1: Execute1ToLoadstore1Type;
74 signal loadstore1_to_execute1: Loadstore1ToExecute1Type;
75 signal loadstore1_to_writeback: Loadstore1ToWritebackType;
76 signal loadstore1_to_mmu: Loadstore1ToMmuType;
77 signal mmu_to_loadstore1: MmuToLoadstore1Type;
80 signal loadstore1_to_dcache: Loadstore1ToDcacheType;
81 signal dcache_to_loadstore1: DcacheToLoadstore1Type;
82 signal mmu_to_dcache: MmuToDcacheType;
83 signal dcache_to_mmu: DcacheToMmuType;
86 signal execute1_to_fpu: Execute1ToFPUType;
87 signal fpu_to_execute1: FPUToExecute1Type;
88 signal fpu_to_writeback: FPUToWritebackType;
91 signal fetch1_stall_in : std_ulogic;
92 signal icache_stall_out : std_ulogic;
93 signal icache_stall_in : std_ulogic;
94 signal decode1_stall_in : std_ulogic;
95 signal decode1_busy : std_ulogic;
96 signal decode2_busy_in : std_ulogic;
97 signal decode2_stall_out : std_ulogic;
98 signal ex1_icache_inval: std_ulogic;
99 signal ex1_busy_out: std_ulogic;
100 signal dcache_stall_out: std_ulogic;
102 signal flush: std_ulogic;
103 signal decode1_flush: std_ulogic;
104 signal fetch1_flush: std_ulogic;
106 signal complete: instr_tag_t;
107 signal terminate: std_ulogic;
108 signal core_rst: std_ulogic;
109 signal icache_inv: std_ulogic;
111 -- Delayed/Latched resets and alt_reset
112 signal rst_fetch1 : std_ulogic := '1';
113 signal rst_fetch2 : std_ulogic := '1';
114 signal rst_icache : std_ulogic := '1';
115 signal rst_dcache : std_ulogic := '1';
116 signal rst_dec1 : std_ulogic := '1';
117 signal rst_dec2 : std_ulogic := '1';
118 signal rst_ex1 : std_ulogic := '1';
119 signal rst_fpu : std_ulogic := '1';
120 signal rst_ls1 : std_ulogic := '1';
121 signal rst_dbg : std_ulogic := '1';
122 signal alt_reset_d : std_ulogic;
124 signal sim_cr_dump: std_ulogic;
127 signal dbg_core_stop: std_ulogic;
128 signal dbg_core_rst: std_ulogic;
129 signal dbg_icache_rst: std_ulogic;
131 signal dbg_gpr_req : std_ulogic;
132 signal dbg_gpr_ack : std_ulogic;
133 signal dbg_gpr_addr : gspr_index_t;
134 signal dbg_gpr_data : std_ulogic_vector(63 downto 0);
136 signal msr : std_ulogic_vector(63 downto 0);
139 signal dbg_core_is_stopped: std_ulogic;
142 signal log_data : std_ulogic_vector(255 downto 0);
143 signal log_rd_addr : std_ulogic_vector(31 downto 0);
144 signal log_wr_addr : std_ulogic_vector(31 downto 0);
145 signal log_rd_data : std_ulogic_vector(63 downto 0);
147 function keep_h(disable : boolean) return string is
155 attribute keep_hierarchy : string;
156 attribute keep_hierarchy of fetch1_0 : label is keep_h(DISABLE_FLATTEN);
157 attribute keep_hierarchy of icache_0 : label is keep_h(DISABLE_FLATTEN);
158 attribute keep_hierarchy of decode1_0 : label is keep_h(DISABLE_FLATTEN);
159 attribute keep_hierarchy of decode2_0 : label is keep_h(DISABLE_FLATTEN);
160 attribute keep_hierarchy of register_file_0 : label is keep_h(DISABLE_FLATTEN);
161 attribute keep_hierarchy of cr_file_0 : label is keep_h(DISABLE_FLATTEN);
162 attribute keep_hierarchy of execute1_0 : label is keep_h(DISABLE_FLATTEN);
163 attribute keep_hierarchy of loadstore1_0 : label is keep_h(DISABLE_FLATTEN);
164 attribute keep_hierarchy of mmu_0 : label is keep_h(DISABLE_FLATTEN);
165 attribute keep_hierarchy of dcache_0 : label is keep_h(DISABLE_FLATTEN);
166 attribute keep_hierarchy of writeback_0 : label is keep_h(DISABLE_FLATTEN);
167 attribute keep_hierarchy of debug_0 : label is keep_h(DISABLE_FLATTEN);
170 core_rst <= dbg_core_rst or rst;
174 if rising_edge(clk) then
175 rst_fetch1 <= core_rst;
176 rst_fetch2 <= core_rst;
177 rst_icache <= core_rst;
178 rst_dcache <= core_rst;
179 rst_dec1 <= core_rst;
180 rst_dec2 <= core_rst;
185 alt_reset_d <= alt_reset;
189 fetch1_0: entity work.fetch1
191 RESET_ADDRESS => (others => '0'),
192 ALT_RESET_ADDRESS => ALT_RESET_ADDRESS,
198 alt_reset_in => alt_reset_d,
199 stall_in => fetch1_stall_in,
200 flush_in => fetch1_flush,
201 inval_btc => ex1_icache_inval or mmu_to_icache.tlbie,
202 stop_in => dbg_core_stop,
203 d_in => decode1_to_fetch1,
204 e_in => execute1_to_fetch1,
205 i_out => fetch1_to_icache,
206 log_out => log_data(42 downto 0)
209 fetch1_stall_in <= icache_stall_out or decode1_busy;
210 fetch1_flush <= flush or decode1_flush;
212 icache_0: entity work.icache
218 LOG_LENGTH => LOG_LENGTH
223 i_in => fetch1_to_icache,
224 i_out => icache_to_decode1,
225 m_in => mmu_to_icache,
226 flush_in => fetch1_flush,
227 inval_in => dbg_icache_rst or ex1_icache_inval,
228 stall_in => icache_stall_in,
229 stall_out => icache_stall_out,
230 wishbone_out => wishbone_insn_out,
231 wishbone_in => wishbone_insn_in,
232 log_out => log_data(96 downto 43)
235 icache_stall_in <= decode1_busy;
237 decode1_0: entity work.decode1
240 LOG_LENGTH => LOG_LENGTH
245 stall_in => decode1_stall_in,
247 flush_out => decode1_flush,
248 busy_out => decode1_busy,
249 f_in => icache_to_decode1,
250 d_out => decode1_to_decode2,
251 f_out => decode1_to_fetch1,
252 log_out => log_data(109 downto 97)
255 decode1_stall_in <= decode2_stall_out;
257 decode2_0: entity work.decode2
259 EX1_BYPASS => EX1_BYPASS,
261 LOG_LENGTH => LOG_LENGTH
266 busy_in => decode2_busy_in,
267 stall_out => decode2_stall_out,
269 complete_in => complete,
270 stopped_out => dbg_core_is_stopped,
271 d_in => decode1_to_decode2,
272 e_out => decode2_to_execute1,
273 r_in => register_file_to_decode2,
274 r_out => decode2_to_register_file,
275 c_in => cr_file_to_decode2,
276 c_out => decode2_to_cr_file,
277 execute_bypass => execute1_bypass,
278 log_out => log_data(119 downto 110)
280 decode2_busy_in <= ex1_busy_out;
282 register_file_0: entity work.register_file
286 LOG_LENGTH => LOG_LENGTH
290 d_in => decode2_to_register_file,
291 d_out => register_file_to_decode2,
292 w_in => writeback_to_register_file,
293 dbg_gpr_req => dbg_gpr_req,
294 dbg_gpr_ack => dbg_gpr_ack,
295 dbg_gpr_addr => dbg_gpr_addr,
296 dbg_gpr_data => dbg_gpr_data,
297 sim_dump => terminate,
298 sim_dump_done => sim_cr_dump,
299 log_out => log_data(255 downto 184)
302 cr_file_0: entity work.cr_file
305 LOG_LENGTH => LOG_LENGTH
309 d_in => decode2_to_cr_file,
310 d_out => cr_file_to_decode2,
311 w_in => writeback_to_cr_file,
312 sim_dump => sim_cr_dump,
313 log_out => log_data(183 downto 171)
316 execute1_0: entity work.execute1
318 EX1_BYPASS => EX1_BYPASS,
320 LOG_LENGTH => LOG_LENGTH
326 busy_out => ex1_busy_out,
327 e_in => decode2_to_execute1,
328 l_in => loadstore1_to_execute1,
329 fp_in => fpu_to_execute1,
330 ext_irq_in => ext_irq,
331 l_out => execute1_to_loadstore1,
332 f_out => execute1_to_fetch1,
333 fp_out => execute1_to_fpu,
334 e_out => execute1_to_writeback,
335 bypass_data => execute1_bypass,
336 icache_inval => ex1_icache_inval,
338 terminate_out => terminate,
339 log_out => log_data(134 downto 120),
340 log_rd_addr => log_rd_addr,
341 log_rd_data => log_rd_data,
342 log_wr_addr => log_wr_addr
345 with_fpu: if HAS_FPU generate
347 fpu_0: entity work.fpu
351 e_in => execute1_to_fpu,
352 e_out => fpu_to_execute1,
353 w_out => fpu_to_writeback
357 no_fpu: if not HAS_FPU generate
359 fpu_to_execute1 <= FPUToExecute1Init;
360 fpu_to_writeback <= FPUToWritebackInit;
363 loadstore1_0: entity work.loadstore1
366 LOG_LENGTH => LOG_LENGTH
371 l_in => execute1_to_loadstore1,
372 e_out => loadstore1_to_execute1,
373 l_out => loadstore1_to_writeback,
374 d_out => loadstore1_to_dcache,
375 d_in => dcache_to_loadstore1,
376 m_out => loadstore1_to_mmu,
377 m_in => mmu_to_loadstore1,
378 dc_stall => dcache_stall_out,
379 log_out => log_data(149 downto 140)
382 mmu_0: entity work.mmu
386 l_in => loadstore1_to_mmu,
387 l_out => mmu_to_loadstore1,
388 d_out => mmu_to_dcache,
389 d_in => dcache_to_mmu,
390 i_out => mmu_to_icache
393 dcache_0: entity work.dcache
398 LOG_LENGTH => LOG_LENGTH
403 d_in => loadstore1_to_dcache,
404 d_out => dcache_to_loadstore1,
405 m_in => mmu_to_dcache,
406 m_out => dcache_to_mmu,
407 stall_out => dcache_stall_out,
408 wishbone_in => wishbone_data_in,
409 wishbone_out => wishbone_data_out,
410 log_out => log_data(170 downto 151)
413 writeback_0: entity work.writeback
416 e_in => execute1_to_writeback,
417 l_in => loadstore1_to_writeback,
418 fp_in => fpu_to_writeback,
419 w_out => writeback_to_register_file,
420 c_out => writeback_to_cr_file,
421 complete_out => complete
424 log_data(150) <= '0';
425 log_data(139 downto 135) <= "00000";
427 debug_0: entity work.core_debug
429 LOG_LENGTH => LOG_LENGTH
434 dmi_addr => dmi_addr,
436 dmi_dout => dmi_dout,
440 core_stop => dbg_core_stop,
441 core_rst => dbg_core_rst,
442 icache_rst => dbg_icache_rst,
443 terminate => terminate,
444 core_stopped => dbg_core_is_stopped,
445 nia => fetch1_to_icache.nia,
447 dbg_gpr_req => dbg_gpr_req,
448 dbg_gpr_ack => dbg_gpr_ack,
449 dbg_gpr_addr => dbg_gpr_addr,
450 dbg_gpr_data => dbg_gpr_data,
451 log_data => log_data,
452 log_read_addr => log_rd_addr,
453 log_read_data => log_rd_data,
454 log_write_addr => log_wr_addr,
455 terminated_out => terminated_out