PROLEAD
A Probing-Based Leakage Detection Tool for Hardware and Software
|
#include <cinttypes>
#include "boost/random.hpp"
#include "boost/generator_iterator.hpp"
#include "Hardware/Definitions.hpp"
Go to the source code of this file.
Namespaces | |
namespace | Hardware |
namespace | Hardware::Simulate |
Functions | |
uint64_t | Hardware::Simulate::EvaluateOperation (Hardware::OperationStruct, uint64_t *, char) |
Evaluates a specific operation. | |
void | Hardware::Simulate::All (Hardware::LibraryStruct &, Hardware::CircuitStruct &, Hardware::SettingsStruct &, Hardware::SharedDataStruct *, Hardware::SimulationStruct &, int, boost::mt19937 &) |
Performs the simulations. | |
void | Hardware::Simulate::GenerateVCDfile (Hardware::CircuitStruct &, Hardware::SettingsStruct &, int) |
Generate header for a .vcd file. | |
void | Hardware::Simulate::WriteVCDfile (Hardware::CircuitStruct &, Hardware::SettingsStruct &, Hardware::SharedDataStruct *, int, int) |
Writes the simulation to the .vcd file. | |
void | Hardware::Simulate::FinalizeVCDfile (int, int) |
Finalizes the .vcd file. | |