Your simulation results also look good. One last thing you can do if you want, load the waveforms (the .ghw file) into GTKWave. That will also be correct, but it gives you a pretty complete picture of the flow.