Go to the source code of this file.
int generate_check_file |
( |
SIGNALS * |
sp, |
|
|
char * |
filename |
|
) |
| |
Definition at line 777 of file passfail.c.
782 int sig_num, out_num, check_nr;
794 fprintf(fp,
".check\n\n");
798 fprintf(fp,
"checkVAL%d = \n", i);
799 fprintf(fp,
"checkSTP%d = \n", i);
800 fprintf(fp,
"checkDEL%d = \n\n", i);
803 fprintf(fp,
"compose checkPNTS values ");
807 while(tmp_check!=NULL)
809 fprintf(fp,
"%6.1fps ",
812 while(tmp_check->
next!=NULL)
815 tmp_check=tmp_check->
next;
819 tmp_check=tmp_check->
next;
821 fprintf(fp,
"%6.1fps\n\n",
826 fprintf(fp,
"checkFAIL = 0\n");
834 fprintf(fp,
".control\n\n");
839 while(tmp_check!=NULL)
841 fprintf(fp,
"if TIME > checkPNTS[%d]\n", check_nr);
842 fprintf(fp,
"\tif TIME < checkPNTS[%d]\n", check_nr+1);
844 sig_num = tmp_check->
sig_nr;
847 fprintf(fp,
"\t\tif abs(%s - phase0[%d] - %d*pi) > failthres\n",
851 fprintf(fp,
"\t\t\tcheckFAIL = 1\n");
852 fprintf(fp,
"\t\tend\n");
856 fprintf(fp,
"\t\tphase0[%d] = %s\n",
861 while(tmp_check->
next!=NULL)
865 tmp_check=tmp_check->
next;
866 sig_num = tmp_check->
sig_nr;
869 fprintf(fp,
"\t\tif abs(%s - phase0[%d] - %d*pi) > failthres\n",
873 fprintf(fp,
"\t\t\tcheckFAIL = 1\n");
874 fprintf(fp,
"\t\tend\n");
879 fprintf(fp,
"\t\tphase0[%d] = %s\n",
888 fprintf(fp,
"\tend\n");
889 fprintf(fp,
"end\n\n");
891 tmp_check=tmp_check->
next;
896 fprintf(fp,
".endc\n");
902 fprintf(fp,
".end\n");
struct async_checkpoint * next
#define REGULAR_CHECKPOINT
char circuit_name[NAME_LENGTH]
char(* jspice_phase_names)[NAME_LENGTH]
char param_ext[NAME_LENGTH]
static void add_sync_checkpoints(SIGNALS *sp)
char input_dir[NAME_LENGTH]
char check_ext[NAME_LENGTH]
char circuit_ext[NAME_LENGTH]
ASYNC_CHECK * async_check_list
static void add_initial_checkpoints(SIGNALS *sp)
static char filename[LINE_LENGTH]
int generate_latch_passfail_file |
( |
SIGNALS * |
sp, |
|
|
char * |
filename, |
|
|
int |
runall |
|
) |
| |
Definition at line 279 of file vpassfail.c.
293 fprintf(fp,
".control\n\n");
299 fprintf(fp,
"run\n\n");
306 fprintf(fp,
"if chFAIL = 1\n");
307 fprintf(fp,
"\tfree all yes\n");
308 fprintf(fp,
"\tchFAIL = 1\n");
309 fprintf(fp,
"end\n\n");
311 fprintf(fp,
"if chFAIL = 0\n");
312 fprintf(fp,
"\tfree all yes\n");
313 fprintf(fp,
"\tchFAIL = 0\n");
314 fprintf(fp,
"end\n\n");
static int generate_async_latch_passfail(FILE *fp, SIGNALS *sp, int runall)
static int generate_sync_latch_passfail(FILE *fp, SIGNALS *sp, int runall)
static char filename[LINE_LENGTH]
int generate_passfail_file |
( |
SIGNALS * |
sp, |
|
|
char * |
filename, |
|
|
int |
runall |
|
) |
| |
Definition at line 646 of file passfail.c.
659 fprintf(fp,
".control\n\n");
668 fprintf(fp,
"\nif chFAIL = 0\n");
669 fprintf(fp,
"if check_inputs = 1\n");
684 fprintf(fp,
"\tif chFAIL = 1\n");
685 fprintf(fp,
"\t\techo FAILED BECAUSE OF EXTRA INPUT PULSES\n");
686 fprintf(fp,
"\tend\n");
687 fprintf(fp,
"end\n");
688 fprintf(fp,
"end\n\n");
690 fprintf(fp,
"if chFAIL = 1\n");
691 fprintf(fp,
"\tfree all yes\n");
692 fprintf(fp,
"\tchFAIL = 1\n");
693 fprintf(fp,
"end\n\n");
695 fprintf(fp,
"if chFAIL = 0\n");
696 fprintf(fp,
"\tfree all yes\n");
697 fprintf(fp,
"\tchFAIL = 0\n");
698 fprintf(fp,
"end\n\n");
static int add_clk_checkpoints(FILE *fp, SIGNALS *sp)
static int add_input_checkpoint(FILE *fp, SIGNALS *sp, int sig_nr, int *last_index, int runall)
static int generate_sync_passfail(SIGNALS *sp, FILE *fp, int runall)
int * initial_phase_index
static int generate_async_passfail(SIGNALS *sp, FILE *fp, int runall)
static char filename[LINE_LENGTH]