cv32e40p RTL difference

Is the RTL for CV32E40P up to date? When I look at this https://github.com/openhwgroup/cv32e40p/tree/master/rtl I see some differences. For example, cv32e40p_top.sv is exists in above repo but it does not exist in core-v-verif's RTL.

Output of ls -la ~/core-v-verif/core-v-cores/cv32e40p/rtl

total 640
drwxr-xr-x  3 e e   4096 Aug 14 14:55 .
drwxr-xr-x 12 e e   4096 Aug 14 14:55 ..
-rw-r--r--  1 e e   9965 Aug 14 14:55 cv32e40p_aligner.sv
-rw-r--r--  1 e e  35431 Aug 14 14:55 cv32e40p_alu.sv
-rw-r--r--  1 e e   7152 Aug 14 14:55 cv32e40p_alu_div.sv
-rw-r--r--  1 e e   9100 Aug 14 14:55 cv32e40p_apu_disp.sv
-rw-r--r--  1 e e  19040 Aug 14 14:55 cv32e40p_compressed_decoder.sv
-rw-r--r--  1 e e  58772 Aug 14 14:55 cv32e40p_controller.sv
-rw-r--r--  1 e e  48336 Aug 14 14:55 cv32e40p_core.sv
-rw-r--r--  1 e e  61824 Aug 14 14:55 cv32e40p_cs_registers.sv
-rw-r--r--  1 e e 121951 Aug 14 14:55 cv32e40p_decoder.sv
-rw-r--r--  1 e e  15193 Aug 14 14:55 cv32e40p_ex_stage.sv
-rw-r--r--  1 e e   4422 Aug 14 14:55 cv32e40p_ff_one.sv
-rw-r--r--  1 e e   6490 Aug 14 14:55 cv32e40p_fifo.sv
-rw-r--r--  1 e e   4958 Aug 14 14:55 cv32e40p_hwloop_regs.sv
-rw-r--r--  1 e e  67498 Aug 14 14:55 cv32e40p_id_stage.sv
-rw-r--r--  1 e e  11605 Aug 14 14:55 cv32e40p_if_stage.sv
-rw-r--r--  1 e e   7259 Aug 14 14:55 cv32e40p_int_controller.sv
-rw-r--r--  1 e e  22190 Aug 14 14:55 cv32e40p_load_store_unit.sv
-rw-r--r--  1 e e  13652 Aug 14 14:55 cv32e40p_mult.sv
-rw-r--r--  1 e e   8225 Aug 14 14:55 cv32e40p_obi_interface.sv
-rw-r--r--  1 e e   2622 Aug 14 14:55 cv32e40p_popcnt.sv
-rw-r--r--  1 e e   9768 Aug 14 14:55 cv32e40p_prefetch_buffer.sv
-rw-r--r--  1 e e  16686 Aug 14 14:55 cv32e40p_prefetch_controller.sv
-rw-r--r--  1 e e   6448 Aug 14 14:55 cv32e40p_register_file_ff.sv
-rw-r--r--  1 e e   8052 Aug 14 14:55 cv32e40p_register_file_latch.sv
-rw-r--r--  1 e e  12391 Aug 14 14:55 cv32e40p_sleep_unit.sv
drwxr-xr-x  2 e e   4096 Aug 14 14:55 include