From 490bb92a8cadc2f6dbf5b9d985e0f070634ff0f0 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Fri, 9 May 2025 17:17:26 -0700 Subject: [PATCH] Fixing the Yosys script used to read a mapped netlist. --- src/base/wln/wlnRtl.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/base/wln/wlnRtl.c b/src/base/wln/wlnRtl.c index 7f521578b..a53aec1b3 100644 --- a/src/base/wln/wlnRtl.c +++ b/src/base/wln/wlnRtl.c @@ -217,7 +217,7 @@ Abc_Ntk_t * Wln_ReadMappedSystemVerilog( char * pFileName, char * pTopModule, ch char Command[1000]; char * pFileTemp = "_temp_.blif"; int fSVlog = strstr(pFileName, ".sv") != NULL; - sprintf( Command, "%s -qp \"read_liberty -lib %s; read %s %s%s %s; hierarchy %s%s; write_blif %s%s -impltf -gates %s\"", + sprintf( Command, "%s -qp \"read_liberty -lib %s; read %s %s%s %s; hierarchy %s%s; flatten; proc; write_blif %s%s -impltf -gates %s\"", Wln_GetYosysName(), pLibrary, fSVlog ? "-sv " : "-vlog95",