Yes, there are multiple; Legends of Wrestlemania, WWF
WrestleMania: The Arcade Game, Road to Wrestlemania, Road to
Wrestlemania X8, Super WrestleMania, WWF WrestleMania 2000, WWE
WrestleMania X8, WWE Wrestlemania XIX, WWF WrestleMania, and WWE
WrestleMania 21.