forked from olofk/edalize
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathverilator.py
234 lines (200 loc) · 8.52 KB
/
verilator.py
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
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
# Copyright edalize contributors
# Licensed under the 2-Clause BSD License, see LICENSE for details.
# SPDX-License-Identifier: BSD-2-Clause
import logging
import multiprocessing
import os
import logging
from edalize.edatool import Edatool
logger = logging.getLogger(__name__)
CONFIG_MK_TEMPLATE = """#Auto generated by Edalize
TOP_MODULE := {top_module}
VC_FILE := {vc_file}
VERILATOR_OPTIONS := {verilator_options}
MAKE_OPTIONS := {make_options}
"""
MAKEFILE_TEMPLATE = """#Auto generated by Edalize
include config.mk
#Assume a local installation if VERILATOR_ROOT is set
ifeq ($(VERILATOR_ROOT),)
VERILATOR ?= verilator
else
VERILATOR ?= $(VERILATOR_ROOT)/bin/verilator
endif
V$(TOP_MODULE): V$(TOP_MODULE).mk
$(MAKE) $(MAKE_OPTIONS) -f $<
V$(TOP_MODULE).mk:
$(EDALIZE_LAUNCHER) $(VERILATOR) -f $(VC_FILE) $(VERILATOR_OPTIONS)
"""
class Verilator(Edatool):
argtypes = ["cmdlinearg", "plusarg", "vlogdefine", "vlogparam"]
@classmethod
def get_doc(cls, api_ver):
if api_ver == 0:
return {
"description": "Verilator is the fastest free Verilog HDL simulator, and outperforms most commercial simulators",
"members": [
{
"name": "mode",
"type": "String",
"desc": "Select compilation mode. Legal values are *cc* for C++ testbenches, *sc* for SystemC testbenches or *lint-only* to only perform linting on the Verilog code",
},
{
"name": "cli_parser",
"type": "String",
"desc": "**Deprecated: Use run_options instead** : Select whether FuseSoC should handle command-line arguments (*managed*) or if they should be passed directly to the verilated model (*raw*). Default is *managed*",
},
{
"name": "exe",
"type": "String",
"desc": "Controls whether to create an executable. Set to 'false' when something else will do the final linking",
},
],
"lists": [
{
"name": "libs",
"type": "String",
"desc": "Extra libraries for the verilated model to link against",
},
{
"name": "verilator_options",
"type": "String",
"desc": "Additional options for verilator",
},
{
"name": "make_options",
"type": "String",
"desc": "Additional arguments passed to make when compiling the simulation. This is commonly used to set OPT/OPT_FAST/OPT_SLOW.",
},
{
"name": "run_options",
"type": "String",
"desc": "Additional arguments directly passed to the verilated model",
},
],
}
def check_managed_parser(self):
managed = (
"cli_parser" not in self.tool_options
or self.tool_options["cli_parser"] == "managed"
)
if not managed:
logger.warning(
"The cli_parser argument is deprecated. Use run_options to pass raw arguments to verilated models"
)
def configure_main(self):
self.check_managed_parser()
if not self.toplevel:
raise RuntimeError(
"'" + self.name + "' miss a mandatory parameter 'top_module'"
)
self._write_config_files()
def _write_config_files(self):
# Future improvement: Separate include directories of c and verilog files
incdirs = set()
src_files = []
(src_files, incdirs) = self._get_fileset_files(force_slash=True)
self.verilator_file = self.name + ".vc"
with open(os.path.join(self.work_root, self.verilator_file), "w") as f:
f.write("--Mdir .\n")
modes = ["sc", "cc", "lint-only"]
# Default to cc mode if not specified
if not "mode" in self.tool_options:
self.tool_options["mode"] = "cc"
if self.tool_options["mode"] in modes:
f.write("--" + self.tool_options["mode"] + "\n")
else:
_s = "Illegal verilator mode {}. Allowed values are {}"
raise RuntimeError(
_s.format(self.tool_options["mode"], ", ".join(modes))
)
if "libs" in self.tool_options:
for lib in self.tool_options["libs"]:
f.write("-LDFLAGS {}\n".format(lib))
for include_dir in incdirs:
f.write("+incdir+" + include_dir + "\n")
f.write("-CFLAGS -I{}\n".format(include_dir))
vlt_files = []
vlog_files = []
opt_c_files = []
for src_file in src_files:
if src_file.file_type.startswith(
"systemVerilogSource"
) or src_file.file_type.startswith("verilogSource"):
vlog_files.append(src_file.name)
elif src_file.file_type in ["cppSource", "systemCSource", "cSource"]:
opt_c_files.append(src_file.name)
elif src_file.file_type == "vlt":
vlt_files.append(src_file.name)
elif src_file.file_type == "user":
pass
if vlt_files:
f.write("\n".join(vlt_files) + "\n")
f.write("\n".join(vlog_files) + "\n")
f.write("--top-module {}\n".format(self.toplevel))
if str(self.tool_options.get("exe")).lower() != "false":
f.write("--exe\n")
f.write("\n".join(opt_c_files))
f.write("\n")
f.write(
"".join(
[
"-G{}={}\n".format(
key, self._param_value_str(value, str_quote_style='\\"')
)
for key, value in self.vlogparam.items()
]
)
)
f.write(
"".join(
[
"-D{}={}\n".format(key, self._param_value_str(value))
for key, value in self.vlogdefine.items()
]
)
)
with open(os.path.join(self.work_root, "Makefile"), "w") as makefile:
makefile.write(MAKEFILE_TEMPLATE)
if "verilator_options" in self.tool_options:
verilator_options = " ".join(self.tool_options["verilator_options"])
else:
verilator_options = ""
if "make_options" in self.tool_options:
make_options = " ".join(self.tool_options["make_options"])
else:
make_options = ""
with open(os.path.join(self.work_root, "config.mk"), "w") as config_mk:
config_mk.write(
CONFIG_MK_TEMPLATE.format(
top_module=self.toplevel,
vc_file=self.verilator_file,
verilator_options=verilator_options,
make_options=make_options,
)
)
def build_main(self):
logger.info("Building simulation model")
if not "mode" in self.tool_options:
self.tool_options["mode"] = "cc"
# Do parallel builds with <number of cpus>
make_job_count = multiprocessing.cpu_count()
args = ["-j", str(make_job_count)]
if self.tool_options["mode"] == "lint-only":
args.append("V" + self.toplevel + ".mk")
self._run_tool("make", args, quiet=True)
def run_main(self):
self.check_managed_parser()
self.args = []
for key, value in self.plusarg.items():
self.args += ["+{}={}".format(key, self._param_value_str(value))]
for key, value in self.cmdlinearg.items():
self.args += ["--{}={}".format(key, self._param_value_str(value))]
self.args += self.tool_options.get("run_options", [])
# Default to cc mode if not specified
if not "mode" in self.tool_options:
self.tool_options["mode"] = "cc"
if self.tool_options["mode"] == "lint-only":
return
logger.info("Running simulation")
self._run_tool("./V" + self.toplevel, self.args)