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

Functions

void CompactTableUpdate (Hardware::SimulationStruct &, unsigned int, Hardware::TestStruct &, std::vector< int > &)
 Compact update of a single contingency table.
 
void CompactTest (Hardware::SimulationStruct &, Hardware::TestStruct &)
 Adds the new simulations to the contingency tables in compact mode and computes a new g-value for each table.
 
void NormalTableUpdate (Hardware::SimulationStruct &, Hardware::TestStruct &, Hardware::ProbingSetStruct &, std::vector< Util::TableEntryStruct > &)
 Normal update of all contingency tables.
 
void NormalTest (Hardware::SettingsStruct &, Hardware::SimulationStruct &, Hardware::TestStruct &)
 Adds the new simulations to the contingency tables in normal mode, computes a new g-value for each table, and performs statistical power analysis.
 
int SearchKey (std::vector< std::vector< unsigned char > > &, std::vector< unsigned char > &, unsigned int)
 Searches for a particular probed state in a normal mode continagency table.
 
void All (Hardware::SettingsStruct &, Hardware::SimulationStruct &, Hardware::TestStruct &, char)
 Performs the full test procedure.
 

Function Documentation

◆ All()

void Hardware::Test::All ( Hardware::SettingsStruct ,
Hardware::SimulationStruct ,
Hardware::TestStruct ,
char   
)

Performs the full test procedure.

Parameters
SettingsThe general settings, i.e. parameters for statistical power analysis.
SimulationThe simulation settings, i.e. the simulated circuit states.
TestThe test settings, i.e. the unique probes and the contingency tables.
CompactDistributionsDecides if the test procedure runs in normal of compact mode.
Author
Nicolai Müller

◆ CompactTableUpdate()

void Hardware::Test::CompactTableUpdate ( Hardware::SimulationStruct ,
unsigned int  ,
Hardware::TestStruct ,
std::vector< int > &   
)

Compact update of a single contingency table.

Updates the contingency tables of all probing sets with the results of a single simulation. Hence, one cell of each contingency table will be increased by one. In compact mode, all cells are assigned with zeros and the probed state is inserted based on its hamming weight.

Parameters
SimulationThe simulation settings, i.e. the simulated circuit states.
SimulationIndexThe simulation number in the step.
TestThe test settings, i.e. the unique probes and the contingency tables.
TempProbeValueA temporary storage for the probed states.
Author
Amir Moradi

◆ CompactTest()

void Hardware::Test::CompactTest ( Hardware::SimulationStruct ,
Hardware::TestStruct  
)

Adds the new simulations to the contingency tables in compact mode and computes a new g-value for each table.

Parameters
SimulationThe simulation settings, i.e. the simulated circuit states.
TestThe test settings, i.e. the unique probes and the contingency tables.
Author
Nicolai Müller

◆ NormalTableUpdate()

void Hardware::Test::NormalTableUpdate ( Hardware::SimulationStruct ,
Hardware::TestStruct ,
Hardware::ProbingSetStruct ,
std::vector< Util::TableEntryStruct > &   
)

Normal update of all contingency tables.

Updates the contingency table of one probing set with the results of a simulation step. In normal mode, a cell is assigned if a new probed state occurs and the probed state is stored directly.

Parameters
SimulationThe simulation settings, i.e. the simulated circuit states.
TestThe test settings, i.e. the unique probes and the contingency tables.
ProbingSetThe probing set to update.
TableEntriesA temporary storage for the probed states.
Author
Nicolai Müller

◆ NormalTest()

void Hardware::Test::NormalTest ( Hardware::SettingsStruct ,
Hardware::SimulationStruct ,
Hardware::TestStruct  
)

Adds the new simulations to the contingency tables in normal mode, computes a new g-value for each table, and performs statistical power analysis.

Parameters
SettingsThe general settings, i.e. parameters for statistical power analysis.
SimulationThe simulation settings, i.e. the simulated circuit states.
TestThe test settings, i.e. the unique probes and the contingency tables.
Author
Nicolai Müller

◆ SearchKey()

int Hardware::Test::SearchKey ( std::vector< std::vector< unsigned char > > &  ,
std::vector< unsigned char > &  ,
unsigned int   
)

Searches for a particular probed state in a normal mode continagency table.

Parameters
TableThe contingency table..
EntryThe probed state to search.
IgnoredEntriesThe number of entries at the end of the contingency table to ignore during search.
Author
Nicolai Müller