Dynamic timing verification
Dynamic timing verification is a verification that an ASIC design is fast enough to run without errors at the targeted clock rate. This is accomplished by simulating the design files used to synthesize the integrated circuit (IC) design.
Source: Wikipedia — Dynamic timing verification (CC BY-SA 4.0)