diff --git a/.github/linty_read.ys b/.github/linty_read.ys
index 7c57329c2..6609cbc03 100644
--- a/.github/linty_read.ys
+++ b/.github/linty_read.ys
@@ -46,3 +46,5 @@ verific -work neorv32 -vhdl ./../rtl/core/neorv32_debug_dm.vhd
 verific -work neorv32 -vhdl ./../rtl/core/neorv32_top.vhd
 verific -work neorv32 -vhdl ./../rtl/core/neorv32_application_image.vhd
 verific -work neorv32 -vhdl ./../rtl/core/neorv32_bootloader_image.vhd
+
+verific -L neorv32 -vhdl ./../rtl/core/neorv32_top.vhd