diff --git a/abc-yosys-segfault.patch b/abc-yosys-segfault.patch
new file mode 100644
index 0000000..602c820
--- /dev/null
+++ b/abc-yosys-segfault.patch
@@ -0,0 +1,22 @@
+From 1de4eafb0da0639199bd97f2fa98471e76327a6b Mon Sep 17 00:00:00 2001
+From: Miodrag Milanovic <mmicko@gmail.com>
+Date: Tue, 6 Jun 2023 13:59:30 +0200
+Subject: [PATCH] fix segfault
+
+---
+ src/base/io/ioWriteVerilog.c | 2 +-
+ 1 file changed, 1 insertion(+), 1 deletion(-)
+
+diff --git src/base/io/ioWriteVerilog.c src/base/io/ioWriteVerilog.c
+index 48b15b559..3d9f8fa38 100644
+--- src/base/io/ioWriteVerilog.c
++++ src/base/io/ioWriteVerilog.c
+@@ -561,7 +561,7 @@ void Io_WriteVerilogObjects( FILE * pFile, Abc_Ntk_t * pNtk, int fOnlyAnds )
+         vLevels = Vec_VecAlloc( 10 );
+         Abc_NtkForEachNode( pNtk, pObj, i )
+         {
+-            if ( Abc_ObjFaninNum(pObj) == 1 || Abc_ObjIsCo(Abc_ObjFanout0(Abc_ObjFanout0(pObj))) )
++            if ( Abc_ObjFaninNum(pObj) == 1 && Abc_ObjIsCo(Abc_ObjFanout0(Abc_ObjFanout0(pObj))) )
+             {
+                 int iLit = Abc_Var2Lit( Abc_ObjId( Abc_ObjFanin0(Abc_ObjFanin0(pObj)) ), Abc_NodeIsInv(pObj) );
+                 int iObj = Vec_IntEntry( vMap, iLit );
diff --git a/abc.spec b/abc.spec
index 731552d..1934b6c 100644
--- a/abc.spec
+++ b/abc.spec
@@ -21,7 +21,7 @@
 
 Name:           abc
 Version:        1.01
-Release:        39.git%{gitdate}%{?dist}
+Release:        40.git%{gitdate}%{?dist}
 Summary:        Sequential logic synthesis and formal verification
 
 # The ABC code itself is MIT-Modern-Variant.
@@ -54,6 +54,8 @@ Patch6:         %{name}-null-fprintf.patch
 # Weaken an overzealous assert
 # https://bitbucket.org/alanmi/abc/issue/27/assertion-failure-in-write_pla-command
 Patch7:         %{name}-weaken-assert.patch
+# yosys aiger segfault (yosyshq downstream commit):
+Patch8:         abc-yosys-segfault.patch
 
 BuildRequires:  cmake
 BuildRequires:  gcc-c++
@@ -164,6 +166,9 @@ install -p -m 0644 %{name}.1 %{buildroot}%{_mandir}/man1
 %{_libdir}/lib%{name}.so
 
 %changelog
+* Sun Jul 30 2023 Gabriel Somlo <gsomlo@gmail.com> - 1.01-40.git20230708
+- Apply patch from yosyshq to fix yosys FTBFS (#2226521)
+
 * Wed Jul 19 2023 Fedora Release Engineering <releng@fedoraproject.org> - 1.01-39.git20230708
 - Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild