File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -226,6 +226,15 @@ chisel_binary(
226226 ],
227227)
228228
229+ FIRTOOL_OPTIONS = [
230+ "-disable-all-randomization" ,
231+ "-strip-debug-info" ,
232+ "-enable-layers=Verification" ,
233+ "-enable-layers=Verification.Assert" ,
234+ "-enable-layers=Verification.Assume" ,
235+ "-enable-layers=Verification.Cover" ,
236+ ]
237+
229238fir_library (
230239 name = "generate_fir" ,
231240 data = [
@@ -238,19 +247,14 @@ fir_library(
238247 "--" ,
239248 # Imagine Chisel arguments here
240249 "--" ,
241- "-disable-all-randomization" ,
242- "-strip-debug-info" ,
243- "-enable-layers=Verification" ,
244- "-enable-layers=Verification.Assert" ,
245- "-enable-layers=Verification.Assume" ,
246- "-enable-layers=Verification.Cover" ,
247- ],
250+ ] + FIRTOOL_OPTIONS ,
248251 tags = ["manual" ],
249252)
250253
251254verilog_directory (
252255 name = "generate_split" ,
253256 srcs = [":generate_fir" ],
257+ opts = FIRTOOL_OPTIONS ,
254258 tags = ["manual" ],
255259)
256260
You can’t perform that action at this time.
0 commit comments