Code for generate_timing_data.py