diff --git a/cad/symbiyosys/Makefile b/cad/symbiyosys/Makefile
index 8f03aa27ebb4..d908340c81b7 100644
--- a/cad/symbiyosys/Makefile
+++ b/cad/symbiyosys/Makefile
@@ -1,27 +1,27 @@
 PORTNAME=	symbiyosys
 DISTVERSIONPREFIX=	yosys-
-DISTVERSION=	0.46
+DISTVERSION=	0.47
 CATEGORIES=	cad
 PKGNAMEPREFIX=
 
 MAINTAINER=	yuri@FreeBSD.org
 COMMENT=	SymbiYosys (sby): Front-end for Yosys-based formal verification flows
 WWW=		https://yosyshq.readthedocs.io/projects/sby/en/latest/
 
 LICENSE=	ISCL
 LICENSE_FILE=	${WRKSRC}/COPYING
 
 RUN_DEPENDS=	yosys:cad/yosys
 
 USES=		gmake python shebangfix
 
 USE_GITHUB=	yes
 GH_ACCOUNT=	YosysHQ
 GH_PROJECT=	sby
 
 SHEBANG_FILES=	sbysrc/sby.py
 
 NO_BUILD=	yes
 NO_ARCH=	yes
 
 .include <bsd.port.mk>
diff --git a/cad/symbiyosys/distinfo b/cad/symbiyosys/distinfo
index 49d5cbae44c3..8a380bf8fe1b 100644
--- a/cad/symbiyosys/distinfo
+++ b/cad/symbiyosys/distinfo
@@ -1,3 +1,3 @@
-TIMESTAMP = 1728533277
-SHA256 (YosysHQ-sby-yosys-0.46_GH0.tar.gz) = 3cc9df7cabba92c687630a3e5f9e4df94b9d8052bc8f0f93fd9721a92144ae73
-SIZE (YosysHQ-sby-yosys-0.46_GH0.tar.gz) = 153578
+TIMESTAMP = 1730876156
+SHA256 (YosysHQ-sby-yosys-0.47_GH0.tar.gz) = 3e4512983d674742fcaf3df84ff205b634c4edbf6a72afe28969e484d7215ca6
+SIZE (YosysHQ-sby-yosys-0.47_GH0.tar.gz) = 153973