PROLEAD
A Probing-Based Leakage Detection Tool for Hardware and Software
|
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. | |
void Hardware::Test::All | ( | Hardware::SettingsStruct & | , |
Hardware::SimulationStruct & | , | ||
Hardware::TestStruct & | , | ||
char | |||
) |
Performs the full test procedure.
Settings | The general settings, i.e. parameters for statistical power analysis. |
Simulation | The simulation settings, i.e. the simulated circuit states. |
Test | The test settings, i.e. the unique probes and the contingency tables. |
CompactDistributions | Decides if the test procedure runs in normal of compact mode. |
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.
Simulation | The simulation settings, i.e. the simulated circuit states. |
SimulationIndex | The simulation number in the step. |
Test | The test settings, i.e. the unique probes and the contingency tables. |
TempProbeValue | A temporary storage for the probed states. |
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.
Simulation | The simulation settings, i.e. the simulated circuit states. |
Test | The test settings, i.e. the unique probes and the contingency tables. |
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.
Simulation | The simulation settings, i.e. the simulated circuit states. |
Test | The test settings, i.e. the unique probes and the contingency tables. |
ProbingSet | The probing set to update. |
TableEntries | A temporary storage for the probed states. |
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.
Settings | The general settings, i.e. parameters for statistical power analysis. |
Simulation | The simulation settings, i.e. the simulated circuit states. |
Test | The test settings, i.e. the unique probes and the contingency tables. |
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.
Table | The contingency table.. |
Entry | The probed state to search. |
IgnoredEntries | The number of entries at the end of the contingency table to ignore during search. |