PROLEAD
A Probing-Based Leakage Detection Tool for Hardware and Software
Loading...
Searching...
No Matches
Functions
Hardware::Read Namespace Reference

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 *)
 

Function Documentation

◆ DesignFile()

void Hardware::Read::DesignFile ( char *  ,
char *  ,
Hardware::LibraryStruct ,
Hardware::CircuitStruct ,
int  ,
int  ,
int   
)

◆ DesignFile_Find_IO_Port()

void Hardware::Read::DesignFile_Find_IO_Port ( char *  ,
char  ,
int  ,
int  ,
Hardware::LibraryStruct ,
Hardware::CircuitStruct ,
int  ,
char *  ,
Hardware::CircuitStruct ,
int *&  ,
int &  ,
int *&  ,
int &   
)

◆ DesignFile_Find_Signal_Name()

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 &   
)

◆ fReadaWord()

void Hardware::Read::fReadaWord ( FILE *  ,
char *  ,
char *   
)

◆ LibraryFile()

void Hardware::Read::LibraryFile ( char *  ,
char *  ,
Hardware::LibraryStruct  
)

◆ MakeFormulaForCellInLibrary()

int Hardware::Read::MakeFormulaForCellInLibrary ( Hardware::CellTypeStruct )

◆ NonCommentFromFile()

void Hardware::Read::NonCommentFromFile ( FILE *  ,
char *  ,
const char *   
)

◆ SettingsFile()

void Hardware::Read::SettingsFile ( char *  ,
Hardware::CircuitStruct ,
Hardware::SettingsStruct  
)

◆ TrimSignalName()

int Hardware::Read::TrimSignalName ( char *  ,
int *   
)