PROLEAD
A Probing-Based Leakage Detection Tool for Hardware and Software
|
#include <iostream>
#include <climits>
#include <cstring>
#include <stdexcept>
#include "Hardware/Definitions.hpp"
Go to the source code of this file.
Namespaces | |
namespace | Hardware |
namespace | Hardware::Read |
Functions | |
void | Hardware::Read::NonCommentFromFile (FILE *, char *, const char *) |
void | Hardware::Read::fReadaWord (FILE *, char *, char *) |
int | Hardware::Read::MakeFormulaForCellInLibrary (Hardware::CellTypeStruct *) |
void | Hardware::Read::LibraryFile (char *, char *, Hardware::LibraryStruct *) |
int | Hardware::Read::TrimSignalName (char *, 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::DesignFile (char *, char *, Hardware::LibraryStruct *, Hardware::CircuitStruct *, int, int, int) |
void | Hardware::Read::SettingsFile (char *, Hardware::CircuitStruct *, Hardware::SettingsStruct *) |