SimGen: Simulation Pattern Generation for Efficient Equivalence Checking. - Carmine Rizzi; Sarah Brunner; Alan Mishchenko; Lana Josipovic (DATE, 2025)