OpenCores
URL https://opencores.org/ocsvn/or1k/or1k/trunk

Subversion Repositories or1k

[/] [or1k/] [trunk/] [or1200/] [rtl/] [verilog/] [or1200_immu_top.v] - Blame information for rev 1778

Go to most recent revision | Details | Compare with Previous | View Log

Line No. Rev Author Line
1 504 lampret
//////////////////////////////////////////////////////////////////////
2
////                                                              ////
3
////  OR1200's Instruction MMU top level                          ////
4
////                                                              ////
5
////  This file is part of the OpenRISC 1200 project              ////
6
////  http://www.opencores.org/cores/or1k/                        ////
7
////                                                              ////
8
////  Description                                                 ////
9
////  Instantiation of all IMMU blocks.                           ////
10
////                                                              ////
11
////  To Do:                                                      ////
12 1053 lampret
////   - cache inhibit                                            ////
13 504 lampret
////                                                              ////
14
////  Author(s):                                                  ////
15
////      - Damjan Lampret, lampret@opencores.org                 ////
16
////                                                              ////
17
//////////////////////////////////////////////////////////////////////
18
////                                                              ////
19
//// Copyright (C) 2000 Authors and OPENCORES.ORG                 ////
20
////                                                              ////
21
//// This source file may be used and distributed without         ////
22
//// restriction provided that this copyright statement is not    ////
23
//// removed from the file and that any derivative work contains  ////
24
//// the original copyright notice and the associated disclaimer. ////
25
////                                                              ////
26
//// This source file is free software; you can redistribute it   ////
27
//// and/or modify it under the terms of the GNU Lesser General   ////
28
//// Public License as published by the Free Software Foundation; ////
29
//// either version 2.1 of the License, or (at your option) any   ////
30
//// later version.                                               ////
31
////                                                              ////
32
//// This source is distributed in the hope that it will be       ////
33
//// useful, but WITHOUT ANY WARRANTY; without even the implied   ////
34
//// warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR      ////
35
//// PURPOSE.  See the GNU Lesser General Public License for more ////
36
//// details.                                                     ////
37
////                                                              ////
38
//// You should have received a copy of the GNU Lesser General    ////
39
//// Public License along with this source; if not, download it   ////
40
//// from http://www.opencores.org/lgpl.shtml                     ////
41
////                                                              ////
42
//////////////////////////////////////////////////////////////////////
43
//
44
// CVS Revision History
45
//
46
// $Log: not supported by cvs2svn $
47 1293 lampret
// Revision 1.14  2004/04/05 08:29:57  lampret
48
// Merged branch_qmem into main tree.
49
//
50 1267 lampret
// Revision 1.12.4.2  2003/12/09 11:46:48  simons
51
// Mbist nameing changed, Artisan ram instance signal names fixed, some synthesis waning fixed.
52
//
53
// Revision 1.12.4.1  2003/07/08 15:36:37  lampret
54
// Added embedded memory QMEM.
55
//
56 1200 markom
// Revision 1.12  2003/06/06 02:54:47  lampret
57
// When OR1200_NO_IMMU and OR1200_NO_IC are not both defined or undefined at the same time, results in a IC bug. Fixed.
58
//
59 1161 lampret
// Revision 1.11  2002/10/17 20:04:40  lampret
60
// Added BIST scan. Special VS RAMs need to be used to implement BIST.
61
//
62 1063 lampret
// Revision 1.10  2002/09/16 03:08:56  lampret
63
// Disabled cache inhibit atttribute.
64
//
65 1053 lampret
// Revision 1.9  2002/08/18 19:54:17  lampret
66
// Added store buffer.
67
//
68 977 lampret
// Revision 1.8  2002/08/14 06:23:50  lampret
69
// Disabled ITLB translation when 1) doing access to ITLB SPRs or 2) crossing page. This modification was tested only with parts of IMMU test - remaining test cases needs to be run.
70
//
71 958 lampret
// Revision 1.7  2002/08/12 05:31:30  lampret
72
// Delayed external access at page crossing.
73
//
74 942 lampret
// Revision 1.6  2002/03/29 15:16:56  lampret
75
// Some of the warnings fixed.
76
//
77 788 lampret
// Revision 1.5  2002/02/11 04:33:17  lampret
78
// Speed optimizations (removed duplicate _cyc_ and _stb_). Fixed D/IMMU cache-inhibit attr.
79
//
80 660 lampret
// Revision 1.4  2002/02/01 19:56:54  lampret
81
// Fixed combinational loops.
82
//
83 636 lampret
// Revision 1.3  2002/01/28 01:16:00  lampret
84
// Changed 'void' nop-ops instead of insn[0] to use insn[16]. Debug unit stalls the tick timer. Prepared new flag generation for add and and insns. Blocked DC/IC while they are turned off. Fixed I/D MMU SPRs layout except WAYs. TODO: smart IC invalidate, l.j 2 and TLB ways.
85
//
86 617 lampret
// Revision 1.2  2002/01/14 06:18:22  lampret
87
// Fixed mem2reg bug in FAST implementation. Updated debug unit to work with new genpc/if.
88
//
89 562 lampret
// Revision 1.1  2002/01/03 08:16:15  lampret
90
// New prefixes for RTL files, prefixed module names. Updated cache controllers and MMUs.
91
//
92 504 lampret
// Revision 1.6  2001/10/21 17:57:16  lampret
93
// Removed params from generic_XX.v. Added translate_off/on in sprs.v and id.v. Removed spr_addr from dc.v and ic.v. Fixed CR+LF.
94
//
95
// Revision 1.5  2001/10/14 13:12:09  lampret
96
// MP3 version.
97
//
98
// Revision 1.1.1.1  2001/10/06 10:18:36  igorm
99
// no message
100
//
101
// Revision 1.1  2001/08/17 08:03:35  lampret
102
// *** empty log message ***
103
//
104
// Revision 1.2  2001/07/22 03:31:53  lampret
105
// Fixed RAM's oen bug. Cache bypass under development.
106
//
107
// Revision 1.1  2001/07/20 00:46:03  lampret
108
// Development version of RTL. Libraries are missing.
109
//
110
//
111
 
