What are the differences between functional, post-synthesis, and timing simulations?
The difference is how closely the simulation results (waveforms) can imitate the real circuit. Timing simulation yields the behavior closest to the real hardware but takes longer time to achieve. Functional simulation takes the shortest amount of time to achieve with the least hardware characteristics. Post-synthesis is the compromise between these two extremes but may not always work correctly.