From ab1e50bcd5a67e940204cb436b2e91f1f50bac97 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sun, 4 Jan 2026 09:35:32 -0800
Subject: [PATCH] Updating print-out.

---
 src/aig/gia/giaMulFind.c | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/src/aig/gia/giaMulFind.c b/src/aig/gia/giaMulFind.c
index 3dd454194..66d65e11d 100644
--- a/src/aig/gia/giaMulFind.c
+++ b/src/aig/gia/giaMulFind.c
@@ -875,7 +875,11 @@ void Gia_ManMulFindPrintOne( Vec_Wec_t * vTerms, int m, int fBooth, int fInputLi
     Vec_Int_t * vIn0 = Vec_WecEntry(vTerms, 3*m+0);
     Vec_Int_t * vIn1 = Vec_WecEntry(vTerms, 3*m+1);
     Vec_Int_t * vOut = Vec_WecEntry(vTerms, 3*m+2);
-    printf( "%sooth %ssigned %d x %d: ", fBooth ? "B" : "Non-b", Vec_IntEntryLast(vOut) ? "" : "un", Vec_IntSize(vIn0), Vec_IntSize(vIn1) );
+    printf( "%sooth %s%ssigned %d x %d: ", 
+        fBooth==1 ? "B" : "Non-b", 
+        fBooth>=1 ? "radix-4 " : "", 
+        Vec_IntEntryLast(vOut) ? "" : "un", 
+        Vec_IntSize(vIn0), Vec_IntSize(vIn1) );
     Gia_ManMulFindPrintSet( vIn0, fInputLits, 0 );
     printf( " * " );
     Gia_ManMulFindPrintSet( vIn1, fInputLits, 0 );