diff --git a/tests/techmap/dfflibmap_proc_formal.ys b/tests/techmap/dfflibmap_proc_formal.ys
index 43441a03a..88cb97cdb 100644
--- a/tests/techmap/dfflibmap_proc_formal.ys
+++ b/tests/techmap/dfflibmap_proc_formal.ys
@@ -78,7 +78,7 @@ delete top miter
 copy top_unmapped top
 dfflibmap -liberty dfflibmap_dffsr_mixedpol.lib top
 
-async2sync
+clk2fflogic
 flatten
 miter -equiv -make_assert -flatten top_unmapped top miter
 
@@ -92,7 +92,7 @@ delete top miter
 copy top_unmapped top
 dfflibmap -liberty dfflibmap_dffsr_not_next.lib top
 
-async2sync
+clk2fflogic
 flatten
 miter -equiv -make_assert -flatten top_unmapped top miter