From 12b443e71c6d4767c65852b972abe40c3c44a3bf Mon Sep 17 00:00:00 2001 From: "Emil J. Tywoniak" Date: Thu, 19 Mar 2026 19:48:25 +0100 Subject: [PATCH] dfflibmap: consistent clk2fflogic usage in test --- tests/techmap/dfflibmap_proc_formal.ys | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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