diff --git a/cores/serv/checks.cfg b/cores/serv/checks.cfg
index cdfd321..f43db8c 100644
--- a/cores/serv/checks.cfg
+++ b/cores/serv/checks.cfg
@@ -25,8 +25,10 @@ read_verilog -sv -defer @basedir@/cores/@core@/serv-src/rtl/wb_gpio.v
 read_verilog -sv -defer @basedir@/cores/@core@/serv-src/rtl/serv_csr.v
 read_verilog -sv -defer @basedir@/cores/@core@/serv-src/rtl/serv_regfile.v
 read_verilog -sv -defer @basedir@/cores/@core@/serv-src/rtl/riscv_timer.v
-read_verilog -sv -defer @basedir@/cores/@core@/serv-src/rtl/ser_eq.v
 read_verilog -sv -defer @basedir@/cores/@core@/serv-src/rtl/ser_lt.v
 read_verilog -sv -defer @basedir@/cores/@core@/serv-src/rtl/ser_shift.v
 read_verilog -sv -defer @basedir@/cores/@core@/serv-src/rtl/shift_reg.v
 read_verilog -sv -defer @basedir@/cores/@core@/serv-src/rtl/serv_alu.v
+read_verilog -sv -defer @basedir@/cores/@core@/serv-src/rtl/serv_bufreg.v
+read_verilog -sv -defer @basedir@/cores/@core@/serv-src/rtl/serv_clock_gen.v
+read_verilog -sv -defer @basedir@/cores/@core@/serv-src/rtl/serv_params.vh