15 #define DEBUG_PULSES 0 23 printf(
"RUNNING %s FOR THE NOMINAL VALUES OF OPERATING PARAMETERS.\n\n\n",
24 is_ws ?
"WRSPICE" :
"JSPICE");
27 strcat(command_line,
" nominal");
29 return system(command_line);
42 printf(
"\nRUNNING PULSE EXTRACTION FOR THE NOMINAL VALUES OF OPERATING PARAMETERS.\n\n\n");
105 if((fp=fopen(logicfile,
"w"))==NULL)
107 printf(
"Cannot open file %s!\n\n", logicfile);
127 if((argc<2) || (argc>3))
137 if((strcmp(argv[1],
"-c")==0) && (argv[2][0]!=
'-')) {
141 else if((strcmp(argv[1],
"-B")==0) && (argv[2][0]!=
'-')) {
145 else if((strcmp(argv[1],
"-l")==0) && (argv[2][0]!=
'-')) {
149 else if((strcmp(argv[1],
"-lB")==0) && (argv[2][0]!=
'-')) {
159 #define init_main main 171 printf(
"SYNOPSIS:\n");
172 printf(
"\tinit [-B|-c|-l|-lB] <circuit_name>\n");
199 int main(
int argc,
char **argv)
205 "Usage:\n malt -i (init args)\n" 206 " malt -o (opt args)\n" 207 " malt -m (marg args)\n";
217 if (av1[0] ==
'-' && av1[1] ==
'i')
219 if (av1[0] ==
'-' && av1[1] ==
'o')
221 if (av1[0] ==
'-' && av1[1] ==
'm')
char logic_ext[NAME_LENGTH]
int compute_nominal(int runall)
char circuit_name[NAME_LENGTH]
SIGNALS * collect_pulses_by_phase(char *filename)
int change_into_logic(SIGNALS *sp)
SIGNALS * collect_edges(char *filename)
char output_dir[NAME_LENGTH]
int print_with_clk(SIGNALS *sp, FILE *fp)
int read_config(char *filename)
int print_edges(SIGNALS *sp, char *filename)
int generate_latch_passfail_file(SIGNALS *sp, char *filename, int runall)
#define COLLECT_BY_VOLTAGE
SIGNALS * collect_pulses_by_voltage(char *filename)
int opt_main(int argc, char *argv[])
char spice_name[NAME_LENGTH]
int print_async_signals(SIGNALS *sp, FILE *fp)
char input_dir[NAME_LENGTH]
int generate_check_file(SIGNALS *sp, char *filename)
int generate_jspice_config()
int print_signals(SIGNALS *sp, char *filename)
int pulse_extraction_method
char check_ext[NAME_LENGTH]
int main(int argc, char **argv)
char tmp_dir[NAME_LENGTH]
int marg_main(int argc, argv)
void free_data(SIGNALS *sp)
int generate_passfail_file(SIGNALS *sp, char *filename, int runall)
int init_main(int argc, char *argv[])
char passfail_ext[NAME_LENGTH]
static int read_command_line(int argc, char *argv[])
char nom_ext[NAME_LENGTH]