Allow the formal engine to perform a same-cycle result in the ALU
[soc.git] / src / soc / simple / issuer_verilog.py
1 """simple core issuer verilog generator
2 """
3
4 import argparse
5 from nmigen.cli import verilog
6
7 from openpower.consts import MSR
8 from soc.config.test.test_loadstore import TestMemPspec
9 from soc.simple.issuer import TestIssuer, TestIssuerInternal
10
11
12 if __name__ == '__main__':
13 parser = argparse.ArgumentParser(description="Simple core issuer " \
14 "verilog generator")
15 parser.add_argument("output_filename")
16 parser.add_argument("--enable-xics", dest='xics', action="store_true",
17 help="Enable interrupts",
18 default=True)
19 parser.add_argument("--disable-xics", dest='xics', action="store_false",
20 help="Disable interrupts",
21 default=False)
22 parser.add_argument("--enable-lessports", dest='lessports',
23 action="store_true",
24 help="Enable less regfile ports",
25 default=True)
26 parser.add_argument("--disable-lessports", dest='lessports',
27 action="store_false",
28 help="enable more regfile ports",
29 default=False)
30 parser.add_argument("--enable-core", dest='core', action="store_true",
31 help="Enable main core",
32 default=True)
33 parser.add_argument("--disable-core", dest='core', action="store_false",
34 help="disable main core",
35 default=False)
36 parser.add_argument("--enable-mmu", dest='mmu', action="store_true",
37 help="Enable mmu",
38 default=False)
39 parser.add_argument("--disable-mmu", dest='mmu', action="store_false",
40 help="Disable mmu",
41 default=False)
42 parser.add_argument("--enable-pll", dest='pll', action="store_true",
43 help="Enable pll",
44 default=False)
45 parser.add_argument("--disable-pll", dest='pll', action="store_false",
46 help="Disable pll",
47 default=False)
48 parser.add_argument("--enable-testgpio", action="store_true",
49 help="Disable gpio pins",
50 default=False)
51 parser.add_argument("--enable-sram4x4kblock", action="store_true",
52 help="Disable sram 4x4k block",
53 default=False)
54 parser.add_argument("--debug", default="jtag", help="Select debug " \
55 "interface [jtag | dmi] [default jtag]")
56 parser.add_argument("--enable-svp64", dest='svp64', action="store_true",
57 help="Enable SVP64",
58 default=True)
59 parser.add_argument("--disable-svp64", dest='svp64', action="store_false",
60 help="disable SVP64",
61 default=False)
62 # create a module that's directly compatible as a drop-in replacement
63 # in microwatt.v
64 parser.add_argument("--microwatt-compat", dest='mwcompat',
65 action="store_true",
66 help="generate microwatt-compatible interface",
67 default=False)
68 # allow overlaps in TestIssuer
69 parser.add_argument("--allow-overlap", dest='allow_overlap',
70 action="store_true",
71 help="allow overlap in TestIssuer",
72 default=False)
73
74 args = parser.parse_args()
75
76 # convenience: set some defaults
77 if args.mwcompat:
78 args.pll = False
79 args.debug = 'dmi'
80 args.core = True
81 args.xics = False
82 args.gpio = False
83 args.sram4x4kblock = False
84 args.svp64 = False
85
86 print(args)
87
88 units = {'alu': 1,
89 'cr': 1, 'branch': 1, 'trap': 1,
90 'logical': 1,
91 'spr': 1,
92 'div': 1,
93 'mul': 1,
94 'shiftrot': 1
95 }
96 if args.mmu:
97 units['mmu'] = 1 # enable MMU
98
99 # decide which memory type to configure
100 if args.mmu:
101 ldst_ifacetype = 'mmu_cache_wb'
102 imem_ifacetype = 'mmu_cache_wb'
103 else:
104 ldst_ifacetype = 'bare_wb'
105 imem_ifacetype = 'bare_wb'
106
107 # default MSR (TODO, provide option to set default PC as well)
108 msr_reset = (1<<MSR.LE) | (1<<MSR.SF) # 64-bit, little-endian default
109
110 pspec = TestMemPspec(ldst_ifacetype=ldst_ifacetype,
111 imem_ifacetype=imem_ifacetype,
112 addr_wid=64,
113 mask_wid=8,
114 # must leave at 64
115 reg_wid=64,
116 # set to 32 for instruction-memory width=32
117 imem_reg_wid=64,
118 # set to 32 to make data wishbone bus 32-bit
119 #wb_data_wid=32,
120 xics=args.xics, # XICS interrupt controller
121 nocore=not args.core, # test coriolis2 ioring
122 regreduce = args.lessports, # less regfile ports
123 use_pll=args.pll, # bypass PLL
124 gpio=args.enable_testgpio, # for test purposes
125 sram4x4kblock=args.enable_sram4x4kblock, # add SRAMs
126 debug=args.debug, # set to jtag or dmi
127 svp64=args.svp64, # enable SVP64
128 microwatt_mmu=args.mmu, # enable MMU
129 microwatt_compat=args.mwcompat, # microwatt compatible
130 allow_overlap=args.allow_overlap, # allow overlap
131 units=units,
132 msr_reset=msr_reset)
133 #if args.mwcompat:
134 # pspec.core_domain = 'sync'
135
136 print("mmu", pspec.__dict__["microwatt_mmu"])
137 print("nocore", pspec.__dict__["nocore"])
138 print("regreduce", pspec.__dict__["regreduce"])
139 print("gpio", pspec.__dict__["gpio"])
140 print("sram4x4kblock", pspec.__dict__["sram4x4kblock"])
141 print("xics", pspec.__dict__["xics"])
142 print("use_pll", pspec.__dict__["use_pll"])
143 print("debug", pspec.__dict__["debug"])
144 print("SVP64", pspec.__dict__["svp64"])
145 print("Microwatt compatibility", pspec.__dict__["microwatt_compat"])
146
147 if args.mwcompat:
148 dut = TestIssuerInternal(pspec)
149 name = "external_core_top"
150 else:
151 dut = TestIssuer(pspec)
152 name = "test_issuer"
153
154 vl = verilog.convert(dut, ports=dut.external_ports(), name=name)
155 with open(args.output_filename, "w") as f:
156 f.write(vl)