void spice_print_headers(char* include_dir_path,
float vpr_clock_period,
int num_clock,
t_spice spice);