Structure

PROLEAD's structure consists of two directories.

1. The inc folder contains all header files (.hpp) encompassing the function declarations.
2. The src folder contains all source files (.cpp) encompassing the function definitions.

All files related to the evaluation of hardware circuits are stored in the Hardware subdirectories (inc/Hardware and inc/Hardware) while the Util subdirectory stores all files that declare and define generic functions.

PROLEAD

The PROLEAD file (src/PROLEAD.cpp) defines the main function of PROLEAD.

Execute

The Execute files (inc/Hardware/Execute.hpp and src/Hardware/Execute.cpp) define the execution of PROLEAD based on a given set of command line parameters. These files implement the following functions:

Hardware::Execute

Executes PROLEAD based on a given set of command line parameters.

Parameters

CommandLineParameterStruct& Parameter - The command line parameters.

Return value

(none)

Prepare

The Prepare files (inc/Hardware/Prepare.hpp and src/Hardware/Prepare.cpp) define all functions for preparation before the actual evaluation takes place. These files implement the following functions:

Hardware::Prepare::All

Prepares everything for the evaluation.

Parameters

CommandLineParameterStruct& Parameter - The command line parameters.
Hardware::CircuitStruct& Circuit - The hardware circuit.
Hardware::LibraryStruct& Library - The circuit library.
Hardware::SettingsStruct& Settings - The evaluation settings.
Hardware::ProbesStruct& Probes - The probes.
Hardware::SimulationStruct& Simulation - The simulation settings.
Hardware::SharedDataStruct*& SharedData - The shared data.

Return value

(none)

Hardware::Prepare::MakeCircuitDepth

Computes the combinational depth (number of subsequent combaintionl gates) of all cells and signals.

Parameters

Hardware::CircuitStruct& Circuit - The hardware circuit.
Hardware::LibraryStruct& Library - The circuit library.

Return value

(none)

Hardware::Prepare::Probes

Places standard probes on all considered register inputs and primary outputs of the circuit.

Parameters

Hardware::CircuitStruct& Circuit - The hardware circuit.
Hardware::LibraryStruct& Library - The circuit library.
Hardware::SettingsStruct& Settings - The evaluation settings.
Hardware::ProbesStruct& Probes - The probes.

Return value

(none)

Hardware::Prepare::ExtendProbe

Extends a standard probe to a glitch-extended probe.

Parameters

Hardware::CircuitStruct* Circuit - The hardware circuit.
Hardware::LibraryStruct* Library - The circuit library.
Hardware::SettingsStruct* Settings - The evaluation settings.
int MainSignalIndex - The signal index of the standard probe.
int SignalIndex - The signal index of the current probe extension.
int* Buffer_int - The list of glitch-extensions.

Return value

(none)

Hardware::Prepare::Simulation

Prepares the simulation settings.

Parameters

Hardware::CircuitStruct& Circuit - The hardware circuit.
Hardware::SettingsStruct& Settings - The evaluation settings.
Hardware::ProbesStruct& Probes - The probes.
Hardware::SimulationStruct& Simulation - The simulation settings.
char* EvaluationResultFolderName - The name of the result directory.

Return value

(none)

Hardware::Prepare::SharedData

Prepares the shared data.

Parameters

Hardware::CircuitStruct* Circuit - The hardware circuit.
Hardware::SettingsStruct* Settings - The evaluation settings.
Hardware::SharedDataStruct* SharedData - The shared data.

Return value

(none)

Read

The Read files (inc/Hardware/Read.hpp and src/Hardware/Read.cpp) define all functions for reading files. These files implement the following functions:

Hardware::Read::NonCommentFromFile

Read from file by ignoring comments.

Parameters

FILE *FileHeader - The file to read.
char *Str - The parsed string.
const char *CommentSyntax - The comment syntax.

Return value

(none)

Hardware::Read::MakeFormulaForCellInLibrary

Creates formula for a cell.

Parameters

CellTypeStruct *CellType - The cell.

Return value

int - 0 = Passed, 1 = Failed.

Hardware::Read::LibraryFile

Read in the library file.

Parameters

char *LibraryFileName - The name of the library file.
char *LibraryName - The name of the library.
Hardware::LibraryStruct* Library - The parsed library.

Return value

(none)

Hardware::Read::DesignFile

Read in the design file.

Parameters

char *InputVerilogFileName - The name of the design file.
char *MainModuleName - The name of the top module.
LibraryStruct* Library - The library.
CircuitStruct* Circuit - The parsed circuit.

Return value

(none)

Hardware::Read::SettingsFile

