From 22585b33dc2c3a2067a601fe9d8d63a12e7144b5 Mon Sep 17 00:00:00 2001 From: Jannis Harder Date: Wed, 3 Aug 2022 17:33:04 +0200 Subject: [PATCH] Use 'rename -witness' instead of multiple 'rename -enumerate' --- sbysrc/sby_core.py | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/sbysrc/sby_core.py b/sbysrc/sby_core.py index 3b7a5fe..d855abf 100644 --- a/sbysrc/sby_core.py +++ b/sbysrc/sby_core.py @@ -608,9 +608,7 @@ class SbyTask(SbyConfig): print("check", file=f) # can't detect undriven wires past this point print("setundef -undriven -anyseq", file=f) print("opt -fast", file=f) - # running opt before the renames below results in fewer unnamed witness signals - for celltype in ["anyconst", "anyseq", "anyinit", "allconst", "allseq"]: - print(f"rename -enumerate -pattern _sby_witness_{celltype}_% t:${celltype} %co w:* %i", file=f) + print("rename -witness", file=f) print("opt_clean", file=f) print(f"""write_rtlil ../model/design_prep.il""", file=f)