diff --git a/hw/ip/rv_core_ibex/dv/tb/core_ibex_bind.sv b/hw/ip/rv_core_ibex/dv/sva/rv_core_ibex_bind.sv
similarity index 94%
rename from hw/ip/rv_core_ibex/dv/tb/core_ibex_bind.sv
rename to hw/ip/rv_core_ibex/dv/sva/rv_core_ibex_bind.sv
index ed97d0d..d317610 100644
--- a/hw/ip/rv_core_ibex/dv/tb/core_ibex_bind.sv
+++ b/hw/ip/rv_core_ibex/dv/sva/rv_core_ibex_bind.sv
@@ -2,7 +2,7 @@
 // Licensed under the Apache License, Version 2.0, see LICENSE for details.
 // SPDX-License-Identifier: Apache-2.0
 
-module core_ibex_bind;
+module rv_core_ibex_bind;
 
   bind rv_core_ibex tlul_assert #(
     .EndpointType("Host")
diff --git a/hw/ip/rv_core_ibex/dv/sva/rv_core_ibex_sva.core b/hw/ip/rv_core_ibex/dv/sva/rv_core_ibex_sva.core
new file mode 100644
index 0000000..ce7a897
--- /dev/null
+++ b/hw/ip/rv_core_ibex/dv/sva/rv_core_ibex_sva.core
@@ -0,0 +1,18 @@
+CAPI=2:
+# Copyright lowRISC contributors.
+# Licensed under the Apache License, Version 2.0, see LICENSE for details.
+# SPDX-License-Identifier: Apache-2.0
+name: "lowrisc:dv:rv_core_ibex_sva:0.1"
+description: "RV_CORE_IBEX assertion modules and bind file."
+filesets:
+  files_dv:
+    depend:
+      - lowrisc:tlul:headers
+    files:
+      - rv_core_ibex_bind.sv
+    file_type: systemVerilogSource
+
+targets:
+  default:
+    filesets:
+      - files_dv