PROLEAD
A Probing-Based Leakage Detection Tool for Hardware and Software
|
Functions | |
void | NonCommentFromFile (FILE *, char *, const char *) |
void | fReadaWord (FILE *, char *, char *) |
int | MakeFormulaForCellInLibrary (Hardware::CellTypeStruct *) |
void | LibraryFile (char *, char *, Hardware::LibraryStruct *) |
int | TrimSignalName (char *, int *) |
void | DesignFile_Find_IO_Port (char *, char, int, int, Hardware::LibraryStruct *, Hardware::CircuitStruct *, int, char *, Hardware::CircuitStruct *, int *&, int &, int *&, int &) |
void | DesignFile_Find_Signal_Name (char *, char, int, int, Hardware::LibraryStruct *, CircuitStruct *, int, int, int, char *, Hardware::CircuitStruct *, int *&, int &, int *&, int &, int &) |
void | DesignFile (char *, char *, Hardware::LibraryStruct *, Hardware::CircuitStruct *, int, int, int) |
void | SettingsFile (char *, Hardware::CircuitStruct *, Hardware::SettingsStruct *) |
void Hardware::Read::DesignFile | ( | char * | , |
char * | , | ||
Hardware::LibraryStruct * | , | ||
Hardware::CircuitStruct * | , | ||
int | , | ||
int | , | ||
int | |||
) |
void Hardware::Read::DesignFile_Find_IO_Port | ( | char * | , |
char | , | ||
int | , | ||
int | , | ||
Hardware::LibraryStruct * | , | ||
Hardware::CircuitStruct * | , | ||
int | , | ||
char * | , | ||
Hardware::CircuitStruct * | , | ||
int *& | , | ||
int & | , | ||
int *& | , | ||
int & | |||
) |
void Hardware::Read::DesignFile_Find_Signal_Name | ( | char * | , |
char | , | ||
int | , | ||
int | , | ||
Hardware::LibraryStruct * | , | ||
CircuitStruct * | , | ||
int | , | ||
int | , | ||
int | , | ||
char * | , | ||
Hardware::CircuitStruct * | , | ||
int *& | , | ||
int & | , | ||
int *& | , | ||
int & | , | ||
int & | |||
) |
void Hardware::Read::fReadaWord | ( | FILE * | , |
char * | , | ||
char * | |||
) |
void Hardware::Read::LibraryFile | ( | char * | , |
char * | , | ||
Hardware::LibraryStruct * | |||
) |
int Hardware::Read::MakeFormulaForCellInLibrary | ( | Hardware::CellTypeStruct * | ) |
void Hardware::Read::NonCommentFromFile | ( | FILE * | , |
char * | , | ||
const char * | |||
) |
void Hardware::Read::SettingsFile | ( | char * | , |
Hardware::CircuitStruct * | , | ||
Hardware::SettingsStruct * | |||
) |
int Hardware::Read::TrimSignalName | ( | char * | , |
int * | |||
) |