diff --git a/gnu/packages/fpga.scm b/gnu/packages/fpga.scm
index c93e2f9779c..ad689c6d152 100644
--- a/gnu/packages/fpga.scm
+++ b/gnu/packages/fpga.scm
@@ -125,7 +125,7 @@ formal verification.")
   (package
     (inherit abc)
     (name "abc-yosyshq")
-    (version "0.52")
+    (version "0.53")
     (source (origin
               (method git-fetch)
               (uri (git-reference