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

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.
 

Function Documentation

◆ All()

void Hardware::GenerateProbingSets::All ( Hardware::SettingsStruct ,
Hardware::SimulationStruct ,
Hardware::TestStruct  
)

Generates the probing sets.

Parameters
SettingsThe general settings.
SimulationThe simulation settings.
TestThe test settings.
Author
Nicolai Müller

◆ CoverWithOneProbingSet()

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.

Parameters
TestThe test settings.
SetIndexthe index of the probing set to cover other probing sets.
StartThe index of the first probing set to cover.
EndThe index of the last probing set to cover.
Author
Nicolai Müller

◆ Extend()

void Hardware::GenerateProbingSets::Extend ( Hardware::SimulationStruct ,
Hardware::TestStruct  
)

Extends all standard probes in all probing sets.

Parameters
SimulationThe simulation settings.
TestThe test settings.
Author
Nicolai Müller

◆ GenerateProbes()

void Hardware::GenerateProbingSets::GenerateProbes ( Hardware::SimulationStruct ,
Hardware::TestStruct  
)

Generates lists of standard and extended probes.

Parameters
SettingsThe general settings.
TestThe test settings.
Author
Nicolai Müller

◆ InDistance()

bool Hardware::GenerateProbingSets::InDistance ( Hardware::SettingsStruct ,
Hardware::TestStruct ,
std::vector< unsigned int > &   
)

Checks whether a probing set satisfies a specific distance.

Parameters
SettingsThe general settings.
TestThe test settings.
ProbingSetThe The probing set to check.
Author
Nicolai Müller

◆ InitializeCompactDistributions()

void Hardware::GenerateProbingSets::InitializeCompactDistributions ( Hardware::SettingsStruct ,
Hardware::SimulationStruct ,
Hardware::TestStruct  
)

Initializes the contingency tables in the compact mode.

Parameters
SettingsThe general settings.
SimulationThe simulation settings.
TestThe test settings.
Author
Nicolai Müller

◆ InitializeMultivariateProbeCombinations()

void Hardware::GenerateProbingSets::InitializeMultivariateProbeCombinations ( Hardware::SimulationStruct ,
Hardware::TestStruct ,
std::vector< unsigned int > &  ,
std::vector< bool > &   
)

Initializes the multivariate probing set.

Parameters
SimulationThe simulation settings.
TestThe test settings.
CombinationThe probing set to initialize.
CombinationBitmaskThe Bitmask to iterate through probing sets.
Author
Nicolai Müller

◆ InitializeUnivariateProbeCombinations()

void Hardware::GenerateProbingSets::InitializeUnivariateProbeCombinations ( Hardware::SimulationStruct ,
std::vector< unsigned int > &  ,
std::vector< bool > &   
)

Initializes the univariate probing set.

Parameters
SimulationThe simulation settings.
TestThe test settings.
CombinationThe probing set to initialize.
CombinationBitmaskThe Bitmask to iterate through probing sets.
Author
Nicolai Müller

◆ Remove()

bool Hardware::GenerateProbingSets::Remove ( Hardware::ProbingSetStruct )

Checks whether a probing set can be removed.

Parameters
ProbingSetThe The probing set to remove.
Author
Nicolai Müller

◆ RemoveCoveredProbingSets()

void Hardware::GenerateProbingSets::RemoveCoveredProbingSets ( Hardware::TestStruct ,
unsigned int  ,
unsigned int   
)

Checks for all probing sets if they are covered by another probing set.

Parameters
TestThe test settings.
SetIndexthe index of the probing set to cover other probing sets.
StartThe index of the first probing set to cover.
EndThe index of the last probing set to cover.
Author
Nicolai Müller

◆ RemoveDuplicatedProbes()

void Hardware::GenerateProbingSets::RemoveDuplicatedProbes ( Hardware::TestStruct )

Removes duplicated extended probes in all probing sets.

Parameters
TestThe test settings.
Author
Nicolai Müller

◆ RemoveDuplicatedProbingSets()

void Hardware::GenerateProbingSets::RemoveDuplicatedProbingSets ( Hardware::SettingsStruct ,
Hardware::SimulationStruct ,
Hardware::TestStruct  
)

Removes all duplicated probing sets.

Parameters
SettingsThe general settings.
SimulationThe simulation settings.
TestThe test settings.
Author
Nicolai Müller