how to accelerate the compilation speed

I am currently working on a big project(at least for me ),there are some big parts of the project are verified and works fine ,but every time i did some modification to the part that i work on ,the w...