[dv] reorg rv_core_ibex bind
Signed-off-by: Srikrishna Iyer <sriyer@google.com>
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
