PROLEAD
A Probing-Based Leakage Detection Tool for Hardware and Software
Loading...
Searching...
No Matches
Public Attributes | List of all members
Hardware::CircuitStruct Struct Reference

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.
 

Detailed Description

Defines a hardware circuit.

Author
Amir Moradi

Definition at line 105 of file Definitions.hpp.

Member Data Documentation

◆ Cells

Hardware::CellStruct** Hardware::CircuitStruct::Cells = NULL

The circuit cells.

Definition at line 115 of file Definitions.hpp.

◆ CellsInDepth

int** Hardware::CircuitStruct::CellsInDepth = NULL

The indices of cells with a specific depth.

Definition at line 124 of file Definitions.hpp.

◆ Gates

int* Hardware::CircuitStruct::Gates = NULL

The indices of all gates.

Definition at line 117 of file Definitions.hpp.

◆ Inputs

int* Hardware::CircuitStruct::Inputs = NULL

The indices of all primary input signals.

Definition at line 109 of file Definitions.hpp.

◆ MaxDepth

short Hardware::CircuitStruct::MaxDepth = 0

The maximum circuit depth.

Definition at line 123 of file Definitions.hpp.

◆ NumberOfCells

int Hardware::CircuitStruct::NumberOfCells = 0

The number of cells in the circuit.

Definition at line 116 of file Definitions.hpp.

◆ NumberOfCellsInDepth

int* Hardware::CircuitStruct::NumberOfCellsInDepth = NULL

The number of cells with a specific depth.

Definition at line 125 of file Definitions.hpp.

◆ NumberOfConstants

int Hardware::CircuitStruct::NumberOfConstants = 0

Definition at line 113 of file Definitions.hpp.

◆ NumberOfGates

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.

◆ NumberOfInputs

int Hardware::CircuitStruct::NumberOfInputs = 0

Number of primary inputs.

Definition at line 111 of file Definitions.hpp.

◆ NumberOfOutputs

int Hardware::CircuitStruct::NumberOfOutputs = 0

Number of primary outputs.

Definition at line 112 of file Definitions.hpp.

◆ NumberOfRegs

int Hardware::CircuitStruct::NumberOfRegs = 0

The number of registers in the circuit.

Definition at line 120 of file Definitions.hpp.

◆ NumberOfRegValues

int Hardware::CircuitStruct::NumberOfRegValues = 0

Definition at line 121 of file Definitions.hpp.

◆ NumberOfSignals

int Hardware::CircuitStruct::NumberOfSignals = 0

The total number of signals in the circuit.

Definition at line 108 of file Definitions.hpp.

◆ Outputs

int* Hardware::CircuitStruct::Outputs = NULL

The indices of all primary output signals.

Definition at line 110 of file Definitions.hpp.

◆ Regs

int* Hardware::CircuitStruct::Regs = NULL

Definition at line 118 of file Definitions.hpp.

◆ Signals

Hardware::SignalStruct** Hardware::CircuitStruct::Signals = NULL

The circuit signals.

Definition at line 107 of file Definitions.hpp.


The documentation for this struct was generated from the following file: