PROLEAD
A Probing-Based Leakage Detection Tool for Hardware and Software
|
#include <Definitions.hpp>
Public Attributes | |
char | GateOrReg |
unsigned char | NumberOfCases |
char ** | Cases |
char | NumberOfInputs |
char ** | Inputs |
char | NumberOfOutputs |
char ** | Outputs |
char ** | Expresions |
Hardware::OperationStruct * | Operations |
char | Intermediate |
Definition at line 50 of file Definitions.hpp.
char** Hardware::CellTypeStruct::Cases |
Definition at line 54 of file Definitions.hpp.
char** Hardware::CellTypeStruct::Expresions |
Definition at line 59 of file Definitions.hpp.
char Hardware::CellTypeStruct::GateOrReg |
Definition at line 52 of file Definitions.hpp.
char** Hardware::CellTypeStruct::Inputs |
Definition at line 56 of file Definitions.hpp.
char Hardware::CellTypeStruct::Intermediate |
Definition at line 61 of file Definitions.hpp.
unsigned char Hardware::CellTypeStruct::NumberOfCases |
Definition at line 53 of file Definitions.hpp.
char Hardware::CellTypeStruct::NumberOfInputs |
Definition at line 55 of file Definitions.hpp.
char Hardware::CellTypeStruct::NumberOfOutputs |
Definition at line 57 of file Definitions.hpp.
Hardware::OperationStruct* Hardware::CellTypeStruct::Operations |
Definition at line 60 of file Definitions.hpp.
char** Hardware::CellTypeStruct::Outputs |
Definition at line 58 of file Definitions.hpp.