112
// synopsys translate_off
113
`include "timescale.v"
114
// synopsys translate_on
115
`include "or1200_defines.v"
116
 
117
//
118
// Insn MMU
119
//
120
 
121
module or1200_immu_top(
122
        // Rst and clk
123
        clk, rst,
124
 
125
        // CPU i/f
126 660 lampret
        ic_en, immu_en, supv, icpu_adr_i, icpu_cycstb_i,
127 617 lampret
        icpu_adr_o, icpu_tag_o, icpu_rty_o, icpu_err_o,
128 504 lampret
 
129
        // SPR access
130
        spr_cs, spr_write, spr_addr, spr_dat_i, spr_dat_o,
131
 
132 1063 lampret
`ifdef OR1200_BIST
133
        // RAM BIST
134 1200 markom
        mbist_si_i, mbist_so_o, mbist_ctrl_i,
135 1063 lampret
`endif
136
 
137 1267 lampret
        // QMEM i/f
138
        qmemimmu_rty_i, qmemimmu_err_i, qmemimmu_tag_i, qmemimmu_adr_o, qmemimmu_cycstb_o, qmemimmu_ci_o
139 504 lampret
);
140
 
141
parameter dw = `OR1200_OPERAND_WIDTH;
142
parameter aw = `OR1200_OPERAND_WIDTH;
143
 
144
//
145
// I/O
146
//
147
 
148
//
149
// Clock and reset
150
//
151
input                           clk;
152
input                           rst;
153
 
154
//
155
// CPU I/F
156
//
157
input                           ic_en;
158
input                           immu_en;
159
input                           supv;
160
input   [aw-1:0]         icpu_adr_i;
161 660 lampret
input                           icpu_cycstb_i;
162 504 lampret
output  [aw-1:0]         icpu_adr_o;
163
output  [3:0]                    icpu_tag_o;
164 617 lampret
output                          icpu_rty_o;
165 504 lampret
output                          icpu_err_o;
166
 
167
//
168
// SPR access
169
//
170
input                           spr_cs;
171
input                           spr_write;
172
input   [aw-1:0]         spr_addr;
173
input   [31:0]                   spr_dat_i;
174
output  [31:0]                   spr_dat_o;
175
 
