malt-wr
vpassfail.h File Reference
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Functions

int generate_latch_passfail_file (SIGNALS *sp, char *filename, int runall)
 

Function Documentation

int generate_latch_passfail_file ( SIGNALS sp,
char *  filename,
int  runall 
)

Definition at line 279 of file vpassfail.c.

285 {
286  FILE *fp;
287 
288  fp=fopen(filename, "w");
289  if(fp==NULL)
290  return 0;
291 
292  fprintf(fp, "%s\n", filename);
293  fprintf(fp, ".control\n\n");
294 
295  fprintf(fp, "vthreshold0 = %f\n", param.max_zero_volt);
296  fprintf(fp, "vthreshold1 = %f\n\n", param.min_one_volt);
297 
298  if(runall)
299  fprintf(fp, "run\n\n");
300 
301  if(sp->clk_num>0)
302  generate_sync_latch_passfail(fp, sp, runall);
303  else
304  generate_async_latch_passfail(fp, sp, runall);
305 
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");
310 
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");
315 
316  return 1;
317 }
double max_zero_volt
Definition: constype.h:211
static int generate_async_latch_passfail(FILE *fp, SIGNALS *sp, int runall)
Definition: vpassfail.c:208
PARAMETERS param
Definition: init.c:10
double min_one_volt
Definition: constype.h:214
int clk_num
Definition: constype.h:369
static int generate_sync_latch_passfail(FILE *fp, SIGNALS *sp, int runall)
Definition: vpassfail.c:48
static char filename[LINE_LENGTH]
Definition: optimize.c:35