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