PROLEAD
A Probing-Based Leakage Detection Tool for Hardware and Software
Loading...
Searching...
No Matches
Classes | Namespaces | Macros
Definitions.hpp File Reference
#include <cinttypes>
#include <vector>
#include <bits/stdc++.h>
#include "Util/Util.hpp"

Go to the source code of this file.

Classes

struct  Hardware::OperationStruct
 
struct  Hardware::CellTypeStruct
 
struct  Hardware::LibraryStruct
 Defines a cell library. More...
 
struct  Hardware::CellStruct
 
struct  Hardware::SignalStruct
 
struct  Hardware::CircuitStruct
 Defines a hardware circuit. More...
 
struct  Hardware::SettingsStruct
 Defines the settings of the evaluation procedure. More...
 
struct  Hardware::GlitchExtendedProbesStruct
 Defines an already extended probe, i.e. a set of glitch extended probes. More...
 
struct  Hardware::ProbesStruct
 Defines a probing set, i.e. a set of standard probes with their corresponding glitch extensions. More...
 
struct  Hardware::SharedDataStruct
 Defines the shared state of a simulation. More...
 
struct  Hardware::SimulationStruct
 Defines all settings regarding simulations. More...
 
struct  Hardware::ProbePositionStruct
 Defines a single probe. More...
 
struct  Hardware::ProbingSetStruct
 Defines a probing set. More...
 
struct  Hardware::UniqueProbeStruct
 Defines a unique probe for the compact mode. More...
 
struct  Hardware::TestStruct
 Defines all settings belonging to the test prodecure. More...
 

Namespaces

namespace  Hardware
 

Macros

#define Max_Name_Length   10000
 
#define FullOne   0xffffffffffffffff
 
#define GroupInput   0x8000000000000000
 
#define RandomInput   0x4000000000000000
 
#define SameInput   0x2000000000000000
 
#define GroupInMask   0xf000000000000000
 
#define CellType_Gate   0
 
#define CellType_Reg   1
 
#define Operation_AND   0
 
#define Operation_OR   1
 
#define Operation_XOR   2
 
#define Operation_NOT   3
 
#define SignalType_input   0
 
#define SignalType_output   1
 
#define SignalType_wire   2
 
#define Task_find_module_type   0
 
#define Task_find_module_name   1
 
#define Task_find_open_bracket   2
 
#define Task_find_point   3
 
#define Task_find_IO_port   4
 
#define Task_find_signal_name   5
 
#define Task_find_close_bracket   6
 
#define Task_find_comma   7
 
#define Task_find_assign_signal_name1   8
 
#define Task_find_equal   9
 
#define Task_find_assign_signal_name2   10
 

Macro Definition Documentation

◆ CellType_Gate

#define CellType_Gate   0

Definition at line 16 of file Definitions.hpp.

◆ CellType_Reg

#define CellType_Reg   1

Definition at line 17 of file Definitions.hpp.

◆ FullOne

#define FullOne   0xffffffffffffffff

Definition at line 10 of file Definitions.hpp.

◆ GroupInMask

#define GroupInMask   0xf000000000000000

Definition at line 14 of file Definitions.hpp.

◆ GroupInput

#define GroupInput   0x8000000000000000

Definition at line 11 of file Definitions.hpp.

◆ Max_Name_Length

#define Max_Name_Length   10000

Definition at line 8 of file Definitions.hpp.

◆ Operation_AND

#define Operation_AND   0

Definition at line 19 of file Definitions.hpp.

◆ Operation_NOT

#define Operation_NOT   3

Definition at line 22 of file Definitions.hpp.

◆ Operation_OR

#define Operation_OR   1

Definition at line 20 of file Definitions.hpp.

◆ Operation_XOR

#define Operation_XOR   2

Definition at line 21 of file Definitions.hpp.

◆ RandomInput

#define RandomInput   0x4000000000000000

Definition at line 12 of file Definitions.hpp.

◆ SameInput

#define SameInput   0x2000000000000000

Definition at line 13 of file Definitions.hpp.

◆ SignalType_input

#define SignalType_input   0

Definition at line 24 of file Definitions.hpp.

◆ SignalType_output

#define SignalType_output   1

Definition at line 25 of file Definitions.hpp.

◆ SignalType_wire

#define SignalType_wire   2

Definition at line 26 of file Definitions.hpp.

◆ Task_find_assign_signal_name1

#define Task_find_assign_signal_name1   8

Definition at line 36 of file Definitions.hpp.

◆ Task_find_assign_signal_name2

#define Task_find_assign_signal_name2   10

Definition at line 38 of file Definitions.hpp.

◆ Task_find_close_bracket

#define Task_find_close_bracket   6

Definition at line 34 of file Definitions.hpp.

◆ Task_find_comma

#define Task_find_comma   7

Definition at line 35 of file Definitions.hpp.

◆ Task_find_equal

#define Task_find_equal   9

Definition at line 37 of file Definitions.hpp.

◆ Task_find_IO_port

#define Task_find_IO_port   4

Definition at line 32 of file Definitions.hpp.

◆ Task_find_module_name

#define Task_find_module_name   1

Definition at line 29 of file Definitions.hpp.

◆ Task_find_module_type

#define Task_find_module_type   0

Definition at line 28 of file Definitions.hpp.

◆ Task_find_open_bracket

#define Task_find_open_bracket   2

Definition at line 30 of file Definitions.hpp.

◆ Task_find_point

#define Task_find_point   3

Definition at line 31 of file Definitions.hpp.

◆ Task_find_signal_name

#define Task_find_signal_name   5

Definition at line 33 of file Definitions.hpp.