PROLEAD
A Probing-Based Leakage Detection Tool for Hardware and Software
|
Functions | |
bool | Remove (Hardware::ProbingSetStruct &) |
Checks whether a probing set can be removed. | |
bool | InDistance (Hardware::SettingsStruct &, Hardware::TestStruct &, std::vector< unsigned int > &) |
Checks whether a probing set satisfies a specific distance. | |
void | GenerateProbes (Hardware::SimulationStruct &, Hardware::TestStruct &) |
Generates lists of standard and extended probes. | |
void | InitializeMultivariateProbeCombinations (Hardware::SimulationStruct &, Hardware::TestStruct &, std::vector< unsigned int > &, std::vector< bool > &) |
Initializes the multivariate probing set. | |
void | InitializeUnivariateProbeCombinations (Hardware::SimulationStruct &, std::vector< unsigned int > &, std::vector< bool > &) |
Initializes the univariate probing set. | |
void | Extend (Hardware::SimulationStruct &, Hardware::TestStruct &) |
Extends all standard probes in all probing sets. | |
void | RemoveDuplicatedProbes (Hardware::TestStruct &) |
Removes duplicated extended probes in all probing sets. | |
void | CoverWithOneProbingSet (Hardware::TestStruct &, unsigned int, unsigned int, unsigned int) |
Checks for one probing set if it is covered by another probing set. | |
void | RemoveCoveredProbingSets (Hardware::TestStruct &, unsigned int, unsigned int) |
Checks for all probing sets if they are covered by another probing set. | |
void | RemoveDuplicatedProbingSets (Hardware::SettingsStruct &, Hardware::SimulationStruct &, Hardware::TestStruct &) |
Removes all duplicated probing sets. | |
void | InitializeCompactDistributions (Hardware::SettingsStruct &, Hardware::SimulationStruct &, Hardware::TestStruct &) |
Initializes the contingency tables in the compact mode. | |
void | All (Hardware::SettingsStruct &, Hardware::SimulationStruct &, Hardware::TestStruct &) |
Generates the probing sets. | |
void Hardware::GenerateProbingSets::All | ( | Hardware::SettingsStruct & | , |
Hardware::SimulationStruct & | , | ||
Hardware::TestStruct & | |||
) |
Generates the probing sets.
Settings | The general settings. |
Simulation | The simulation settings. |
Test | The test settings. |
void Hardware::GenerateProbingSets::CoverWithOneProbingSet | ( | Hardware::TestStruct & | , |
unsigned int | , | ||
unsigned int | , | ||
unsigned int | |||
) |
Checks for one probing set if it is covered by another probing set.
Test | The test settings. |
SetIndex | the index of the probing set to cover other probing sets. |
Start | The index of the first probing set to cover. |
End | The index of the last probing set to cover. |
void Hardware::GenerateProbingSets::Extend | ( | Hardware::SimulationStruct & | , |
Hardware::TestStruct & | |||
) |
Extends all standard probes in all probing sets.
Simulation | The simulation settings. |
Test | The test settings. |
void Hardware::GenerateProbingSets::GenerateProbes | ( | Hardware::SimulationStruct & | , |
Hardware::TestStruct & | |||
) |
Generates lists of standard and extended probes.
Settings | The general settings. |
Test | The test settings. |
bool Hardware::GenerateProbingSets::InDistance | ( | Hardware::SettingsStruct & | , |
Hardware::TestStruct & | , | ||
std::vector< unsigned int > & | |||
) |
Checks whether a probing set satisfies a specific distance.
Settings | The general settings. |
Test | The test settings. |
ProbingSet | The The probing set to check. |
void Hardware::GenerateProbingSets::InitializeCompactDistributions | ( | Hardware::SettingsStruct & | , |
Hardware::SimulationStruct & | , | ||
Hardware::TestStruct & | |||
) |
Initializes the contingency tables in the compact mode.
Settings | The general settings. |
Simulation | The simulation settings. |
Test | The test settings. |
void Hardware::GenerateProbingSets::InitializeMultivariateProbeCombinations | ( | Hardware::SimulationStruct & | , |
Hardware::TestStruct & | , | ||
std::vector< unsigned int > & | , | ||
std::vector< bool > & | |||
) |
Initializes the multivariate probing set.
Simulation | The simulation settings. |
Test | The test settings. |
Combination | The probing set to initialize. |
CombinationBitmask | The Bitmask to iterate through probing sets. |
void Hardware::GenerateProbingSets::InitializeUnivariateProbeCombinations | ( | Hardware::SimulationStruct & | , |
std::vector< unsigned int > & | , | ||
std::vector< bool > & | |||
) |
Initializes the univariate probing set.
Simulation | The simulation settings. |
Test | The test settings. |
Combination | The probing set to initialize. |
CombinationBitmask | The Bitmask to iterate through probing sets. |
bool Hardware::GenerateProbingSets::Remove | ( | Hardware::ProbingSetStruct & | ) |
Checks whether a probing set can be removed.
ProbingSet | The The probing set to remove. |
void Hardware::GenerateProbingSets::RemoveCoveredProbingSets | ( | Hardware::TestStruct & | , |
unsigned int | , | ||
unsigned int | |||
) |
Checks for all probing sets if they are covered by another probing set.
Test | The test settings. |
SetIndex | the index of the probing set to cover other probing sets. |
Start | The index of the first probing set to cover. |
End | The index of the last probing set to cover. |
void Hardware::GenerateProbingSets::RemoveDuplicatedProbes | ( | Hardware::TestStruct & | ) |
Removes duplicated extended probes in all probing sets.
Test | The test settings. |
void Hardware::GenerateProbingSets::RemoveDuplicatedProbingSets | ( | Hardware::SettingsStruct & | , |
Hardware::SimulationStruct & | , | ||
Hardware::TestStruct & | |||
) |
Removes all duplicated probing sets.
Settings | The general settings. |
Simulation | The simulation settings. |
Test | The test settings. |