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

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.
 

Function Documentation

◆ All()

void Hardware::Simulate::All ( Hardware::LibraryStruct ,
Hardware::CircuitStruct ,
Hardware::SettingsStruct ,
Hardware::SharedDataStruct ,
Hardware::SimulationStruct ,
int  ,
boost::mt19937 &   
)

Performs the simulations.

Parameters
LibraryThe cell library..
CircuitThe hardware circuit to analyze.
SettingsThe general settings.
SharedDataThe shared state of a simulation.
SimulationThe simulation settings.
ThreadRngThe rng assigned to a specific thread.
Author
Amir Moradi

◆ EvaluateOperation()

uint64_t Hardware::Simulate::EvaluateOperation ( Hardware::OperationStruct  ,
uint64_t *  ,
char   
)

Evaluates a specific operation.

Parameters
OperationThe operation to evaluate.
ValuesThe inputs of the operation
IntermediateThe index of an intermediate.
Author
Amir Moradi

◆ FinalizeVCDfile()

void Hardware::Simulate::FinalizeVCDfile ( int  ,
int   
)

Finalizes the .vcd file.

Parameters
SimulationIndexThe index of the simulation to store in the .vcd file.
CycleIndexThe index of the simulated clock cycle to store in the .vcd file.
Author
Thanh Dat Nguyen

◆ GenerateVCDfile()

void Hardware::Simulate::GenerateVCDfile ( Hardware::CircuitStruct ,
Hardware::SettingsStruct ,
int   
)

Generate header for a .vcd file.

Parameters
CircuitThe hardware circuit to analyze.
SettingsThe general settings.
SimulationIndexThe index of the simulation to store in the .vcd file.
Author
Thanh Dat Nguyen

◆ WriteVCDfile()

void Hardware::Simulate::WriteVCDfile ( Hardware::CircuitStruct ,
Hardware::SettingsStruct ,
Hardware::SharedDataStruct ,
int  ,
int   
)

Writes the simulation to the .vcd file.

Parameters
CircuitThe hardware circuit to analyze.
SettingsThe general settings.
SharedDataThe shared state of a simulation.
SimulationIndexThe index of the simulation to store in the .vcd file.
CycleIndexThe index of the simulated clock cycle to store in the .vcd file.
Author
Thanh Dat Nguyen