176 1063 lampret
`ifdef OR1200_BIST
177 504 lampret
//
178 1063 lampret
// RAM BIST
179
//
180 1267 lampret
input mbist_si_i;
181
input [`OR1200_MBIST_CTRL_WIDTH - 1:0] mbist_ctrl_i;
182
output mbist_so_o;
183 1063 lampret
`endif
184
 
185
//
186 504 lampret
// IC I/F
187
//
188 1267 lampret
input                           qmemimmu_rty_i;
189
input                           qmemimmu_err_i;
190
input   [3:0]                    qmemimmu_tag_i;
191
output  [aw-1:0]         qmemimmu_adr_o;
192
output                          qmemimmu_cycstb_o;
193
output                          qmemimmu_ci_o;
194 504 lampret
 
195
//
196
// Internal wires and regs
197
//
198
wire                            itlb_spr_access;
199
wire    [31:`OR1200_IMMU_PS]    itlb_ppn;
200
wire                            itlb_hit;
201
wire                            itlb_uxe;
202
wire                            itlb_sxe;
203
wire    [31:0]                   itlb_dat_o;
204
wire                            itlb_en;
205
wire                            itlb_ci;
206
wire                            itlb_done;
207
wire                            fault;
208
wire                            miss;
209 942 lampret
wire                            page_cross;
210 504 lampret
reg     [31:0]                   icpu_adr_o;
211 1161 lampret
reg     [31:`OR1200_IMMU_PS]    icpu_vpn_r;
212 788 lampret
`ifdef OR1200_NO_IMMU
213
`else
214 636 lampret
reg                             itlb_en_r;
215 958 lampret
reg                             dis_spr_access;
216 788 lampret
`endif
217 504 lampret
 
218
//
219
// Implemented bits inside match and translate registers
220
//
221
// itlbwYmrX: vpn 31-10  v 0
222
// itlbwYtrX: ppn 31-10  uxe 7  sxe 6
223
//
224
// itlb memory width:
225
// 19 bits for ppn
226
// 13 bits for vpn
227
// 1 bit for valid
228
// 2 bits for protection
229
// 1 bit for cache inhibit
230
 
231
//
232
// icpu_adr_o
233
//
234
`ifdef OR1200_REGISTERED_OUTPUTS
235
always @(posedge rst or posedge clk)
236
        if (rst)
237
                icpu_adr_o <= #1 32'h0000_0100;
238
        else
239
                icpu_adr_o <= #1 icpu_adr_i;
240
`else
241
Unsupported !!!
242
`endif
243
 
244 1161 lampret
//
245
// Page cross
246
//
247
// Asserted when CPU address crosses page boundary. Most of the time it is zero.
248
//
249
assign page_cross = icpu_adr_i[31:`OR1200_IMMU_PS] != icpu_vpn_r;
250
 
251
//
252
// Register icpu_adr_i's VPN for use when IMMU is not enabled but PPN is expected to come
253
// one clock cycle after offset part.
254
//
255
always @(posedge clk or posedge rst)
256
        if (rst)
257 1293 lampret
                icpu_vpn_r <= #1 {32-`OR1200_IMMU_PS{1'b0}};
258 1161 lampret
        else
259
                icpu_vpn_r <= #1 icpu_adr_i[31:`OR1200_IMMU_PS];
260
 
