From fc1f2f248e3a82c8c71432d991edd3c14b47eed2 Mon Sep 17 00:00:00 2001
From: Alex Light <allight@google.com>
Date: Tue, 19 Dec 2023 11:38:06 -0800
Subject: [PATCH] Don't rely on escapes for spaces in logging tcl command

A yosys log command used an escape to print a trailing space. This could cause issues if the trailing space was removed by code-cleanup tools. Instead quote the logged string.
---
 synthesis/synth.tcl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/synthesis/synth.tcl b/synthesis/synth.tcl
index cabde405..3ba20aec 100644
--- a/synthesis/synth.tcl
+++ b/synthesis/synth.tcl
@@ -117,7 +117,7 @@ if { [info exists ::env(STATS_JSON) ] } {
 read_liberty -lib -ignore_miss_func $liberty
 ltp -noff $top
 
-yosys log -n Flop count:\
+yosys log -n "Flop count: "
 yosys select -count t:*__df* t:DFF* t:*_DFF* t:*_SDFF* t:*_ADFF* t:*dff
 
 set base_liberty [file tail $liberty]