If you have a multi-level parking system project using Verilog, I have gone through it. I can write synthesizable Verilog codes for parking system. IR sensors need to be implemented on beadboard.
So I can help you with Verilog codes for parking systems.