formal.mk: add clk2fflogic before async2sync, to avoid complaint from that pass about asserts having TRG_WIDTH > 1

2024-03-17 05:42:39 +00:00 · 2024-03-17 05:42:39 +00:00 · 0ec5caa379
parent 9bb6ed4a3e
commit 0ec5caa379
1 changed files with 1 additions and 1 deletions
--- a/2
+++ b/2
@ -1 +1 @@
-Subproject commit 53af1540e5c29c66a80f5f3681cb4d728e630b36
+Subproject commit 77fecbee4a0b9194d6a99ee6c49243b0d2b90d8d