commit 3275711d29b03a09a8c50722f77a5aa3280caca5
author Cindy Chen <chencindy@google.com> Mon Dec 14 15:36:18 2020 -0800
committer cindychip <cindy.chen0316@gmail.com> Mon Dec 14 16:38:26 2020 -0800
tree f817bf91e5657ab7a1bc8834406dc593e50b3d24
parent ae9022bd57b634335d559041845d793ef72ec1e0

[fpv/rv_dm] remove old FPV code

In rv_dm core file, it still refers to old `dv/tb/rv_dm_bind.sv` file.
This PR removes the old method to avoid compile error.

Signed-off-by: Cindy Chen <chencindy@google.com>

hw/ip/rv_dm/rv_dm.core

diff --git a/hw/ip/rv_dm/rv_dm.core b/hw/ip/rv_dm/rv_dm.core
index 0f26d91..52dd9ad 100644
--- a/hw/ip/rv_dm/rv_dm.core
+++ b/hw/ip/rv_dm/rv_dm.core
@@ -41,11 +41,6 @@
       - lowrisc:lint:common
       - lowrisc:lint:comportable
 
-  files_formal:
-    files:
-      - dv/tb/rv_dm_bind.sv
-    file_type: systemVerilogSource
-
 parameters:
   NrHarts:
     datatype: int
@@ -63,16 +58,9 @@
       - tool_verilator   ? (files_verilator_waiver)
       - tool_ascentlint  ? (files_ascentlint_waiver)
       - tool_veriblelint ? (files_veriblelint_waiver)
-      - target_formal    ? (files_formal)
       - files_rtl
     toplevel: rv_dm
 
-  formal:
-    filesets:
-      - files_rtl
-      - files_formal
-    toplevel: rv_dm
-
   lint:
     <<: *default_target
     default_tool: verilator