diff --git a/pkgs/development/compilers/yosys/plugins/synlig.nix b/pkgs/development/compilers/yosys/plugins/synlig.nix
deleted file mode 100644
index c596835ecb56..000000000000
--- a/pkgs/development/compilers/yosys/plugins/synlig.nix
+++ /dev/null
@@ -1,91 +0,0 @@
-{
-  stdenv,
-  lib,
-  fetchFromGitHub,
-  pkg-config,
-  antlr4,
-  capnproto,
-  readline,
-  surelog,
-  uhdm,
-  yosys,
-}:
-
-stdenv.mkDerivation (finalAttrs: {
-  pname = "yosys-synlig";
-  plugin = "synlig";
-
-  # The module has automatic regular releases, with date + short git hash
-  GIT_VERSION = "2024-12-10-2d838ed";
-
-  # Derive our package version from GIT_VERSION, remove hash, just keep date.
-  version = builtins.concatStringsSep "-" (lib.take 3 (builtins.splitVersion finalAttrs.GIT_VERSION));
-
-  src = fetchFromGitHub {
-    owner = "chipsalliance";
-    repo = "synlig";
-    rev = "${finalAttrs.GIT_VERSION}";
-    hash = "sha256-MsnRraAqsIkJ2PjBfoSrvUX/RHtL+FV2+iB3i7galLI=";
-    fetchSubmodules = false; # we use all dependencies from nix
-  };
-
-  nativeBuildInputs = [
-    pkg-config
-  ];
-
-  buildInputs = [
-    antlr4.runtime.cpp
-    capnproto
-    readline
-    surelog
-    uhdm
-    yosys
-  ];
-
-  buildPhase = ''
-    runHook preBuild
-
-    # Remove assumptions that submodules are available.
-    rm -f third_party/Build.*.mk
-
-    # Create a stub makefile include that delegates the parameter-gathering
-    # to yosys-config
-    cat > third_party/Build.yosys.mk << "EOF"
-    t  := yosys
-    ts := ''$(call GetTargetStructName,''${t})
-
-    ''${ts}.src_dir   := ''$(shell yosys-config --datdir/include)
-    ''${ts}.mod_dir   := ''${TOP_DIR}third_party/yosys_mod/
-    EOF
-
-    make -j $NIX_BUILD_CORES build@systemverilog-plugin \
-            LDFLAGS="''$(yosys-config --ldflags --ldlibs)"
-    runHook postBuild
-  '';
-
-  # Check that the plugin can be loaded successfully and parse simple file.
-  doCheck = true;
-  checkPhase = ''
-    runHook preCheck
-    echo "module litmustest(); endmodule;" > litmustest.sv
-    yosys -p "plugin -i build/release/systemverilog-plugin/systemverilog.so;\
-              read_systemverilog litmustest.sv"
-    runHook postCheck
-  '';
-
-  installPhase = ''
-    runHook preInstall
-    mkdir -p $out/share/yosys/plugins
-    cp ./build/release/systemverilog-plugin/systemverilog.so \
-           $out/share/yosys/plugins/systemverilog.so
-    runHook postInstall
-  '';
-
-  meta = {
-    description = "SystemVerilog support plugin for Yosys";
-    homepage = "https://github.com/chipsalliance/synlig";
-    license = lib.licenses.asl20;
-    maintainers = with lib.maintainers; [ hzeller ];
-    platforms = lib.platforms.all;
-  };
-})
diff --git a/pkgs/top-level/aliases.nix b/pkgs/top-level/aliases.nix
index 4d7c96aa9f28..e9c2d42ceb98 100644
--- a/pkgs/top-level/aliases.nix
+++ b/pkgs/top-level/aliases.nix
@@ -1771,6 +1771,7 @@ mapAliases {
   yaml-cpp_0_3 = throw "yaml-cpp_0_3 has been removed, as it was unused"; # Added 2025-09-16
   yamlpath = throw "'yamlpath' has been removed because it has been marked as broken since at least November 2024."; # Added 2025-10-01
   yeahwm = throw "'yeahwm' has been removed, as it was broken and unmaintained upstream."; # Added 2025-06-12
+  yosys-synlig = throw "yosys-synlig has been removed because it is unmaintained upstream and incompatible with current Yosys versions."; # Added 2026-01-06
   youtube-music = lib.warnOnInstantiate "'youtube-music' has been renamed to 'pear-desktop'" pear-desktop; # Added 2025-12-23
   yubikey-manager-qt = throw "'yubikey-manager-qt' has been removed due to being archived upstream. Consider using 'yubioath-flutter' instead."; # Added 2025-06-07
   yubikey-personalization-gui = throw "'yubikey-personalization-gui' has been removed due to being archived upstream. Consider using 'yubioath-flutter' instead."; # Added 2025-06-07
diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix
index 235eee08a479..f3146156be0a 100644
--- a/pkgs/top-level/all-packages.nix
+++ b/pkgs/top-level/all-packages.nix
@@ -5235,7 +5235,6 @@ with pkgs;
   # prolog
   yosys-bluespec = callPackage ../development/compilers/yosys/plugins/bluespec.nix { };
   yosys-ghdl = callPackage ../development/compilers/yosys/plugins/ghdl.nix { };
-  yosys-synlig = callPackage ../development/compilers/yosys/plugins/synlig.nix { };
   yosys-symbiflow = callPackage ../development/compilers/yosys/plugins/symbiflow.nix { };
 
   inherit