PROLEAD
A Probing-Based Leakage Detection Tool for Hardware and Software
|
Functions | |
void | Help () |
Prints the manual. | |
unsigned int | MemoryConsumption () |
Prints the current memory consumption. | |
void | CommandLineSettings (CommandLineParameterStruct &) |
Prints the command line parameters. | |
void | ProbeGenerationSettings (Hardware::SettingsStruct &, Hardware::SimulationStruct &, Hardware::TestStruct &) |
Prints the probe generation settings. | |
unsigned int | EvaluationSettings (Hardware::SimulationStruct &, Hardware::TestStruct &) |
Prints the evaluation settings. | |
void | EvaluationResults (Hardware::SettingsStruct &, Hardware::SimulationStruct &, Hardware::TestStruct &, double &, std::string &, double, unsigned int) |
Prints the evaluation results. | |
void | Report (Hardware::SettingsStruct &, Hardware::SimulationStruct &, Hardware::TestStruct &, unsigned int, unsigned int) |
Writes a report file. | |
void Hardware::Print::CommandLineSettings | ( | CommandLineParameterStruct & | ) |
Prints the command line parameters.
CommandLineParameters | The command line parameters. |
void Hardware::Print::EvaluationResults | ( | Hardware::SettingsStruct & | , |
Hardware::SimulationStruct & | , | ||
Hardware::TestStruct & | , | ||
double & | , | ||
std::string & | , | ||
double | , | ||
unsigned int | |||
) |
Prints the evaluation results.
Settings | The general settings. |
Simulation | The simulation settings. |
Test | The test settings. |
DeletedAlpha | The maximum p-value of a deleted probing set. |
DeletedProbingSet | The deleted probing set. |
ElapsedTimePeriod | The runtime of PROLEAD. |
Space | The space to print one line of evaluation results. |
unsigned int Hardware::Print::EvaluationSettings | ( | Hardware::SimulationStruct & | , |
Hardware::TestStruct & | |||
) |
Prints the evaluation settings.
Simulation | The simulation settings. |
Test | The test settings. |
void Hardware::Print::Help | ( | ) |
Prints the manual.
unsigned int Hardware::Print::MemoryConsumption | ( | ) |
Prints the current memory consumption.
void Hardware::Print::ProbeGenerationSettings | ( | Hardware::SettingsStruct & | , |
Hardware::SimulationStruct & | , | ||
Hardware::TestStruct & | |||
) |
Prints the probe generation settings.
Settings | The general settings. |
Simulation | The simulation settings. |
Test | The test settings. |
void Hardware::Print::Report | ( | Hardware::SettingsStruct & | , |
Hardware::SimulationStruct & | , | ||
Hardware::TestStruct & | , | ||
unsigned int | , | ||
unsigned int | |||
) |
Writes a report file.
Settings | The general settings. |
Simulation | The simulation settings. |
Test | The test settings. |
ProbeStepIndex | The index of the current step. |
TableWidth | The width of the printed table. |