diff --git a/cad/symbiyosys/Makefile b/cad/symbiyosys/Makefile
index d56090668787..d3617414cf93 100644
--- a/cad/symbiyosys/Makefile
+++ b/cad/symbiyosys/Makefile
@@ -1,26 +1,26 @@
 PORTNAME=	symbiyosys
 DISTVERSIONPREFIX=	v
-DISTVERSION=	0.60
+DISTVERSION=	0.63
 CATEGORIES=	cad
 
 MAINTAINER=	yuri@FreeBSD.org
 COMMENT=	SymbiYosys (sby): Front-end for Yosys-based formal verification flows
 WWW=		https://yosyshq.readthedocs.io/projects/sby/en/latest/ \
 		https://github.com/YosysHQ/sby/
 
 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_ARCH=	yes
 NO_BUILD=	yes
 
 .include <bsd.port.mk>
diff --git a/cad/symbiyosys/distinfo b/cad/symbiyosys/distinfo
index aa8ee21d7008..3c29f16096ba 100644
--- a/cad/symbiyosys/distinfo
+++ b/cad/symbiyosys/distinfo
@@ -1,3 +1,3 @@
-TIMESTAMP = 1764913407
-SHA256 (YosysHQ-sby-v0.60_GH0.tar.gz) = e5062e4635e5ed9e57049e8b15146a09cce4c631da0c704d11bf7d19d0b3c016
-SIZE (YosysHQ-sby-v0.60_GH0.tar.gz) = 173761
+TIMESTAMP = 1774427385
+SHA256 (YosysHQ-sby-v0.63_GH0.tar.gz) = 96ada7fd013a2d6c7381ea75419a00d20b847ab08d56147c3aa66e0ada8ca0d7
+SIZE (YosysHQ-sby-v0.63_GH0.tar.gz) = 176919