PROLEAD
A Probing-Based Leakage Detection Tool for Hardware and Software
Loading...
Searching...
No Matches
Namespaces | Functions
GenerateProbingSets.hpp File Reference
#include <iostream>
#include <cinttypes>
#include <vector>
#include <omp.h>
#include "Hardware/Operators.hpp"

Go to the source code of this file.

Namespaces

namespace  Hardware
 
namespace  Hardware::GenerateProbingSets
 

Functions

bool Hardware::GenerateProbingSets::Remove (Hardware::ProbingSetStruct &)
 Checks whether a probing set can be removed.
 
bool Hardware::GenerateProbingSets::InDistance (Hardware::SettingsStruct &, Hardware::TestStruct &, std::vector< unsigned int > &)
 Checks whether a probing set satisfies a specific distance.
 
void Hardware::GenerateProbingSets::GenerateProbes (Hardware::SimulationStruct &, Hardware::TestStruct &)
 Generates lists of standard and extended probes.
 
void Hardware::GenerateProbingSets::InitializeMultivariateProbeCombinations (Hardware::SimulationStruct &, Hardware::TestStruct &, std::vector< unsigned int > &, std::vector< bool > &)
 Initializes the multivariate probing set.
 
void Hardware::GenerateProbingSets::InitializeUnivariateProbeCombinations (Hardware::SimulationStruct &, std::vector< unsigned int > &, std::vector< bool > &)
 Initializes the univariate probing set.
 
void Hardware::GenerateProbingSets::Extend (Hardware::SimulationStruct &, Hardware::TestStruct &)
 Extends all standard probes in all probing sets.
 
void Hardware::GenerateProbingSets::RemoveDuplicatedProbes (Hardware::TestStruct &)
 Removes duplicated extended probes in all probing sets.
 
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.
 
void Hardware::GenerateProbingSets::RemoveCoveredProbingSets (Hardware::TestStruct &, unsigned int, unsigned int)
 Checks for all probing sets if they are covered by another probing set.
 
void Hardware::GenerateProbingSets::RemoveDuplicatedProbingSets (Hardware::SettingsStruct &, Hardware::SimulationStruct &, Hardware::TestStruct &)
 Removes all duplicated probing sets.
 
void Hardware::GenerateProbingSets::InitializeCompactDistributions (Hardware::SettingsStruct &, Hardware::SimulationStruct &, Hardware::TestStruct &)
 Initializes the contingency tables in the compact mode.
 
void Hardware::GenerateProbingSets::All (Hardware::SettingsStruct &, Hardware::SimulationStruct &, Hardware::TestStruct &)
 Generates the probing sets.