diff --git a/pkgs/applications/science/electronics/verilog/default.nix b/pkgs/applications/science/electronics/verilog/default.nix
new file mode 100644
index 00000000000..8f48879f76a
--- /dev/null
+++ b/pkgs/applications/science/electronics/verilog/default.nix
@@ -0,0 +1,20 @@
+{stdenv, fetchurl, gperf, flex, bison}:
+
+stdenv.mkDerivation rec {
+  name = "verilog-0.9.3";
+
+  src = fetchurl {
+    url = "mirror://sourceforce/${name}.tar.gz";
+    sha256 = "dd68c8ab874a93805d1e93fa76ee1e91fc0c7b20822ded3e57b6536cd8c0d1ba";
+  };
+
+  buildInputs = [ gperf flex bison ];
+
+  meta = {
+    description = "Icarus Verilog compiler";
+    homepage = http://www.icarus.com;
+    license = "GPLv2+";
+    maintainers = with stdenv.lib.maintainers; [winden];
+    platforms = with stdenv.lib.platforms; linux;
+  };
+}
diff --git a/pkgs/lib/maintainers.nix b/pkgs/lib/maintainers.nix
index 8b664998d92..e795201755f 100644
--- a/pkgs/lib/maintainers.nix
+++ b/pkgs/lib/maintainers.nix
@@ -21,5 +21,6 @@
   simons = "Peter Simons <simons@cryp.to>";
   urkud = "Yury G. Kudryashov <urkud+nix@ya.ru>";
   viric = "Lluís Batlle i Rossell <viriketo@gmail.com>";
+  winden = "Antonio Vargas Gonzalez <windenntw@gmail.com>";
   z77z = "Marco Maggesi <maggesi@math.unifi.it>";
 }
diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix
index 37f8540c91c..8e261b5f70d 100644
--- a/pkgs/top-level/all-packages.nix
+++ b/pkgs/top-level/all-packages.nix
@@ -1257,6 +1257,8 @@ let
     inherit pciutils libx86 zlib;
   };
 
+  verilog = callPackage ../applications/science/electronics/verilog {};
+
   viking = callPackage ../applications/misc/viking { };
 
   vncrec = builderDefsPackage ../tools/video/vncrec {