commit 0584991e01173d626bb6fbb773b3f0ba09929b22
author Nils Graf <nilsg@google.com> Thu Sep 12 08:27:26 2019 -0700
committer NilsGraf <49500697+NilsGraf@users.noreply.github.com> Thu Sep 12 09:53:19 2019 -0700
tree 11da42664665161fa7ce5826f11fef2b35ea81d0
parent ed7bfac2c962c2727f5255a0ce8aa40bbeb54330

[hw/formal] Fix rtl_diff_all for rv_plic

Now using rv_plic.sv from top_earlgrey directory.

hw/formal/rtl_diff_all

diff --git a/hw/formal/rtl_diff_all b/hw/formal/rtl_diff_all
index e0d4dab..2114c07 100755
--- a/hw/formal/rtl_diff_all
+++ b/hw/formal/rtl_diff_all
@@ -46,9 +46,10 @@
     block_full="../${block}/rtl/${block}.sv"
   elif [ $block == "usb_fs_nb_pe" ]; then
     block_full="../ip/usbfs_nb_pe/rtl/${block}.sv"
-    # TODO: perhaps rename usb_fs_* modules to usbfs_*
   elif [[ $block =~ "tlul" ]]; then
     block_full="../ip/tlul/rtl/${block}.sv"
+  elif [[ $block == "rv_plic" ]]; then
+    block_full="../top_earlgrey/rtl/${block}.sv"
   else
     block_full="../ip/${block}/rtl/${block}.sv"
   fi