PROLEAD
A Probing-Based Leakage Detection Tool for Hardware and Software
Loading...
Searching...
No Matches
Simulate.hpp
Go to the documentation of this file.
1#pragma once
2
3#include <cinttypes>
4
5#include "boost/random.hpp"
6#include "boost/generator_iterator.hpp"
8
9namespace Hardware{
10 namespace Simulate{
11
19 uint64_t EvaluateOperation(Hardware::OperationStruct, uint64_t *, char);
20
32
41
52
59 void FinalizeVCDfile(int, int);
60 }
61}
62
uint64_t EvaluateOperation(Hardware::OperationStruct, uint64_t *, char)
Evaluates a specific operation.
void GenerateVCDfile(Hardware::CircuitStruct &, Hardware::SettingsStruct &, int)
Generate header for a .vcd file.
void All(Hardware::LibraryStruct &, Hardware::CircuitStruct &, Hardware::SettingsStruct &, Hardware::SharedDataStruct *, Hardware::SimulationStruct &, int, boost::mt19937 &)
Performs the simulations.
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.
Defines a hardware circuit.
Defines a cell library.
Definition: Definitions.hpp:69
Defines the settings of the evaluation procedure.
Defines the shared state of a simulation.
Defines all settings regarding simulations.