Read in the settings file.

Parameters

char *InputSettingsFileName - The name of the settings file.
Hardware::SettingsStruct& Settings - The evaluation settings.
CircuitStruct* Circuit - The parsed circuit.

Return value

(none)

GenerateProbingSets

The GenerateProbingSets files (inc/Hardware/GenerateProbingSets.hpp and src/Hardware/GenerateProbingSets.cpp) define all functions for generating the probing sets for evaluation. These files implement the following functions:

Hardware::GenerateProbingSets::All

Does the complete generation of all required probing sets.

Parameters

Hardware::SettingsStruct& Settings - The evaluation settings.
Hardware::SimulationStruct& Simulation - The simulation settings.
Hardware::TestStruct& Test - The evaluation details.

Return value

(none)

Hardware::GenerateProbingSets::GenerateProbes

Generates a list of all considered standard probes and a second list with all considered glitch extensions.

Parameters

Hardware::SimulationStruct& Simulation - The simulation settings.
Hardware::TestStruct& Test - The evaluation details.

Return value

(none)

Hardware::GenerateProbingSets::Multivariate

Generates all multivariate probing sets.

Parameters

Hardware::SettingsStruct& Settings - The evaluation settings.
Hardware::SimulationStruct& Simulation - The simulation settings.
Hardware::TestStruct& Test - The evaluation details.

Return value

(none)

Hardware::GenerateProbingSets::Univariate

Generates all univariate probing sets.

Parameters

Hardware::SimulationStruct& Simulation - The simulation settings.
Hardware::TestStruct& Test - The evaluation details.

Return value

(none)

Hardware::GenerateProbingSets::InDistance

Checks whether a probing set satisfies the distance bounds.

Parameters

Hardware::SettingsStruct& Settings - The evaluation settings.
Hardware::TestStruct& Test - The evaluation details.
std::vector& ProbingSet - A single probing set.

Return value

(none)

Hardware::GenerateProbingSets::Extend

Extend probing sets to glitch-extended probing sets.

Parameters

Hardware::SimulationStruct& Simulation - The simulation settings.
Hardware::TestStruct& Test - The evaluation details.
unsigned int Start - The index of the first probing set.
unsigned int End - The index of the last probing set.

Return value

(none)

Hardware::GenerateProbingSets::RemoveDuplicatedProbes

Removes all duplicates (probes that occur twice or more) from the probing sets.

Parameters

Hardware::TestStruct& Test - The evaluation details.
unsigned int Start - The index of the first probing set.
unsigned int End - The index of the last probing set.

Return value

(none)

Hardware::GenerateProbingSets::RemoveDuplicatedProbingSets

Removes all probing sets which are fully covered by another probing set.

Parameters

Hardware::SettingsStruct& Settings - The evaluation settings.
Hardware::SimulationStruct& Simulation - The simulation settings.
Hardware::TestStruct& Test - The evaluation details.
unsigned int Start - The index of the first probing set.
unsigned int End - The index of the last probing set.

Return value

(none)

Hardware::GenerateProbingSets::InitializeCompactDistributions

Initialize (pre-allocate) the distributions of all probing set in compact mode.

Parameters

Hardware::SettingsStruct& Settings - The evaluation settings.
Hardware::SimulationStruct& Simulation - The simulation settings.
Hardware::TestStruct& Test - The evaluation details.

Return value

(none)

Simulate

The Simulate files (inc/Hardware/Simulate.hpp and src/Hardware/Simulate.cpp) define all functions for the simulation procedure. These files implement the following functions:

Hardware::Simulate::EvaluateOperation

Simulates the result of a single operation.

Parameters

Hardware::OperationStruct Operation - The operation to evaluate.
uint64_t *Values - The input state.
char Intermediate - The intermediate state index.

Return value

(none)

Hardware::Simulate::All

Simulates the whole circuit.

Parameters

Hardware::CircuitStruct& Circuit - The hardware circuit.
Hardware::LibraryStruct& Library - The circuit library.
Hardware::SettingsStruct& Settings - The evaluation settings.
Hardware::SimulationStruct& Simulation - The simulation settings.
Hardware::SharedDataStruct* SharedData - The shared data.
int SimulationIndex - The simulation index.
boost::mt19937& ThreadRng - The PRNG.

Return value

(none)

Analyze

The Analyze files (inc/Hardware/Analyze.hpp and src/Hardware/Analyze.cpp) define the main functions for the leakage detection. These files implement the following functions:

Hardware::Analyze::All

Does the whole leakage detecttion.

Parameters

