diff --git a/tests/arch/ice40/ice40_dsp_const.ys b/tests/arch/ice40/ice40_dsp_const.ys
index c9c76a1ac..735f945a1 100644
--- a/tests/arch/ice40/ice40_dsp_const.ys
+++ b/tests/arch/ice40/ice40_dsp_const.ys
@@ -74,6 +74,7 @@ EOT
 
 techmap -wb -D EQUIV -autoproc -map +/ice40/cells_sim.v
 
+async2sync
 equiv_make top ref equiv 
 select -assert-any -module equiv t:$equiv 
 equiv_induct