Synchronous Equivalence by Harry Hsieh, Felice Balarin & Alberto L. Sangiovanni-Vincentelli