Slide 1Recording Synthesis History for Sequential Verification Robert Brayton Alan Mishchenko UC Berkeley Slide 2 Overview Introduction Recording synthesis history Retiming…