Alternatively, I'll bus my reverb and sidechain it to the synths so that the reverb ducks whenever the synth is played. I usually EQ all the low end from the bus and sometimes make it wide by cutting out all of "center" audio from it. This can be done Pro-Q or WAVES Center. If you do this, make sure you are sidechaining to the kick as well.