SBY Strategy: Run async2sync before formalff

Currently EQY doesn't guarantee that async2sync or clk2fflogic has run
at this point, so async2sync is needed in case the design contains async
resets. If either command has already run this is a no-op.

Author: jix

src/eqy.py

@@ -931,6 +931,7 @@ def write(self, job, partition):
 
             if self.scfg.xprop:
                 print(textwrap.dedent(f"""
+                    async2sync
                     formalff -clk2ff -ff2anyinit gate.{partition.name}
                     setundef -anyseq gate.{partition.name}
                     flatten -wb; dffunmap; opt_expr -keepdc -undriven; opt_clean