From ee04349aee0a11d5ce0ad39b0de80e3cb366087e Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sun, 14 Dec 2025 23:06:33 -0800 Subject: [PATCH] Dumping symbol table when blasting by Yosys. --- 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 988a88047..05e8be4d0 100644 --- a/src/base/wln/wlnRtl.c +++ b/src/base/wln/wlnRtl.c @@ -178,7 +178,7 @@ Gia_Man_t * Wln_BlastSystemVerilog( char * pFileName, char * pTopModule, char * char * pFileTemp = "_temp_.aig"; int fRtlil = strstr(pFileName, ".rtl") != NULL; int fSVlog = strstr(pFileName, ".sv") != NULL; - sprintf( Command, "%s -qp \"%s %s%s %s%s; hierarchy %s%s; flatten; proc; memory -nomap; memory_map; %saigmap; write_aiger %s\"", + sprintf( Command, "%s -qp \"%s %s%s %s%s; hierarchy %s%s; flatten; proc; memory -nomap; memory_map; %saigmap; write_aiger -symbols %s\"", Wln_GetYosysName(), fRtlil ? "read_rtlil" : "read_verilog", pDefines ? "-D" : "",