diff --git a/Cargo.lock b/Cargo.lock
index b477e7a..ba9710d 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -565,7 +565,7 @@ dependencies = [
 
 [[package]]
 name = "marlin-verilator-stable"
-version = "3.0.0"
+version = "4.0.0"
 dependencies = [
  "libloading",
  "snafu",
diff --git a/Cargo.toml b/Cargo.toml
index 1b260a8..66b2c2f 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -47,7 +47,7 @@ spade-parser = { version = "0.16.0", default-features = false }
 spade-ast = { version = "0.16.0", default-features = false }
 veryl-parser = { version = "0.14.2-rc.1", default-features = false }
 
-marlin-verilator-stable = { path = "verilator-stable", version = "3.0.0" }
+marlin-verilator-stable = { path = "verilator-stable", version = "4.0.0" }
 marlin-verilator = { path = "verilator", version = "0.21.1" }
 marlin-verilog = { path = "language-support/verilog", version = "0.21.1" }
 marlin-verilog-macro = { path = "language-support/verilog-macro", version = "0.21.1" }
diff --git a/verilator-stable/Cargo.toml b/verilator-stable/Cargo.toml
index 6472551..b3307e1 100644
--- a/verilator-stable/Cargo.toml
+++ b/verilator-stable/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "marlin-verilator-stable"
-version = "3.0.0"
+version = "4.0.0"
 authors.workspace = true
 edition.workspace = true
 rust-version.workspace = true