synth: Pass --ignore-assertions to yosys-slang

Signed-off-by: Martin Povišer <povik@cutebit.org>
The-OpenROAD-Project · Feb 26, 2025 · 26c504e · 26c504e
1 parent 9f4795a
commit 26c504e
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/flow/scripts/synth_preamble.tcl b/flow/scripts/synth_preamble.tcl
@@ -27,7 +27,8 @@ if {[env_var_exists_and_non_empty USE_YOSYS_SLANG] && !([file extension $::env(V
   # slang requires all files at once
   plugin -i slang
   yosys read_slang -D SYNTHESIS --keep-hierarchy --compat=vcs \
-     {*}$vIdirsArgs {*}$::env(VERILOG_FILES)
+    --ignore-assertions \
+    {*}$vIdirsArgs {*}$::env(VERILOG_FILES)
 } else {
   foreach file $::env(VERILOG_FILES) {
     if {[file extension $file] == ".rtlil"} {