int print_phase_peak_signals(SIGNALS *sp_phase, SIGNALS *sp_peak, char *filename)
int print_edges(SIGNALS *sp, char *filename)
int generate_step_file(SIGNALS *sp, char *filename)
int print_signals(SIGNALS *sp, char *filename)
int print_holdsetup(char *filename, SIGNALS *sp_good, SIGNALS *sp_bad, HOLDSETUP *holdset, int hold1setup0)
int print_with_clk(SIGNALS *sp, FILE *fp)
int interpolate_signal(SIGNALS *sp_phase, char *filename)
int print_xy_propagation(FILE *fp, SIGNALS *sp, int input_nr, int in_clock_cycle, int out_clk_cycle)
int generate_check_file(SIGNALS *sp, char *filename)
int print_async_signals(SIGNALS *sp, FILE *fp)
static char filename[LINE_LENGTH]