1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
|
`include "core/mmu_format.sv"
`include "core/uarch.sv"
module core_mmu
(
input logic clk,
rst_n,
input logic privileged,
mmu_enable /*verilator public*/,
input mmu_base mmu_ttbr /*verilator public*/,
input word mmu_dac,
input logic bus_ready,
bus_ex_fail,
input word bus_data_rd,
data_data_wr,
input ptr insn_addr,
data_addr,
input logic insn_start,
data_start,
data_write,
data_ex_lock,
data_user,
input logic[3:0] data_data_be,
output word bus_data_wr,
output logic[3:0] bus_data_be,
output ptr bus_addr,
output logic bus_start,
bus_write,
bus_ex_lock,
insn_ready,
insn_fault,
data_ready,
data_fault,
data_ex_fail,
output word insn_data_rd,
data_data_rd,
output logic fault_register,
fault_page,
output ptr fault_addr,
output mmu_fault_type fault_type,
output mmu_domain fault_domain
);
ptr iphys_addr, dphys_addr;
word iphys_data_rd, dphys_data_rd, dphys_data_wr;
logic[3:0] dphys_data_be;
logic iphys_start, dphys_start, iphys_ready, dphys_ready, dphys_write,
dphys_ex_fail, dphys_ex_lock;
assign fault_register = data_fault;
core_mmu_pagewalk iwalk
(
.core_addr(insn_addr),
.core_start(insn_start),
.core_write(0),
.core_ready(insn_ready),
.core_data_wr(0),
.core_data_be(0),
.core_data_rd(insn_data_rd),
.core_ex_fail(),
.core_ex_lock(0),
.core_fault(insn_fault),
.core_fault_addr(),
.core_fault_page(),
.core_fault_type(),
.core_fault_domain(),
.bus_addr(iphys_addr),
.bus_start(iphys_start),
.bus_write(),
.bus_ready(iphys_ready),
.bus_data_wr(),
.bus_data_be(),
.bus_data_rd(iphys_data_rd),
.bus_ex_fail(0),
.bus_ex_lock(),
.*
);
core_mmu_pagewalk dwalk
(
.core_addr(data_addr),
.core_start(data_start),
.core_write(data_write),
.core_ready(data_ready),
.core_data_wr(data_data_wr),
.core_data_be(data_data_be),
.core_data_rd(data_data_rd),
.core_ex_fail(data_ex_fail),
.core_ex_lock(data_ex_lock),
.core_fault(data_fault),
.core_fault_addr(fault_addr),
.core_fault_page(fault_page),
.core_fault_type(fault_type),
.core_fault_domain(fault_domain),
.bus_addr(dphys_addr),
.bus_start(dphys_start),
.bus_write(dphys_write),
.bus_ready(dphys_ready),
.bus_data_wr(dphys_data_wr),
.bus_data_be(dphys_data_be),
.bus_data_rd(dphys_data_rd),
.bus_ex_fail(dphys_ex_fail),
.bus_ex_lock(dphys_ex_lock),
.privileged(privileged && !data_user),
.*
);
core_mmu_arbiter arbiter
(
.insn_addr(iphys_addr),
.insn_start(iphys_start),
.insn_ready(iphys_ready),
.insn_data_rd(iphys_data_rd),
.data_addr(dphys_addr),
.data_start(dphys_start),
.data_write(dphys_write),
.data_ready(dphys_ready),
.data_data_wr(dphys_data_wr),
.data_data_be(dphys_data_be),
.data_data_rd(dphys_data_rd),
.data_ex_fail(dphys_ex_fail),
.data_ex_lock(dphys_ex_lock),
.*
);
endmodule
|
