Synthesis and Static Timing — ActGen