PROLEAD
A Probing-Based Leakage Detection Tool for Hardware and Software
|
Defines a hardware circuit. More...
#include <Definitions.hpp>
Public Attributes | |
Hardware::SignalStruct ** | Signals = NULL |
The circuit signals. | |
int | NumberOfSignals = 0 |
The total number of signals in the circuit. | |
int * | Inputs = NULL |
The indices of all primary input signals. | |
int * | Outputs = NULL |
The indices of all primary output signals. | |
int | NumberOfInputs = 0 |
Number of primary inputs. | |
int | NumberOfOutputs = 0 |
Number of primary outputs. | |
int | NumberOfConstants = 0 |
Hardware::CellStruct ** | Cells = NULL |
The circuit cells. | |
int | NumberOfCells = 0 |
The number of cells in the circuit. | |
int * | Gates = NULL |
The indices of all gates. | |
int * | Regs = NULL |
int | NumberOfGates = 0 |
The indices of all regs. | |
int | NumberOfRegs = 0 |
The number of registers in the circuit. | |
int | NumberOfRegValues = 0 |
short | MaxDepth = 0 |
The maximum circuit depth. | |
int ** | CellsInDepth = NULL |
The indices of cells with a specific depth. | |
int * | NumberOfCellsInDepth = NULL |
The number of cells with a specific depth. | |
Defines a hardware circuit.
Definition at line 105 of file Definitions.hpp.
Hardware::CellStruct** Hardware::CircuitStruct::Cells = NULL |
The circuit cells.
Definition at line 115 of file Definitions.hpp.
int** Hardware::CircuitStruct::CellsInDepth = NULL |
The indices of cells with a specific depth.
Definition at line 124 of file Definitions.hpp.
int* Hardware::CircuitStruct::Gates = NULL |
The indices of all gates.
Definition at line 117 of file Definitions.hpp.
int* Hardware::CircuitStruct::Inputs = NULL |
The indices of all primary input signals.
Definition at line 109 of file Definitions.hpp.
short Hardware::CircuitStruct::MaxDepth = 0 |
The maximum circuit depth.
Definition at line 123 of file Definitions.hpp.
int Hardware::CircuitStruct::NumberOfCells = 0 |
The number of cells in the circuit.
Definition at line 116 of file Definitions.hpp.
int* Hardware::CircuitStruct::NumberOfCellsInDepth = NULL |
The number of cells with a specific depth.
Definition at line 125 of file Definitions.hpp.
int Hardware::CircuitStruct::NumberOfConstants = 0 |
Definition at line 113 of file Definitions.hpp.
int Hardware::CircuitStruct::NumberOfGates = 0 |
The indices of all regs.
The number of gates in the circuit.
Definition at line 119 of file Definitions.hpp.
int Hardware::CircuitStruct::NumberOfInputs = 0 |
Number of primary inputs.
Definition at line 111 of file Definitions.hpp.
int Hardware::CircuitStruct::NumberOfOutputs = 0 |
Number of primary outputs.
Definition at line 112 of file Definitions.hpp.
int Hardware::CircuitStruct::NumberOfRegs = 0 |
The number of registers in the circuit.
Definition at line 120 of file Definitions.hpp.
int Hardware::CircuitStruct::NumberOfRegValues = 0 |
Definition at line 121 of file Definitions.hpp.
int Hardware::CircuitStruct::NumberOfSignals = 0 |
The total number of signals in the circuit.
Definition at line 108 of file Definitions.hpp.
int* Hardware::CircuitStruct::Outputs = NULL |
The indices of all primary output signals.
Definition at line 110 of file Definitions.hpp.
int* Hardware::CircuitStruct::Regs = NULL |
Definition at line 118 of file Definitions.hpp.
Hardware::SignalStruct** Hardware::CircuitStruct::Signals = NULL |
The circuit signals.
Definition at line 107 of file Definitions.hpp.