CommandLineParameterStruct& Parameter - The command line parameters.
Hardware::CircuitStruct& Circuit - The hardware circuit.
Hardware::LibraryStruct& Library - The circuit library.
Hardware::SettingsStruct& Settings - The evaluation settings.
Hardware::ProbesStruct& Probes - The probes.
Hardware::SimulationStruct& Simulation - The simulation settings.
Hardware::SharedDataStruct* SharedData - The shared data.
Hardware::TestStruct& Test - The evaluation details.

Return value

(none)

Hardware::Analyze::RobustProbingSecurity

Evaluates the robust probing security of the circuit.

Parameters

CommandLineParameterStruct& Parameter - The command line parameters.
Hardware::CircuitStruct& Circuit - The hardware circuit.
Hardware::LibraryStruct& Library - The circuit library.
Hardware::SettingsStruct& Settings - The evaluation settings.
Hardware::ProbesStruct& Probes - The probes.
Hardware::SimulationStruct& Simulation - The simulation settings.
Hardware::SharedDataStruct* SharedData - The shared data.
Hardware::TestStruct& Test - The evaluation details.

Return value

(none)

Test

The Test files (inc/Hardware/Test.hpp and src/Hardware/Test.cpp) define the main functions for the statistical testing procedure. These files implement the following functions:

Hardware::Test::All

Performes the statistical test procedure.

Parameters

Hardware::SettingsStruct& Settings - The evaluation settings.
Hardware::SimulationStruct& Simulation - The simulation settings.
Hardware::TestStruct& Test - The evaluation details.
char CompactDistributions - Compact/Normal Test.
unsigned int ProbeStepSize - Number of probing sets to consider.

Return value

(none)

Hardware::Test::CompactTest

Performs the test procedure in compact mode.

Parameters

Hardware::SimulationStruct& Simulation - The simulation settings.
Hardware::TestStruct& Test - The evaluation details.

Return value

(none)

Hardware::Test::CompactTableUpdate

Updates the distributions in compact mode.

Parameters

Hardware::SimulationStruct& Simulation - The simulation settings.
Hardware::TestStruct& Test - The evaluation details.
unsigned int SimulationIndex - The current simulation index.
std::vector& TempProbeValue - The temporary probe values.

Return value

(none)

Hardware::Test::NormalTest

Performs the test procedure in normal mode.

Parameters

Hardware::SettingsStruct& Settings - The evaluation settings.
Hardware::SimulationStruct& Simulation - The simulation settings.
Hardware::TestStruct& Test - The evaluation details.
unsigned int ProbeStepSize - Number of probing sets to consider.

Return value

(none)

Hardware::Test::NormalTableUpdate

Updates the distributions in normal mode.

Parameters

Hardware::SimulationStruct& Simulation - The simulation settings.
Hardware::TestStruct& Test - The evaluation details.
Hardware::ProbingSetStruct& ProbingSet - The probing set.
std::vectorHardware::TableEntryStruct& TableEntries - One contingency table entry.

Return value

(none)

Hardware::Test::SearchKey

Search for a specific value in a contingency table.

Parameters

std::vector<std::vector>& Table - The contingency table.
std::vector& Entry - The value to search.
unsigned int IgnoredEntries - The number of ignored entries.

Return value

int Position - The position of the value in the table or (-1) if the value does not exist in the table.

Hardware::Test::GTest

Computes the g-test.

Parameters

Hardware::SimulationStruct& Simulation - The simulation settings.
Hardware::ProbingSetStruct& ProbingSet - The probing set.
std::vector Frequency - Precomputed frequencies of the distribution.

Return value

(none)

Hardware::Test::GetGValue

Computes the g-value.

Parameters

Hardware::SimulationStruct& Simulation - The simulation settings.
Hardware::ProbingSetStruct& ProbingSet - The probing set.
std::vector Frequency - Precomputed frequencies of the distribution.
unsigned int TableSize - The number of entries in the table.
unsigned int& Df - The degree of freedom.

Return value

(none)

Hardware::Test::Traces

Computes the required number of traces to achieve a particular effect size.

Parameters

Hardware::SettingsStruct& Settings - The evaluation settings.
Hardware::SimulationStruct& Simulation - The simulation settings.
Hardware::ProbingSetStruct& ProbingSet - The probing set.

Return value

(none)

Print

The Print files (inc/Hardware/Print.hpp and src/Hardware/Print.cpp) define the all functions for printing results. These files implement the following functions:

Hardware::Print::Help

Prints the manual.

Parameters

(none)

Return value

(none)