Symbol: dce80_timing_generator_construct