261 504 lampret
`ifdef OR1200_NO_IMMU
262
 
263
//
264
// Put all outputs in inactive state
265
//
266
assign spr_dat_o = 32'h00000000;
267 1267 lampret
assign qmemimmu_adr_o = icpu_adr_i;
268
assign icpu_tag_o = qmemimmu_tag_i;
269
assign qmemimmu_cycstb_o = icpu_cycstb_i & ~page_cross;
270
assign icpu_rty_o = qmemimmu_rty_i;
271
assign icpu_err_o = qmemimmu_err_i;
272
assign qmemimmu_ci_o = `OR1200_IMMU_CI;
273 1063 lampret
`ifdef OR1200_BIST
274 1200 markom
assign mbist_so_o = mbist_si_i;
275 1063 lampret
`endif
276 504 lampret
`else
277
 
278
//
279
// ITLB SPR access
280
//
281
// 1200 - 12FF  itlbmr w0
282
// 1200 - 123F  itlbmr w0 [63:0]
283
//
284
// 1300 - 13FF  itlbtr w0
285
// 1300 - 133F  itlbtr w0 [63:0]
286
//
287 958 lampret
assign itlb_spr_access = spr_cs & ~dis_spr_access;
288 504 lampret
 
289
//
290 958 lampret
// Disable ITLB SPR access
291
//
292
// This flop is used to mask ITLB miss/fault exception
293
// during first clock cycle of accessing ITLB SPR. In
294
// subsequent clock cycles it is assumed that ITLB SPR
295
// access was accomplished and that normal instruction fetching
296
// can proceed.
297
//
298
// spr_cs sets dis_spr_access and icpu_rty_o clears it.
299
//
300
always @(posedge clk or posedge rst)
301
        if (rst)
302
                dis_spr_access <= #1 1'b0;
303
        else if (!icpu_rty_o)
304
                dis_spr_access <= #1 1'b0;
305
        else if (spr_cs)
306
                dis_spr_access <= #1 1'b1;
307
 
308
//
309 504 lampret
// Tags:
310
//
311
// OR1200_DTAG_TE - TLB miss Exception
312
// OR1200_DTAG_PE - Page fault Exception
313
//
314 1267 lampret
assign icpu_tag_o = miss ? `OR1200_DTAG_TE : fault ? `OR1200_DTAG_PE : qmemimmu_tag_i;
315 504 lampret
 
316
//
317 617 lampret
// icpu_rty_o
318
//
319 1267 lampret
// assign icpu_rty_o = !icpu_err_o & qmemimmu_rty_i;
320
assign icpu_rty_o = qmemimmu_rty_i | itlb_spr_access & immu_en;
321 617 lampret
 
322
//
323 504 lampret
// icpu_err_o
324
//
325 1267 lampret
assign icpu_err_o = miss | fault | qmemimmu_err_i;
326 504 lampret
 
327
//
328 958 lampret
// Assert itlb_en_r after one clock cycle and when there is no
329
// ITLB SPR access
330 636 lampret
//
331
always @(posedge clk or posedge rst)
332
        if (rst)
333
                itlb_en_r <= #1 1'b0;
334
        else
335 958 lampret
                itlb_en_r <= #1 itlb_en & ~itlb_spr_access;
336 636 lampret
 
337
//
338 958 lampret
// ITLB lookup successful
339 504 lampret
//
340 958 lampret
assign itlb_done = itlb_en_r & ~page_cross;
341 504 lampret
 
342
//
343
// Cut transfer if something goes wrong with translation. If IC is disabled,
344
// use delayed signals.
345
//
346 1267 lampret
// assign qmemimmu_cycstb_o = (!ic_en & immu_en) ? ~(miss | fault) & icpu_cycstb_i & ~page_cross : (miss | fault) ? 1'b0 : icpu_cycstb_i & ~page_cross; // DL
347
assign qmemimmu_cycstb_o = immu_en ? ~(miss | fault) & icpu_cycstb_i & ~page_cross & itlb_done : icpu_cycstb_i & ~page_cross;
348 504 lampret
 
349
//
350
// Cache Inhibit
351
//
352 1053 lampret
// Cache inhibit is not really needed for instruction memory subsystem.
353 1293 lampret
// If we would doq it, we would doq it like this.
354 1267 lampret
// assign qmemimmu_ci_o = immu_en ? itlb_done & itlb_ci : `OR1200_IMMU_CI;
355 1053 lampret
// However this causes a async combinational loop so we stick to
356
// no cache inhibit.
357 1267 lampret
assign qmemimmu_ci_o = `OR1200_IMMU_CI;
358 504 lampret
 
359 942 lampret
 
360
//
361 504 lampret
// Physical address is either translated virtual address or
362
// simply equal when IMMU is disabled
363
//
364 1267 lampret
assign qmemimmu_adr_o = itlb_done ? {itlb_ppn, icpu_adr_i[`OR1200_IMMU_PS-1:0]} : {icpu_vpn_r, icpu_adr_i[`OR1200_IMMU_PS-1:0]}; // DL: immu_en
365 504 lampret
 
366
//
367
// Output to SPRS unit
368
//
369 958 lampret
assign spr_dat_o = spr_cs ? itlb_dat_o : 32'h00000000;
370 504 lampret
 
371
//
372
// Page fault exception logic
373
//
374 617 lampret
assign fault = itlb_done &
375 504 lampret
                        (  (!supv & !itlb_uxe)          // Execute in user mode not enabled
376
                        || (supv & !itlb_sxe));         // Execute in supv mode not enabled
377
 
378
//
379
// TLB Miss exception logic
380
//
381 617 lampret
assign miss = itlb_done & !itlb_hit;
382 504 lampret
 
383
//
384
// ITLB Enable
385
//
386 660 lampret
assign itlb_en = immu_en & icpu_cycstb_i;
387 504 lampret
 
388
//
389
// Instantiation of ITLB
390
//
391
or1200_immu_tlb or1200_immu_tlb(
392
        // Rst and clk
393
        .clk(clk),
394
        .rst(rst),
395
 
396
        // I/F for translation
397
        .tlb_en(itlb_en),
398
        .vaddr(icpu_adr_i),
399
        .hit(itlb_hit),
400
        .ppn(itlb_ppn),
401
        .uxe(itlb_uxe),
402
        .sxe(itlb_sxe),
403
        .ci(itlb_ci),
404
 
405 1063 lampret
`ifdef OR1200_BIST
406
        // RAM BIST
407 1200 markom
        .mbist_si_i(mbist_si_i),
408
        .mbist_so_o(mbist_so_o),
409
        .mbist_ctrl_i(mbist_ctrl_i),
410 1063 lampret
`endif
411
 
412 504 lampret
        // SPR access
413
        .spr_cs(itlb_spr_access),
414
        .spr_write(spr_write),
415
        .spr_addr(spr_addr),
416
        .spr_dat_i(spr_dat_i),
417
        .spr_dat_o(itlb_dat_o)
418
);
419
 
420
`endif
421
 
422
endmodule

powered by: WebSVN 2.1.0

© copyright 1999-2024 OpenCores.org, equivalent to Oliscience, all rights reserved. OpenCores®, registered trademark.