PROLEAD
A Probing-Based Leakage Detection Tool for Hardware and Software
|
Functions | |
uint64_t | EvaluateOperation (Hardware::OperationStruct, uint64_t *, char) |
Evaluates a specific operation. | |
void | All (Hardware::LibraryStruct &, Hardware::CircuitStruct &, Hardware::SettingsStruct &, Hardware::SharedDataStruct *, Hardware::SimulationStruct &, int, boost::mt19937 &) |
Performs the simulations. | |
void | GenerateVCDfile (Hardware::CircuitStruct &, Hardware::SettingsStruct &, int) |
Generate header for a .vcd file. | |
void | WriteVCDfile (Hardware::CircuitStruct &, Hardware::SettingsStruct &, Hardware::SharedDataStruct *, int, int) |
Writes the simulation to the .vcd file. | |
void | FinalizeVCDfile (int, int) |
Finalizes the .vcd file. | |
void Hardware::Simulate::All | ( | Hardware::LibraryStruct & | , |
Hardware::CircuitStruct & | , | ||
Hardware::SettingsStruct & | , | ||
Hardware::SharedDataStruct * | , | ||
Hardware::SimulationStruct & | , | ||
int | , | ||
boost::mt19937 & | |||
) |
Performs the simulations.
Library | The cell library.. |
Circuit | The hardware circuit to analyze. |
Settings | The general settings. |
SharedData | The shared state of a simulation. |
Simulation | The simulation settings. |
ThreadRng | The rng assigned to a specific thread. |
uint64_t Hardware::Simulate::EvaluateOperation | ( | Hardware::OperationStruct | , |
uint64_t * | , | ||
char | |||
) |
Evaluates a specific operation.
Operation | The operation to evaluate. |
Values | The inputs of the operation |
Intermediate | The index of an intermediate. |
void Hardware::Simulate::FinalizeVCDfile | ( | int | , |
int | |||
) |
Finalizes the .vcd file.
SimulationIndex | The index of the simulation to store in the .vcd file. |
CycleIndex | The index of the simulated clock cycle to store in the .vcd file. |
void Hardware::Simulate::GenerateVCDfile | ( | Hardware::CircuitStruct & | , |
Hardware::SettingsStruct & | , | ||
int | |||
) |
Generate header for a .vcd file.
Circuit | The hardware circuit to analyze. |
Settings | The general settings. |
SimulationIndex | The index of the simulation to store in the .vcd file. |
void Hardware::Simulate::WriteVCDfile | ( | Hardware::CircuitStruct & | , |
Hardware::SettingsStruct & | , | ||
Hardware::SharedDataStruct * | , | ||
int | , | ||
int | |||
) |
Writes the simulation to the .vcd file.
Circuit | The hardware circuit to analyze. |
Settings | The general settings. |
SharedData | The shared state of a simulation. |
SimulationIndex | The index of the simulation to store in the .vcd file. |
CycleIndex | The index of the simulated clock cycle to store in the .vcd file. |