Don't Repeat Yourself! Coarse-Grained Circuit Deduplication to Accelerate RTL Simulation. - Haoyuan Wang; Thomas Nijssen; Scott Beamer (ASPLOS (4), 2024)