diff --git a/Makefile b/Makefile index 2f47678..aae91bc 100644 --- a/Makefile +++ b/Makefile @@ -8,6 +8,7 @@ ## release build in release mode ## ## debug build in debug mode ## ## test performs unit tests ## +## benchmark performs benchmarks ## ## clean remove output directories ## ## ## ################################################## @@ -20,7 +21,8 @@ INC_DIRS = inc # Source directories with the .c and .cpp files. Separate multiple directories with a space. -TEST_SRC = "ut src/Software src/Hardware src/Util" +BENCHMARK_SRC = "benchmarks src/Software src/Hardware src/Util" +TEST_SRC = "tests src/Software src/Hardware src/Util" DEBUG_SRC = src RELEASE_SRC = src @@ -28,18 +30,21 @@ LIB_DIR = lib # Output directories for release and debug configurations. # If both point to the same directory, the final binaries will be suffixed with "_release" and "_debug". +BENCHMARK_DIR = benchmark RELEASE_DIR = release DEBUG_DIR = debug TEST_DIR = test -EXCLUDED_FILES := test/obj_test/ut/full/aes_rp_d1_ccode/aes_rp_d1_ccode_c.c +EXCLUDED_FILES := test/obj_test/tests/full/aes_rp_d1_ccode/aes_rp_d1_ccode_c.c # Compiler options INCLUDE_PYTHON3=`pkg-config --cflags python3-embed` +C_BENCHMARK_FLAGS = -Wall -Wextra -Wshadow -pedantic -fopenmp -O3 -g -fno-omit-frame-pointer -std=c11 $(INCLUDE_PYTHON3) C_RELEASE_FLAGS = -Wall -Wextra -Wshadow -pedantic -fopenmp -O3 -g -fno-omit-frame-pointer -std=c11 $(INCLUDE_PYTHON3) C_DEBUG_FLAGS = -Wall -Wextra -Wshadow -pedantic -fopenmp -g -O2 -fsanitize=address -std=c11 $(INCLUDE_PYTHON3) C_TEST_FLAGS = -Wall -Wextra -Wshadow -pedantic -fopenmp -O3 -g -fno-omit-frame-pointer -std=c11 $(INCLUDE_PYTHON3) +CXX_BENCHMARK_FLAGS = -Wall -Wextra -Wshadow -pedantic -fopenmp -O3 -g -fno-omit-frame-pointer -std=c++17 $(INCLUDE_PYTHON3) CXX_RELEASE_FLAGS = -Wall -Wextra -Wshadow -pedantic -fopenmp -O3 -g -fno-omit-frame-pointer -std=c++17 $(INCLUDE_PYTHON3) CXX_DEBUG_FLAGS = -Wall -Wextra -Wshadow -pedantic -fopenmp -g -O2 -fsanitize=address -std=c++17 $(INCLUDE_PYTHON3) CXX_TEST_FLAGS = -Wall -Wextra -Wshadow -pedantic -fopenmp -O3 -g -fno-omit-frame-pointer -std=c++17 $(INCLUDE_PYTHON3) @@ -48,6 +53,7 @@ CXX_TEST_FLAGS = -Wall -Wextra -Wshadow -pedantic -fopenmp -O3 -g -fno-omit-fr LINK_PYTHON3=`pkg-config --libs python3-embed` LINK_FLINT = -lflint -lmpfr -lgmp -lm LINK_BOOST = -lboost_filesystem -lboost_program_options -lboost_python310 +BENCHMARK_LINK_FLAGS = -L$(LIB_DIR) -fopenmp -ldl $(LINK_PYTHON3) $(LINK_FLINT) $(LINK_BOOST) RELEASE_LINK_FLAGS = -L$(LIB_DIR) -fopenmp -ldl $(LINK_PYTHON3) $(LINK_FLINT) $(LINK_BOOST) DEBUG_LINK_FLAGS = -L$(LIB_DIR) -fsanitize=address -fopenmp -ldl $(LINK_PYTHON3) $(LINK_FLINT) $(LINK_BOOST) TEST_LINK_FLAGS = -L$(LIB_DIR) -fopenmp -ldl $(LINK_PYTHON3) $(LINK_FLINT) $(LINK_BOOST) @@ -68,8 +74,12 @@ OUTPUT = PROLEAD HELP_MESSAGE = Simply use any combination of 'make {debug, release, test, help, clean}'. Just calling 'make' will build release and debug. By adding 'V=1' prints more verbose output. # switch between debug and release config - -ifeq ($(D),2) +ifeq ($(D),3) + C_FLAGS = $(C_BENCHMARK_FLAGS) + CXX_FLAGS = $(CXX_BENCHMARK_FLAGS) + LINK_FLAGS = $(BENCHMARK_LINK_FLAGS) + OBJ_DIR = obj_test +else ifeq ($(D),2) C_FLAGS = $(C_TEST_FLAGS) CXX_FLAGS = $(CXX_TEST_FLAGS) LINK_FLAGS = $(TEST_LINK_FLAGS) @@ -130,6 +140,9 @@ MAKEFLAGS += --no-print-directory all: debug release +benchmark: + @+make compile D=3 OUTPUT_DIRECTORY=$(BENCHMARK_DIR) SRC_DIRS=$(BENCHMARK_SRC) -j8 + test: @+make compile D=2 OUTPUT_DIRECTORY=$(TEST_DIR) SRC_DIRS=$(TEST_SRC) -j8 @@ -141,6 +154,7 @@ release: clean: @echo Removing build artifacts... + $(SUPPRESS_CMD)rm -rf $(BENCHMARK_DIR) $(SUPPRESS_CMD)rm -rf $(DEBUG_DIR) $(SUPPRESS_CMD)rm -rf $(RELEASE_DIR) $(SUPPRESS_CMD)rm -rf $(TEST_DIR) @@ -164,7 +178,9 @@ endif # create obj directory and compile compile: check directories $(OUTPUT_DIRECTORY)/$(OUTPUT) -ifeq ($(D), 2) +ifeq ($(D), 3) + @diff=$$(($(shell date +%s%3N) - $(START_TIME))); echo 'Benchmark build completed in '$$(($$diff / 1000))'.'$$(($$diff % 1000))'s' +else ifeq ($(D), 2) @diff=$$(($(shell date +%s%3N) - $(START_TIME))); echo 'Test build completed in '$$(($$diff / 1000))'.'$$(($$diff % 1000))'s' else ifeq ($(D), 1) @diff=$$(($(shell date +%s%3N) - $(START_TIME))); echo 'Debug build completed in '$$(($$diff / 1000))'.'$$(($$diff % 1000))'s' @@ -176,7 +192,9 @@ endif # create the obj directory directories: check -ifeq ($(D), 2) +ifeq ($(D), 3) + @echo '_____Building Benchmark_____' +else ifeq ($(D), 2) @echo '_______Building Tests_______' else ifeq ($(D), 1) @echo '_______Building Debug_______' diff --git a/ut/UnitTests.cpp b/benchmarks/benchmarks.cpp similarity index 70% rename from ut/UnitTests.cpp rename to benchmarks/benchmarks.cpp index 72e52c5..16fefad 100644 --- a/ut/UnitTests.cpp +++ b/benchmarks/benchmarks.cpp @@ -1,3 +1,3 @@ #define CATCH_CONFIG_ENABLE_BENCHMARKING #define CATCH_CONFIG_MAIN -#include \ No newline at end of file +#include diff --git a/benchmarks/util/Util.cpp b/benchmarks/util/Util.cpp new file mode 100644 index 0000000..c85a506 --- /dev/null +++ b/benchmarks/util/Util.cpp @@ -0,0 +1,134 @@ +#define CATCH_CONFIG_ENABLE_BENCHMARKING +#include "Util/Util.hpp" + +#include + +TEST_CASE("Benchmark sorting and merging of duplicates", + "[BenchmarkSortAndMergeDuplicates]") { + uint64_t i, j; + uint64_t number_of_groups = 2; + uint64_t size_of_key_in_bytes = + GENERATE(1, 2, 4, 8, 16, 32, 64, 128, 256, 512, 1024); + uint64_t number_of_entries = GENERATE(64, 1024, 2048, 4096, 8192, 16384, + 32768, 65536, 131072, 262144, 524288); + std::random_device rd; + std::mt19937 gen(rd()); + std::uniform_int_distribution dis(0, 255); + TableBucketVector observations(number_of_entries); + + for (i = 0; i < number_of_entries; ++i) { + observations[i].key_ = std::make_unique(size_of_key_in_bytes); + observations[i].data_ = std::make_unique(number_of_groups); + + for (j = 0; j < size_of_key_in_bytes; ++j) { + observations[i].key_[j] = dis(gen); + } + + ++observations[i].data_[dis(gen) % number_of_groups]; + } + + BENCHMARK_ADVANCED( + "size of key (bytes) = " + std::to_string(size_of_key_in_bytes) + "\n" + + "number of entries = " + std::to_string(number_of_entries)) + (Catch::Benchmark::Chronometer meter) { + meter.measure([&observations, size_of_key_in_bytes, number_of_groups] { + SortAndMergeDuplicates(observations, size_of_key_in_bytes, + number_of_groups); + }); + }; +} + +TEST_CASE( + "Benchmark the update of bucket entries with entries from another bucket", + "[BenchmarkUpdateBucketWithBucket]") { + uint64_t i, j; + TableBucketVector bucket, observations; + uint64_t number_of_groups, size_of_key_in_bytes, number_of_entries; + std::random_device rd; + std::mt19937 gen(rd()); + std::uniform_int_distribution dis(0, 255); + + number_of_groups = GENERATE(2, 3); + size_of_key_in_bytes = GENERATE(1, 2, 4, 8, 16, 32, 64, 128, 256, 512, 1024); + number_of_entries = GENERATE(1, 10, 100, 1000, 10000, 100000, 1000000); + bucket.resize(number_of_entries); + observations.resize(number_of_entries); + + for (i = 0; i < number_of_entries; ++i) { + bucket[i].key_ = std::make_unique(size_of_key_in_bytes); + bucket[i].data_ = std::make_unique(number_of_groups); + observations[i].key_ = std::make_unique(size_of_key_in_bytes); + observations[i].data_ = std::make_unique(number_of_groups); + + for (j = 0; j < size_of_key_in_bytes; ++j) { + bucket[i].key_[j] = dis(gen); + observations[i].key_[j] = dis(gen); + } + + for (j = 0; j < number_of_groups; ++j) { + bucket[i].data_[j] = dis(gen); + observations[i].data_[j] = dis(gen); + } + } + + SortAndMergeDuplicates(bucket, size_of_key_in_bytes, number_of_groups); + SortAndMergeDuplicates(observations, size_of_key_in_bytes, number_of_groups); + + BENCHMARK_ADVANCED( + "number of groups = " + std::to_string(number_of_groups) + "\n" + + "size of key (bytes) = " + std::to_string(size_of_key_in_bytes) + "\n" + + "number of entries = " + std::to_string(number_of_entries)) + (Catch::Benchmark::Chronometer meter) { + meter.measure( + [&bucket, &observations, size_of_key_in_bytes, number_of_groups] { + UpdateBucketWithBucket(bucket, observations, size_of_key_in_bytes, + number_of_groups); + }); + }; +} + +TEST_CASE("Benchmark computation of required sample size", + "[BenchmarkComputeRequiredSampleSize]") { + uint64_t number_of_groups = GENERATE(2, 3); + uint64_t number_of_entries = + GENERATE(10, 100, 1000, 10000, 100000, 1000000, 10000000); + double_t effect_size = GENERATE(0.1, 0.3, 0.5); + double_t beta_threshold = GENERATE(0.00001, 0.0001, 0.001, 0.01, 0.1, 0.2); + + BENCHMARK_ADVANCED( + "number of groups = " + std::to_string(number_of_groups) + "\n" + + "number of entries = " + std::to_string(number_of_entries) + "\n" + + "effect size = " + std::to_string(effect_size) + "\n" + + "beta threshold = " + std::to_string(beta_threshold)) + (Catch::Benchmark::Chronometer meter) { + meter.measure( + [number_of_groups, number_of_entries, beta_threshold, effect_size] { + ComputeRequiredSampleSize(number_of_groups, number_of_entries, + beta_threshold, effect_size); + }); + }; +} + +TEST_CASE("Test the construction of simulated table entries", + "[ConstructTableEntries]") { + uint64_t number_of_groups = GENERATE(2, 3); + uint64_t size_of_key_in_bytes = GENERATE(1, 64, 1024); + uint64_t number_of_entries = GENERATE(64, 16384, 524288); + TableBucketVector datasets; + + BENCHMARK_ADVANCED( + "number of groups = " + std::to_string(number_of_groups) + "\n" + + "number of entries = " + std::to_string(number_of_entries) + "\n" + + "size of key (bytes) = " + std::to_string(size_of_key_in_bytes)) + (Catch::Benchmark::Chronometer meter) { + meter.measure([&datasets, number_of_groups, number_of_entries, + size_of_key_in_bytes] { + datasets.resize(number_of_entries); + + for (uint64_t i = 0; i < number_of_entries; ++i) { + datasets[i].key_ = std::make_unique(size_of_key_in_bytes); + datasets[i].data_ = std::make_unique(number_of_groups); + } + }); + }; +} diff --git a/docs/_adversaries_8hpp_source.html b/docs/_adversaries_8hpp_source.html index b2c0ea3..3731465 100644 --- a/docs/_adversaries_8hpp_source.html +++ b/docs/_adversaries_8hpp_source.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
@@ -215,7 +215,7 @@
333
341 double EvaluateMultivariateRobustProbingSecurity(std::vector<SharedData>& shared_data, timespec& start_time);
342
-
354 void EvaluateProbingSetsUnderFaults(
+
354 double EvaluateProbingSetsUnderFaults(
355 std::vector<SharedData>& shared_data,
356 timespec& start_time, uint64_t& probe_step_index);
357
@@ -228,7 +228,7 @@
388
397 void NormalTest(std::vector<double>& group_simulation_ratio);
398
-
409 void Test(std::vector<double>& number_of_simulations_per_group,
+
409 void Test(std::vector<double>& number_of_simulations_per_group,
410 bool is_in_compact_mode);
411
417 double GetMaximumLeakage();
@@ -263,7 +263,7 @@
Hardware::Adversaries::GetNumberOfExtendedProbes
size_t GetNumberOfExtendedProbes()
Returns the number of extended probes.
Definition: Adversaries.cpp:59
Hardware::Adversaries::Adversaries
Adversaries(Library &library, CircuitStruct &circuit, Settings &settings, Simulation &simulation)
Constructs the adversaries.
Hardware::Adversaries::AddProbingSet
void AddProbingSet(std::vector< Probe * > &probe_addresses, uint64_t &index)
Adds a new probing set to the list of probing sets.
Definition: Adversaries.cpp:659
-
Hardware::Adversaries::EvaluateRobustProbingSecurity
double EvaluateRobustProbingSecurity(std::vector< SharedData > &shared_data)
Evaluates all adversaries under the robust d-probing model.
Definition: Adversaries.cpp:1292
+
Hardware::Adversaries::EvaluateRobustProbingSecurity
double EvaluateRobustProbingSecurity(std::vector< SharedData > &shared_data)
Evaluates all adversaries under the robust d-probing model.
Definition: Adversaries.cpp:1340
Hardware::Enabler
Definition: Enabler.hpp:10
Hardware::Library
Definition: Library.hpp:230
Hardware::Printer
Definition: Printer.hpp:14
@@ -271,6 +271,7 @@
Hardware::Propagation
Definition: Propagation.hpp:47
Settings
Definition: Settings.hpp:99
Simulation
Definition: Definitions.hpp:223
+
Test
Definition: dom_indep_d1.cpp:6
Hardware::CircuitStruct
Defines a hardware circuit.
Definition: Definitions.hpp:138
diff --git a/docs/_analyze_8hpp_source.html b/docs/_analyze_8hpp_source.html index bd0e1aa..3e610e4 100644 --- a/docs/_analyze_8hpp_source.html +++ b/docs/_analyze_8hpp_source.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
diff --git a/docs/_cpu_core_selector_8hpp.html b/docs/_cpu_core_selector_8hpp.html index cb384b4..37293a9 100644 --- a/docs/_cpu_core_selector_8hpp.html +++ b/docs/_cpu_core_selector_8hpp.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
diff --git a/docs/_cpu_core_selector_8hpp_source.html b/docs/_cpu_core_selector_8hpp_source.html index 170163a..66d196f 100644 --- a/docs/_cpu_core_selector_8hpp_source.html +++ b/docs/_cpu_core_selector_8hpp_source.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
diff --git a/docs/_enabler_8hpp_source.html b/docs/_enabler_8hpp_source.html index c5e7318..3424ba2 100644 --- a/docs/_enabler_8hpp_source.html +++ b/docs/_enabler_8hpp_source.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
diff --git a/docs/_fault_8cpp.html b/docs/_fault_8cpp.html index 4a60645..ed9e4d6 100644 --- a/docs/_fault_8cpp.html +++ b/docs/_fault_8cpp.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
diff --git a/docs/_fault_8hpp.html b/docs/_fault_8hpp.html index c170334..fa4e67f 100644 --- a/docs/_fault_8hpp.html +++ b/docs/_fault_8hpp.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
diff --git a/docs/_fault_8hpp_source.html b/docs/_fault_8hpp_source.html index e2f0437..ac1120b 100644 --- a/docs/_fault_8hpp_source.html +++ b/docs/_fault_8hpp_source.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
diff --git a/docs/_fault_manager_8cpp.html b/docs/_fault_manager_8cpp.html index 627ddfc..f123dd0 100644 --- a/docs/_fault_manager_8cpp.html +++ b/docs/_fault_manager_8cpp.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
diff --git a/docs/_fault_manager_8hpp.html b/docs/_fault_manager_8hpp.html index 808e47b..f8012aa 100644 --- a/docs/_fault_manager_8hpp.html +++ b/docs/_fault_manager_8hpp.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
diff --git a/docs/_fault_manager_8hpp_source.html b/docs/_fault_manager_8hpp_source.html index 48508b4..5fddcfe 100644 --- a/docs/_fault_manager_8hpp_source.html +++ b/docs/_fault_manager_8hpp_source.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
diff --git a/docs/_fault_set_8cpp.html b/docs/_fault_set_8cpp.html index 3c6ccc6..28e3f8b 100644 --- a/docs/_fault_set_8cpp.html +++ b/docs/_fault_set_8cpp.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
diff --git a/docs/_fault_set_8hpp.html b/docs/_fault_set_8hpp.html index f8b8ac2..f494d34 100644 --- a/docs/_fault_set_8hpp.html +++ b/docs/_fault_set_8hpp.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
diff --git a/docs/_fault_set_8hpp_source.html b/docs/_fault_set_8hpp_source.html index 2cbbc28..41a9f73 100644 --- a/docs/_fault_set_8hpp_source.html +++ b/docs/_fault_set_8hpp_source.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
diff --git a/docs/_file_parsing_8hpp.html b/docs/_file_parsing_8hpp.html index f4ec824..47e11fa 100644 --- a/docs/_file_parsing_8hpp.html +++ b/docs/_file_parsing_8hpp.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
@@ -85,10 +85,10 @@ #include <boost/fusion/include/adapt_struct.hpp>
#include <boost/fusion/include/io.hpp>
#include <boost/json.hpp>
-#include <boost/spirit/include/phoenix.hpp>
-#include <boost/spirit/include/phoenix_core.hpp>
-#include <boost/spirit/include/phoenix_object.hpp>
-#include <boost/spirit/include/phoenix_operator.hpp>
+#include <boost/phoenix.hpp>
+#include <boost/phoenix/core.hpp>
+#include <boost/phoenix/object.hpp>
+#include <boost/phoenix/operator.hpp>
#include <boost/spirit/include/qi.hpp>
#include <cstdint>
#include <filesystem>
diff --git a/docs/_file_parsing_8hpp_source.html b/docs/_file_parsing_8hpp_source.html index 3670a70..1a59396 100644 --- a/docs/_file_parsing_8hpp_source.html +++ b/docs/_file_parsing_8hpp_source.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
@@ -84,10 +84,10 @@
10#include <boost/fusion/include/adapt_struct.hpp>
11#include <boost/fusion/include/io.hpp>
12#include <boost/json.hpp>
-
13#include <boost/spirit/include/phoenix.hpp>
-
14#include <boost/spirit/include/phoenix_core.hpp>
-
15#include <boost/spirit/include/phoenix_object.hpp>
-
16#include <boost/spirit/include/phoenix_operator.hpp>
+
13#include <boost/phoenix.hpp>
+
14#include <boost/phoenix/core.hpp>
+
15#include <boost/phoenix/object.hpp>
+
16#include <boost/phoenix/operator.hpp>
17#include <boost/spirit/include/qi.hpp>
18#include <cstdint>
19#include <filesystem>
diff --git a/docs/_hardware_2_definitions_8hpp_source.html b/docs/_hardware_2_definitions_8hpp_source.html index 490ab4e..1746b25 100644 --- a/docs/_hardware_2_definitions_8hpp_source.html +++ b/docs/_hardware_2_definitions_8hpp_source.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
diff --git a/docs/_hardware_2_execute_8hpp_source.html b/docs/_hardware_2_execute_8hpp_source.html index ec3aa54..f44586a 100644 --- a/docs/_hardware_2_execute_8hpp_source.html +++ b/docs/_hardware_2_execute_8hpp_source.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
diff --git a/docs/_hardware_2_prepare_8hpp_source.html b/docs/_hardware_2_prepare_8hpp_source.html index c8c72a2..a6b5846 100644 --- a/docs/_hardware_2_prepare_8hpp_source.html +++ b/docs/_hardware_2_prepare_8hpp_source.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
diff --git a/docs/_hardware_2_read_8hpp_source.html b/docs/_hardware_2_read_8hpp_source.html index 266f8be..8d56172 100644 --- a/docs/_hardware_2_read_8hpp_source.html +++ b/docs/_hardware_2_read_8hpp_source.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
diff --git a/docs/_hardware_2_simulate_8hpp_source.html b/docs/_hardware_2_simulate_8hpp_source.html index fb1e3c3..bb6f627 100644 --- a/docs/_hardware_2_simulate_8hpp_source.html +++ b/docs/_hardware_2_simulate_8hpp_source.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
diff --git a/docs/_lib_helper_8hpp_source.html b/docs/_lib_helper_8hpp_source.html index 9ca116c..a5b8214 100644 --- a/docs/_lib_helper_8hpp_source.html +++ b/docs/_lib_helper_8hpp_source.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
diff --git a/docs/_library_8hpp_source.html b/docs/_library_8hpp_source.html index bbb5d25..8da4e00 100644 --- a/docs/_library_8hpp_source.html +++ b/docs/_library_8hpp_source.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
diff --git a/docs/_operation_8hpp_source.html b/docs/_operation_8hpp_source.html index 6aa3d53..8e34e23 100644 --- a/docs/_operation_8hpp_source.html +++ b/docs/_operation_8hpp_source.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
diff --git a/docs/_operators_8hpp_source.html b/docs/_operators_8hpp_source.html index 5f1bb1d..2046ddc 100644 --- a/docs/_operators_8hpp_source.html +++ b/docs/_operators_8hpp_source.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
diff --git a/docs/_print_8hpp_source.html b/docs/_print_8hpp_source.html index d60f895..90f314a 100644 --- a/docs/_print_8hpp_source.html +++ b/docs/_print_8hpp_source.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
diff --git a/docs/_printer_8hpp_source.html b/docs/_printer_8hpp_source.html index 5ca19d5..ed4fbdf 100644 --- a/docs/_printer_8hpp_source.html +++ b/docs/_printer_8hpp_source.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
diff --git a/docs/_probes_8hpp_source.html b/docs/_probes_8hpp_source.html index 805d617..e70efc6 100644 --- a/docs/_probes_8hpp_source.html +++ b/docs/_probes_8hpp_source.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
diff --git a/docs/_probing_8hpp_source.html b/docs/_probing_8hpp_source.html index affcacb..cfa02e2 100644 --- a/docs/_probing_8hpp_source.html +++ b/docs/_probing_8hpp_source.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
@@ -103,9 +103,9 @@
25{
26 namespace Probing
27 {
-
38 void GetProbingSets(Software::ThreadSimulationStruct& ThreadSimulation, SettingsStruct& Settings, Software::TestStruct& Test, std::vector<std::tuple<uint32_t, uint32_t>>& OrderOverTwoCombination, std::vector<std::vector<uint32_t>>& ProbeInfoToStandardProbe, uint64_t SimulationIndex);
+
38 void GetProbingSets(Software::ThreadSimulationStruct& ThreadSimulation, SettingsStruct& Settings, Software::TestStruct& Test, std::vector<std::tuple<uint32_t, uint32_t>>& OrderOverTwoCombination, std::vector<std::vector<uint32_t>>& ProbeInfoToStandardProbe, uint64_t SimulationIndex);
39
-
51 void GetMultivariateProbingSets(std::vector<std::vector<Software::ProbesStruct>>& OneSimulationStandardProbes, SettingsStruct& Settings, Software::TestStruct& Test, std::vector<std::tuple<uint32_t, uint32_t>>& OrderOverTwoCombination, std::vector<std::vector<uint32_t>>& ProbeInfoToStandardProbe, uint32_t ThreadIndex, uint32_t SimulationIndex);
+
51 void GetMultivariateProbingSets(std::vector<std::vector<Software::ProbesStruct>>& OneSimulationStandardProbes, SettingsStruct& Settings, Software::TestStruct& Test, std::vector<std::tuple<uint32_t, uint32_t>>& OrderOverTwoCombination, std::vector<std::vector<uint32_t>>& ProbeInfoToStandardProbe, uint32_t ThreadIndex, uint32_t SimulationIndex);
52
61 bool InDistance(Software::SettingsStruct& Settings, std::vector<Software::ProbesStruct>& ProbingSet);
62 uint32_t MemoryConsumption();
@@ -175,6 +175,7 @@
380
381#endif
Settings
Definition: Settings.hpp:99
+
Test
Definition: dom_indep_d1.cpp:6
Software::HelperStruct
Defines a struct that track meta information for probes.
Definition: Definitions.hpp:218
Software::ProbesStruct
Defines how every probe during simulation looks like.
Definition: Definitions.hpp:136
Software::ProbingSetStruct
Defines a probing set.
Definition: Definitions.hpp:268
diff --git a/docs/_probing_sets_8hpp_source.html b/docs/_probing_sets_8hpp_source.html index 60f0d52..d244fd0 100644 --- a/docs/_probing_sets_8hpp_source.html +++ b/docs/_probing_sets_8hpp_source.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
@@ -144,45 +144,46 @@
179
185 std::string PrintProbes(CircuitStruct& circuit);
186
-
187 void Deconstruct();
-
188
-
189 uint64_t GetHighestClockCycle(std::vector<Propagation<ExtensionContainer>>& propagations, std::vector<Probe>& probe_extensions);
-
190
-
191 private:
-
197 std::vector<Probe*> probe_addresses_;
-
198
-
205 std::vector<uint64_t> probe_extension_indices_;
-
206
-
211 ContingencyTable<TableBucketVector> contingency_table_;
-
212
-
213 bool should_be_removed_;
-
214};
-
215
-
216template <typename ExtensionContainer>
-
217size_t GetIndexOfMostLeakingProbingSet(std::vector<ProbingSet<ExtensionContainer>>& probing_sets, std::vector<bool>& bitmask);
-
218
-
219template <typename ExtensionContainer>
-
220uint64_t GetNumberOfRequiredTraces(std::vector<ProbingSet<ExtensionContainer>>& probing_sets, const Settings& settings);
-
221
-
222} // namespace Hardware
+
187 void DeconstructTable();
+
188 void Deconstruct();
+
189
+
190 uint64_t GetHighestClockCycle(std::vector<Propagation<ExtensionContainer>>& propagations, std::vector<Probe>& probe_extensions);
+
191
+
192 private:
+
198 std::vector<Probe*> probe_addresses_;
+
199
+
206 std::vector<uint64_t> probe_extension_indices_;
+
207
+
212 ContingencyTable<TableBucketVector> contingency_table_;
+
213
+
214 bool should_be_removed_;
+
215};
+
216
+
217template <typename ExtensionContainer>
+
218size_t GetIndexOfMostLeakingProbingSet(std::vector<ProbingSet<ExtensionContainer>>& probing_sets, std::vector<bool>& bitmask);
+
219
+
220template <typename ExtensionContainer>
+
221uint64_t GetNumberOfRequiredTraces(std::vector<ProbingSet<ExtensionContainer>>& probing_sets, const Settings& settings);
+
222
+
223} // namespace Hardware
ContingencyTable
Definition: Util.hpp:164
Hardware::ProbingSet
Definition: ProbingSets.hpp:18
-
Hardware::ProbingSet::GetProbeAddresses
std::vector< Probe * > GetProbeAddresses()
Returns the addresses of all probes in the probing set.
Definition: ProbingSets.cpp:59
+
Hardware::ProbingSet::GetProbeAddresses
std::vector< Probe * > GetProbeAddresses()
Returns the addresses of all probes in the probing set.
Definition: ProbingSets.cpp:67
Hardware::ProbingSet::SetProbes
void SetProbes(std::vector< Probe * > &probe_addresses, std::vector< uint64_t > &probe_extension_indices)
Contructs a probing set.
Definition: ProbingSets.cpp:30
Hardware::ProbingSet::ComputeNumberOfRequiredTraces
void ComputeNumberOfRequiredTraces(size_t number_of_groups, double beta_threshold, double effect_size)
Computes the number of required traces.
-
Hardware::ProbingSet::IsRemovable
bool IsRemovable()
Checks whether a probing set is already marked as removable.
Definition: ProbingSets.cpp:176
-
Hardware::ProbingSet::GetLastProbeExtension
ExtensionContainer GetLastProbeExtension()
Returns the last probe-extension in the list.
Definition: ProbingSets.cpp:107
-
Hardware::ProbingSet::PrintProbes
std::string PrintProbes(CircuitStruct &circuit)
Print all probes for the report.
Definition: ProbingSets.cpp:158
-
Hardware::ProbingSet::GetProbeExtensions
std::vector< uint64_t > GetProbeExtensions()
Returns a list with all different probe extensions.
Definition: ProbingSets.cpp:118
-
Hardware::ProbingSet::Includes
bool Includes(ProbingSet &other, std::vector< Propagation< ExtensionContainer > > &propagations)
Checks whether a probing set fully-includes another probing set.
Definition: ProbingSets.cpp:190
-
Hardware::ProbingSet::GetGValue
double GetGValue()
Checks if a particular extended probe is in the extension set..
Definition: ProbingSets.cpp:134
+
Hardware::ProbingSet::IsRemovable
bool IsRemovable()
Checks whether a probing set is already marked as removable.
Definition: ProbingSets.cpp:184
+
Hardware::ProbingSet::GetLastProbeExtension
ExtensionContainer GetLastProbeExtension()
Returns the last probe-extension in the list.
Definition: ProbingSets.cpp:115
+
Hardware::ProbingSet::PrintProbes
std::string PrintProbes(CircuitStruct &circuit)
Print all probes for the report.
Definition: ProbingSets.cpp:166
+
Hardware::ProbingSet::GetProbeExtensions
std::vector< uint64_t > GetProbeExtensions()
Returns a list with all different probe extensions.
Definition: ProbingSets.cpp:126
+
Hardware::ProbingSet::Includes
bool Includes(ProbingSet &other, std::vector< Propagation< ExtensionContainer > > &propagations)
Checks whether a probing set fully-includes another probing set.
Definition: ProbingSets.cpp:198
+
Hardware::ProbingSet::GetGValue
double GetGValue()
Checks if a particular extended probe is in the extension set..
Definition: ProbingSets.cpp:142
Hardware::ProbingSet::NormalTableUpdate
void NormalTableUpdate(const Settings &settings, Simulation &simulation, std::vector< Propagation< ExtensionContainer > > &propagations)
Updates the contingency table with new simulations in normal mode.
Hardware::ProbingSet::GetNumberOfProbeExtensions
size_t GetNumberOfProbeExtensions(std::vector< Propagation< ExtensionContainer > > &propagations)
Returns the number of probe-extensions.
-
Hardware::ProbingSet::Initialize
void Initialize(bool is_in_compact_mode, std::vector< Propagation< ExtensionContainer > > &propagations)
Initializes the contingency table.
Definition: ProbingSets.cpp:126
-
Hardware::ProbingSet::GetExtendedProbeIndex
uint64_t GetExtendedProbeIndex(size_t extended_probe_index)
Returns a certain extended probe.
Definition: ProbingSets.cpp:84
-
Hardware::ProbingSet::MarkAsRemovable
void MarkAsRemovable()
Marks the probing set as removable, i.e. strictly less informative compared to another set.
Definition: ProbingSets.cpp:183
-
Hardware::ProbingSet::GetFirstProbeExtension
ExtensionContainer GetFirstProbeExtension()
Returns the first probe-extension in the list.
Definition: ProbingSets.cpp:96
-
Hardware::ProbingSet::ComputeGTest
void ComputeGTest(uint64_t number_of_groups, uint64_t number_of_simulations, std::vector< double_t > &group_simulation_ratio)
Performs the full g-test procedure.
Definition: ProbingSets.cpp:142
+
Hardware::ProbingSet::Initialize
void Initialize(bool is_in_compact_mode, std::vector< Propagation< ExtensionContainer > > &propagations)
Initializes the contingency table.
Definition: ProbingSets.cpp:134
+
Hardware::ProbingSet::GetExtendedProbeIndex
uint64_t GetExtendedProbeIndex(size_t extended_probe_index)
Returns a certain extended probe.
Definition: ProbingSets.cpp:92
+
Hardware::ProbingSet::MarkAsRemovable
void MarkAsRemovable()
Marks the probing set as removable, i.e. strictly less informative compared to another set.
Definition: ProbingSets.cpp:191
+
Hardware::ProbingSet::GetFirstProbeExtension
ExtensionContainer GetFirstProbeExtension()
Returns the first probe-extension in the list.
Definition: ProbingSets.cpp:104
+
Hardware::ProbingSet::ComputeGTest
void ComputeGTest(uint64_t number_of_groups, uint64_t number_of_simulations, std::vector< double_t > &group_simulation_ratio)
Performs the full g-test procedure.
Definition: ProbingSets.cpp:150
Hardware::ProbingSet::operator<
bool operator<(const ProbingSet &other) const
Definition: ProbingSets.cpp:6
Hardware::Propagation
Definition: Propagation.hpp:47
Settings
Definition: Settings.hpp:99
diff --git a/docs/_program_options_8hpp.html b/docs/_program_options_8hpp.html index 2802eea..363635c 100644 --- a/docs/_program_options_8hpp.html +++ b/docs/_program_options_8hpp.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
diff --git a/docs/_program_options_8hpp_source.html b/docs/_program_options_8hpp_source.html index 30c15e9..59f57a0 100644 --- a/docs/_program_options_8hpp_source.html +++ b/docs/_program_options_8hpp_source.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
diff --git a/docs/_propagation_8hpp_source.html b/docs/_propagation_8hpp_source.html index 3a0f157..9912f14 100644 --- a/docs/_propagation_8hpp_source.html +++ b/docs/_propagation_8hpp_source.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
diff --git a/docs/_settings_8hpp_source.html b/docs/_settings_8hpp_source.html index 2f0f3b9..cd5b7cb 100644 --- a/docs/_settings_8hpp_source.html +++ b/docs/_settings_8hpp_source.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
diff --git a/docs/_shared_data_8hpp.html b/docs/_shared_data_8hpp.html index 70fea62..1970aee 100644 --- a/docs/_shared_data_8hpp.html +++ b/docs/_shared_data_8hpp.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
diff --git a/docs/_shared_data_8hpp_source.html b/docs/_shared_data_8hpp_source.html index 05ea4cb..73b68f1 100644 --- a/docs/_shared_data_8hpp_source.html +++ b/docs/_shared_data_8hpp_source.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
diff --git a/docs/_sharing_8hpp.html b/docs/_sharing_8hpp.html index 0e599ef..2ab9cf3 100644 --- a/docs/_sharing_8hpp.html +++ b/docs/_sharing_8hpp.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
diff --git a/docs/_sharing_8hpp_source.html b/docs/_sharing_8hpp_source.html index 9029a65..8582d29 100644 --- a/docs/_sharing_8hpp_source.html +++ b/docs/_sharing_8hpp_source.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
diff --git a/docs/_software_2_definitions_8hpp_source.html b/docs/_software_2_definitions_8hpp_source.html index fc00d8e..e3a663c 100644 --- a/docs/_software_2_definitions_8hpp_source.html +++ b/docs/_software_2_definitions_8hpp_source.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
diff --git a/docs/_software_2_execute_8hpp_source.html b/docs/_software_2_execute_8hpp_source.html index 5a4f8aa..3c6eeb8 100644 --- a/docs/_software_2_execute_8hpp_source.html +++ b/docs/_software_2_execute_8hpp_source.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
diff --git a/docs/_software_2_prepare_8hpp_source.html b/docs/_software_2_prepare_8hpp_source.html index 5da8089..1893067 100644 --- a/docs/_software_2_prepare_8hpp_source.html +++ b/docs/_software_2_prepare_8hpp_source.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
diff --git a/docs/_software_2_read_8hpp_source.html b/docs/_software_2_read_8hpp_source.html index 1c18a9d..19d7932 100644 --- a/docs/_software_2_read_8hpp_source.html +++ b/docs/_software_2_read_8hpp_source.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
@@ -99,7 +99,7 @@
21namespace Software{
22 namespace Read{
23 void sort(char**, int);
-
24 void SettingsFile(const std::string&, Software::SettingsStruct&, Settings&, Software::ConfigProbesStruct&, bool);
+
24 void SettingsFile(Software::SettingsStruct&, Settings&, Software::ConfigProbesStruct&, bool);
25 void BinaryFile(const po::variables_map& vm, Software::SettingsStruct&);
26 int ProbeCompare(const void* , const void* );
27 std::vector<uint8_t> read_file(const std::string&);
diff --git a/docs/_software_2_simulate_8hpp_source.html b/docs/_software_2_simulate_8hpp_source.html index 2347a79..008e9a8 100644 --- a/docs/_software_2_simulate_8hpp_source.html +++ b/docs/_software_2_simulate_8hpp_source.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
diff --git a/docs/_stuck_at_one_fault_8hpp_source.html b/docs/_stuck_at_one_fault_8hpp_source.html index 11c1e7a..c282ad2 100644 --- a/docs/_stuck_at_one_fault_8hpp_source.html +++ b/docs/_stuck_at_one_fault_8hpp_source.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
@@ -86,14 +86,14 @@
15 double fault_probability)
16 : Fault(signal_index, clock_cycle, fault_probability, FaultType::stuck_at_1) {}
17
-
24 virtual uint64_t ComputeFaultEffect(uint64_t fault_free_computation) const override {
+
24 virtual uint64_t ComputeFaultEffect(uint64_t /*fault_free_computation*/) const override {
25 return 0xffffffffffffffff;
26 }
27};
Fault.hpp
Declaration of the Fault class.
Fault
Faults are parameteriesed by a location (signal/position and time) and a fault type.
Definition: Fault.hpp:23
StuckAtOneFault
Definition: StuckAtOneFault.hpp:5
-
StuckAtOneFault::ComputeFaultEffect
virtual uint64_t ComputeFaultEffect(uint64_t fault_free_computation) const override
Computes the effect of this fault on a given fault-free computation of a signal.
Definition: StuckAtOneFault.hpp:24
+
StuckAtOneFault::ComputeFaultEffect
virtual uint64_t ComputeFaultEffect(uint64_t) const override
Computes the effect of this fault on a given fault-free computation of a signal.
Definition: StuckAtOneFault.hpp:24
StuckAtOneFault::StuckAtOneFault
StuckAtOneFault(unsigned int signal_index, unsigned int clock_cycle, double fault_probability)
Constructor of StuckAtOneFault.
Definition: StuckAtOneFault.hpp:14
diff --git a/docs/_stuck_at_zero_fault_8hpp_source.html b/docs/_stuck_at_zero_fault_8hpp_source.html index 1dde5e0..32f230e 100644 --- a/docs/_stuck_at_zero_fault_8hpp_source.html +++ b/docs/_stuck_at_zero_fault_8hpp_source.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
@@ -87,7 +87,7 @@
16 double fault_probability)
17 : Fault(signal_index, clock_cycle, fault_probability, FaultType::stuck_at_0) {}
18
-
25 virtual uint64_t ComputeFaultEffect(uint64_t fault_free_computation) const override {
+
25 virtual uint64_t ComputeFaultEffect(uint64_t /*fault_free_computation*/) const override {
26 return 0;
27 }
28};
@@ -95,7 +95,7 @@
Fault
Faults are parameteriesed by a location (signal/position and time) and a fault type.
Definition: Fault.hpp:23
StuckAtZeroFault
Definition: StuckAtZeroFault.hpp:6
StuckAtZeroFault::StuckAtZeroFault
StuckAtZeroFault(unsigned int signal_index, unsigned int clock_cycle, double fault_probability)
Constructor of StuckAtZeroFault.
Definition: StuckAtZeroFault.hpp:15
-
StuckAtZeroFault::ComputeFaultEffect
virtual uint64_t ComputeFaultEffect(uint64_t fault_free_computation) const override
Computes the effect of this fault on a given fault-free computation of a signal.
Definition: StuckAtZeroFault.hpp:25
+
StuckAtZeroFault::ComputeFaultEffect
virtual uint64_t ComputeFaultEffect(uint64_t) const override
Computes the effect of this fault on a given fault-free computation of a signal.
Definition: StuckAtZeroFault.hpp:25
diff --git a/docs/_test_8hpp_source.html b/docs/_test_8hpp_source.html index 0c9df40..bbd5ec0 100644 --- a/docs/_test_8hpp_source.html +++ b/docs/_test_8hpp_source.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
@@ -86,9 +86,9 @@
8
9namespace Software
10{
-
11 namespace Test
+
11 namespace Test
12 {
-
13 void Test(Software::ThreadSimulationStruct&, Software::TestStruct&);
+
13 void Test(Software::ThreadSimulationStruct&, Software::TestStruct&);
14 void NormalTableUpdate(Software::ThreadSimulationStruct&, unsigned int , Software::ProbingSetStruct& , Software::ProbingSetStruct& , std::vector<std::vector<std::vector<uint8_t>>>& , Software::HelperStruct&);
15 void FirstOrderTableUpdate(Software::ThreadSimulationStruct&, unsigned int , Software::ProbingSetStruct& , Software::ProbingSetStruct& , std::vector<std::vector<std::vector<uint8_t>>>& , Software::HelperStruct&);
16 void CompactFirstOrderTableUpdate(Software::ThreadSimulationStruct&, unsigned int , Software::ProbingSetStruct& , Software::ProbingSetStruct& , std::vector<std::vector<std::vector<uint8_t>>>& , Software::HelperStruct&);
@@ -99,6 +99,7 @@
21 }
22}
+
Test
Definition: dom_indep_d1.cpp:6
Software::HelperStruct
Defines a struct that track meta information for probes.
Definition: Definitions.hpp:218
Software::ProbingSetStruct
Defines a probing set.
Definition: Definitions.hpp:268
Software::TestStruct
Defines all settings belonging to the test prodecure.
Definition: Definitions.hpp:283
diff --git a/docs/_toggle_fault_8hpp_source.html b/docs/_toggle_fault_8hpp_source.html index 5f32126..7ca2e09 100644 --- a/docs/_toggle_fault_8hpp_source.html +++ b/docs/_toggle_fault_8hpp_source.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
diff --git a/docs/_truth_table_8hpp_source.html b/docs/_truth_table_8hpp_source.html index 076ae95..c81e822 100644 --- a/docs/_truth_table_8hpp_source.html +++ b/docs/_truth_table_8hpp_source.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
diff --git a/docs/_util_8hpp.html b/docs/_util_8hpp.html index 08d6370..75a0234 100644 --- a/docs/_util_8hpp.html +++ b/docs/_util_8hpp.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
diff --git a/docs/_util_8hpp_source.html b/docs/_util_8hpp_source.html index 2bab0f2..1915603 100644 --- a/docs/_util_8hpp_source.html +++ b/docs/_util_8hpp_source.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
diff --git a/docs/annotated.html b/docs/annotated.html index 1ad0dff..c02144c 100644 --- a/docs/annotated.html +++ b/docs/annotated.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
@@ -152,8 +152,9 @@  CStuckAtOneFault  CStuckAtZeroFault  CTableEntryRepresents an entry in a contingency table, containing a key and associated data - CToggleFault - CVerilogBitstringGrammarA grammar for parsing a Verilog bitstring with random values + CTest + CToggleFault + CVerilogBitstringGrammarA grammar for parsing a Verilog bitstring with random values
diff --git a/docs/architectures_8h_source.html b/docs/architectures_8h_source.html index 3d70e18..c9c21a7 100644 --- a/docs/architectures_8h_source.html +++ b/docs/architectures_8h_source.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
diff --git a/docs/arm__functions_8h_source.html b/docs/arm__functions_8h_source.html index a197270..8635797 100644 --- a/docs/arm__functions_8h_source.html +++ b/docs/arm__functions_8h_source.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
diff --git a/docs/callback__hook_8h_source.html b/docs/callback__hook_8h_source.html index ba3d93b..d08320a 100644 --- a/docs/callback__hook_8h_source.html +++ b/docs/callback__hook_8h_source.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
diff --git a/docs/class_contingency_table-members.html b/docs/class_contingency_table-members.html index ff84f13..ffd998e 100644 --- a/docs/class_contingency_table-members.html +++ b/docs/class_contingency_table-members.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
diff --git a/docs/class_contingency_table.html b/docs/class_contingency_table.html index 755419c..f31ed65 100644 --- a/docs/class_contingency_table.html +++ b/docs/class_contingency_table.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
diff --git a/docs/class_cpu_core_selector-members.html b/docs/class_cpu_core_selector-members.html index c6a00b7..50a77b9 100644 --- a/docs/class_cpu_core_selector-members.html +++ b/docs/class_cpu_core_selector-members.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
diff --git a/docs/class_cpu_core_selector.html b/docs/class_cpu_core_selector.html index 8edd3aa..672f3c9 100644 --- a/docs/class_cpu_core_selector.html +++ b/docs/class_cpu_core_selector.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
diff --git a/docs/class_cterm-members.html b/docs/class_cterm-members.html index b0e6e52..75a33f2 100644 --- a/docs/class_cterm-members.html +++ b/docs/class_cterm-members.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
diff --git a/docs/class_cterm.html b/docs/class_cterm.html index e2c3d79..4364435 100644 --- a/docs/class_cterm.html +++ b/docs/class_cterm.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
diff --git a/docs/class_fault-members.html b/docs/class_fault-members.html index 67940f1..05c14f6 100644 --- a/docs/class_fault-members.html +++ b/docs/class_fault-members.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
diff --git a/docs/class_fault.html b/docs/class_fault.html index 818bb8b..c9f3f71 100644 --- a/docs/class_fault.html +++ b/docs/class_fault.html @@ -21,7 +21,7 @@ -
diff --git a/docs/class_fault_manager-members.html b/docs/class_fault_manager-members.html index 0807a64..1672c29 100644 --- a/docs/class_fault_manager-members.html +++ b/docs/class_fault_manager-members.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
diff --git a/docs/class_fault_manager.html b/docs/class_fault_manager.html index 5435a01..65de86f 100644 --- a/docs/class_fault_manager.html +++ b/docs/class_fault_manager.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
diff --git a/docs/class_fault_set-members.html b/docs/class_fault_set-members.html index 05d6acd..4123ab3 100644 --- a/docs/class_fault_set-members.html +++ b/docs/class_fault_set-members.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
diff --git a/docs/class_fault_set.html b/docs/class_fault_set.html index c31e6ea..45550cb 100644 --- a/docs/class_fault_set.html +++ b/docs/class_fault_set.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
diff --git a/docs/class_hardware_1_1_adversaries-members.html b/docs/class_hardware_1_1_adversaries-members.html index fd0afe4..212f83b 100644 --- a/docs/class_hardware_1_1_adversaries-members.html +++ b/docs/class_hardware_1_1_adversaries-members.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
diff --git a/docs/class_hardware_1_1_adversaries.html b/docs/class_hardware_1_1_adversaries.html index 2c2e259..9897c7f 100644 --- a/docs/class_hardware_1_1_adversaries.html +++ b/docs/class_hardware_1_1_adversaries.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
diff --git a/docs/class_hardware_1_1_boolean_expression_grammar-members.html b/docs/class_hardware_1_1_boolean_expression_grammar-members.html index 108e008..05b90b3 100644 --- a/docs/class_hardware_1_1_boolean_expression_grammar-members.html +++ b/docs/class_hardware_1_1_boolean_expression_grammar-members.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
diff --git a/docs/class_hardware_1_1_boolean_expression_grammar.html b/docs/class_hardware_1_1_boolean_expression_grammar.html index 7a92ea8..d5b4547 100644 --- a/docs/class_hardware_1_1_boolean_expression_grammar.html +++ b/docs/class_hardware_1_1_boolean_expression_grammar.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
diff --git a/docs/class_hardware_1_1_cell-members.html b/docs/class_hardware_1_1_cell-members.html index 11ecbbc..2c492c0 100644 --- a/docs/class_hardware_1_1_cell-members.html +++ b/docs/class_hardware_1_1_cell-members.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
diff --git a/docs/class_hardware_1_1_cell.html b/docs/class_hardware_1_1_cell.html index af32e98..a41668e 100644 --- a/docs/class_hardware_1_1_cell.html +++ b/docs/class_hardware_1_1_cell.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
diff --git a/docs/class_hardware_1_1_custom_operation-members.html b/docs/class_hardware_1_1_custom_operation-members.html index fa2414e..884c82e 100644 --- a/docs/class_hardware_1_1_custom_operation-members.html +++ b/docs/class_hardware_1_1_custom_operation-members.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
diff --git a/docs/class_hardware_1_1_custom_operation.html b/docs/class_hardware_1_1_custom_operation.html index cc94ef3..fc5918c 100644 --- a/docs/class_hardware_1_1_custom_operation.html +++ b/docs/class_hardware_1_1_custom_operation.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
diff --git a/docs/class_hardware_1_1_enabler-members.html b/docs/class_hardware_1_1_enabler-members.html index fc8e602..54aaad7 100644 --- a/docs/class_hardware_1_1_enabler-members.html +++ b/docs/class_hardware_1_1_enabler-members.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
diff --git a/docs/class_hardware_1_1_enabler.html b/docs/class_hardware_1_1_enabler.html index e6db37a..8a5b508 100644 --- a/docs/class_hardware_1_1_enabler.html +++ b/docs/class_hardware_1_1_enabler.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
diff --git a/docs/class_hardware_1_1_iterate_enablers-members.html b/docs/class_hardware_1_1_iterate_enablers-members.html index 800a2c6..7f6b003 100644 --- a/docs/class_hardware_1_1_iterate_enablers-members.html +++ b/docs/class_hardware_1_1_iterate_enablers-members.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
diff --git a/docs/class_hardware_1_1_iterate_enablers.html b/docs/class_hardware_1_1_iterate_enablers.html index 50514a5..ed3f2b8 100644 --- a/docs/class_hardware_1_1_iterate_enablers.html +++ b/docs/class_hardware_1_1_iterate_enablers.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
diff --git a/docs/class_hardware_1_1_library-members.html b/docs/class_hardware_1_1_library-members.html index 7e6db8e..be624ac 100644 --- a/docs/class_hardware_1_1_library-members.html +++ b/docs/class_hardware_1_1_library-members.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
diff --git a/docs/class_hardware_1_1_library.html b/docs/class_hardware_1_1_library.html index 42d65a5..241c67b 100644 --- a/docs/class_hardware_1_1_library.html +++ b/docs/class_hardware_1_1_library.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
diff --git a/docs/class_hardware_1_1_operation-members.html b/docs/class_hardware_1_1_operation-members.html index e9d6e31..208788d 100644 --- a/docs/class_hardware_1_1_operation-members.html +++ b/docs/class_hardware_1_1_operation-members.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
diff --git a/docs/class_hardware_1_1_operation.html b/docs/class_hardware_1_1_operation.html index 1995414..79aac76 100644 --- a/docs/class_hardware_1_1_operation.html +++ b/docs/class_hardware_1_1_operation.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
diff --git a/docs/class_hardware_1_1_printer-members.html b/docs/class_hardware_1_1_printer-members.html index 96c8457..bdc7255 100644 --- a/docs/class_hardware_1_1_printer-members.html +++ b/docs/class_hardware_1_1_printer-members.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
diff --git a/docs/class_hardware_1_1_printer.html b/docs/class_hardware_1_1_printer.html index 16aaa04..18782db 100644 --- a/docs/class_hardware_1_1_printer.html +++ b/docs/class_hardware_1_1_printer.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
diff --git a/docs/class_hardware_1_1_probe-members.html b/docs/class_hardware_1_1_probe-members.html index f4986ff..9a62a03 100644 --- a/docs/class_hardware_1_1_probe-members.html +++ b/docs/class_hardware_1_1_probe-members.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
diff --git a/docs/class_hardware_1_1_probe.html b/docs/class_hardware_1_1_probe.html index b6b9c7e..643a2cc 100644 --- a/docs/class_hardware_1_1_probe.html +++ b/docs/class_hardware_1_1_probe.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
diff --git a/docs/class_hardware_1_1_probing_set-members.html b/docs/class_hardware_1_1_probing_set-members.html index 19d8285..f96dc64 100644 --- a/docs/class_hardware_1_1_probing_set-members.html +++ b/docs/class_hardware_1_1_probing_set-members.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
@@ -85,33 +85,34 @@ ComputeGTest(uint64_t number_of_groups, uint64_t number_of_simulations, std::vector< double_t > &group_simulation_ratio)Hardware::ProbingSet< ExtensionContainer > ComputeNumberOfRequiredTraces(size_t number_of_groups, double beta_threshold, double effect_size)Hardware::ProbingSet< ExtensionContainer > Deconstruct() (defined in Hardware::ProbingSet< ExtensionContainer >)Hardware::ProbingSet< ExtensionContainer > - GetExtendedProbeIndex(size_t extended_probe_index)Hardware::ProbingSet< ExtensionContainer > - GetFirstProbeExtension()Hardware::ProbingSet< ExtensionContainer > - GetGValue()Hardware::ProbingSet< ExtensionContainer > - GetHighestClockCycle(std::vector< Propagation< ExtensionContainer > > &propagations, std::vector< Probe > &probe_extensions) (defined in Hardware::ProbingSet< ExtensionContainer >)Hardware::ProbingSet< ExtensionContainer > - GetHighestClockCycle(std::vector< Propagation< RobustProbe > > &, std::vector< Probe > &probe_extensions) (defined in Hardware::ProbingSet< ExtensionContainer >)Hardware::ProbingSet< ExtensionContainer > - GetHighestClockCycle(std::vector< Propagation< RelaxedProbe > > &propagations, std::vector< Probe > &probe_extensions) (defined in Hardware::ProbingSet< ExtensionContainer >)Hardware::ProbingSet< ExtensionContainer > - GetLastProbeExtension()Hardware::ProbingSet< ExtensionContainer > - GetNumberOfEntries() (defined in Hardware::ProbingSet< ExtensionContainer >)Hardware::ProbingSet< ExtensionContainer > - GetNumberOfProbeAddresses() (defined in Hardware::ProbingSet< ExtensionContainer >)Hardware::ProbingSet< ExtensionContainer >inline - GetNumberOfProbeExtensions(std::vector< Propagation< ExtensionContainer > > &propagations)Hardware::ProbingSet< ExtensionContainer > - GetNumberOfProbeExtensions(std::vector< Propagation< RobustProbe > > &) (defined in Hardware::ProbingSet< ExtensionContainer >)Hardware::ProbingSet< ExtensionContainer > - GetNumberOfProbeExtensions(std::vector< Propagation< RelaxedProbe > > &propagations) (defined in Hardware::ProbingSet< ExtensionContainer >)Hardware::ProbingSet< ExtensionContainer > - GetProbeAddresses()Hardware::ProbingSet< ExtensionContainer > - GetProbeExtensions()Hardware::ProbingSet< ExtensionContainer > - Includes(ProbingSet &other, std::vector< Propagation< ExtensionContainer > > &propagations)Hardware::ProbingSet< ExtensionContainer > - Initialize(bool is_in_compact_mode, std::vector< Propagation< ExtensionContainer > > &propagations)Hardware::ProbingSet< ExtensionContainer > - IsRemovable()Hardware::ProbingSet< ExtensionContainer > - MarkAsRemovable()Hardware::ProbingSet< ExtensionContainer > - NormalTableUpdate(const Settings &settings, Simulation &simulation, std::vector< Propagation< ExtensionContainer > > &propagations)Hardware::ProbingSet< ExtensionContainer > - NormalTableUpdate(const Settings &settings, Simulation &simulation, std::vector< Propagation< RobustProbe > > &propagations) (defined in Hardware::ProbingSet< ExtensionContainer >)Hardware::ProbingSet< ExtensionContainer > - NormalTableUpdate(const Settings &settings, Simulation &simulation, std::vector< Propagation< RelaxedProbe > > &propagations) (defined in Hardware::ProbingSet< ExtensionContainer >)Hardware::ProbingSet< ExtensionContainer > - operator!=(const ProbingSet &other) const (defined in Hardware::ProbingSet< ExtensionContainer >)Hardware::ProbingSet< ExtensionContainer > - operator<(const ProbingSet &other) constHardware::ProbingSet< ExtensionContainer > - operator==(const ProbingSet &other) const (defined in Hardware::ProbingSet< ExtensionContainer >)Hardware::ProbingSet< ExtensionContainer > - PrintProbes(CircuitStruct &circuit)Hardware::ProbingSet< ExtensionContainer > - ProbingSet() (defined in Hardware::ProbingSet< ExtensionContainer >)Hardware::ProbingSet< ExtensionContainer > - SetProbes(std::vector< Probe * > &probe_addresses, std::vector< uint64_t > &probe_extension_indices)Hardware::ProbingSet< ExtensionContainer > + DeconstructTable() (defined in Hardware::ProbingSet< ExtensionContainer >)Hardware::ProbingSet< ExtensionContainer > + GetExtendedProbeIndex(size_t extended_probe_index)Hardware::ProbingSet< ExtensionContainer > + GetFirstProbeExtension()Hardware::ProbingSet< ExtensionContainer > + GetGValue()Hardware::ProbingSet< ExtensionContainer > + GetHighestClockCycle(std::vector< Propagation< ExtensionContainer > > &propagations, std::vector< Probe > &probe_extensions) (defined in Hardware::ProbingSet< ExtensionContainer >)Hardware::ProbingSet< ExtensionContainer > + GetHighestClockCycle(std::vector< Propagation< RobustProbe > > &, std::vector< Probe > &probe_extensions) (defined in Hardware::ProbingSet< ExtensionContainer >)Hardware::ProbingSet< ExtensionContainer > + GetHighestClockCycle(std::vector< Propagation< RelaxedProbe > > &propagations, std::vector< Probe > &probe_extensions) (defined in Hardware::ProbingSet< ExtensionContainer >)Hardware::ProbingSet< ExtensionContainer > + GetLastProbeExtension()Hardware::ProbingSet< ExtensionContainer > + GetNumberOfEntries() (defined in Hardware::ProbingSet< ExtensionContainer >)Hardware::ProbingSet< ExtensionContainer > + GetNumberOfProbeAddresses() (defined in Hardware::ProbingSet< ExtensionContainer >)Hardware::ProbingSet< ExtensionContainer >inline + GetNumberOfProbeExtensions(std::vector< Propagation< ExtensionContainer > > &propagations)Hardware::ProbingSet< ExtensionContainer > + GetNumberOfProbeExtensions(std::vector< Propagation< RobustProbe > > &) (defined in Hardware::ProbingSet< ExtensionContainer >)Hardware::ProbingSet< ExtensionContainer > + GetNumberOfProbeExtensions(std::vector< Propagation< RelaxedProbe > > &propagations) (defined in Hardware::ProbingSet< ExtensionContainer >)Hardware::ProbingSet< ExtensionContainer > + GetProbeAddresses()Hardware::ProbingSet< ExtensionContainer > + GetProbeExtensions()Hardware::ProbingSet< ExtensionContainer > + Includes(ProbingSet &other, std::vector< Propagation< ExtensionContainer > > &propagations)Hardware::ProbingSet< ExtensionContainer > + Initialize(bool is_in_compact_mode, std::vector< Propagation< ExtensionContainer > > &propagations)Hardware::ProbingSet< ExtensionContainer > + IsRemovable()Hardware::ProbingSet< ExtensionContainer > + MarkAsRemovable()Hardware::ProbingSet< ExtensionContainer > + NormalTableUpdate(const Settings &settings, Simulation &simulation, std::vector< Propagation< ExtensionContainer > > &propagations)Hardware::ProbingSet< ExtensionContainer > + NormalTableUpdate(const Settings &settings, Simulation &simulation, std::vector< Propagation< RobustProbe > > &propagations) (defined in Hardware::ProbingSet< ExtensionContainer >)Hardware::ProbingSet< ExtensionContainer > + NormalTableUpdate(const Settings &settings, Simulation &simulation, std::vector< Propagation< RelaxedProbe > > &propagations) (defined in Hardware::ProbingSet< ExtensionContainer >)Hardware::ProbingSet< ExtensionContainer > + operator!=(const ProbingSet &other) const (defined in Hardware::ProbingSet< ExtensionContainer >)Hardware::ProbingSet< ExtensionContainer > + operator<(const ProbingSet &other) constHardware::ProbingSet< ExtensionContainer > + operator==(const ProbingSet &other) const (defined in Hardware::ProbingSet< ExtensionContainer >)Hardware::ProbingSet< ExtensionContainer > + PrintProbes(CircuitStruct &circuit)Hardware::ProbingSet< ExtensionContainer > + ProbingSet() (defined in Hardware::ProbingSet< ExtensionContainer >)Hardware::ProbingSet< ExtensionContainer > + SetProbes(std::vector< Probe * > &probe_addresses, std::vector< uint64_t > &probe_extension_indices)Hardware::ProbingSet< ExtensionContainer >
diff --git a/docs/class_hardware_1_1_probing_set.html b/docs/class_hardware_1_1_probing_set.html index bfe8790..a7f96aa 100644 --- a/docs/class_hardware_1_1_probing_set.html +++ b/docs/class_hardware_1_1_probing_set.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
@@ -149,6 +149,9 @@ std::string PrintProbes (CircuitStruct &circuit)  Print all probes for the report.
  + +void DeconstructTable () +  void Deconstruct ()   diff --git a/docs/class_hardware_1_1_propagation-members.html b/docs/class_hardware_1_1_propagation-members.html index 172a110..89de049 100644 --- a/docs/class_hardware_1_1_propagation-members.html +++ b/docs/class_hardware_1_1_propagation-members.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
@@ -102,7 +102,7 @@ GetSignalIndex()Hardware::Propagation< ExtensionContainer > IsObsolete(const Library &library, const CircuitStruct &circuit, const Settings &settings) (defined in Hardware::Propagation< ExtensionContainer >)Hardware::Propagation< ExtensionContainer > IsObsolete(const Library &library, const CircuitStruct &circuit, const Settings &settings) (defined in Hardware::Propagation< ExtensionContainer >)Hardware::Propagation< ExtensionContainer > - IsObsolete(const Library &library, const CircuitStruct &circuit, const Settings &settings) (defined in Hardware::Propagation< ExtensionContainer >)Hardware::Propagation< ExtensionContainer > + IsObsolete(const Library &, const CircuitStruct &circuit, const Settings &) (defined in Hardware::Propagation< ExtensionContainer >)Hardware::Propagation< ExtensionContainer > operator==(const Propagation &other) const (defined in Hardware::Propagation< ExtensionContainer >)Hardware::Propagation< ExtensionContainer > operator==(const Propagation< RobustProbe > &other) const (defined in Hardware::Propagation< ExtensionContainer >)Hardware::Propagation< ExtensionContainer > operator==(const Propagation< RelaxedProbe > &other) const (defined in Hardware::Propagation< ExtensionContainer >)Hardware::Propagation< ExtensionContainer > diff --git a/docs/class_hardware_1_1_propagation.html b/docs/class_hardware_1_1_propagation.html index 3e08dd7..8058664 100644 --- a/docs/class_hardware_1_1_propagation.html +++ b/docs/class_hardware_1_1_propagation.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
@@ -186,9 +186,9 @@ bool IsObsolete (const Library &library, const CircuitStruct &circuit, const Settings &settings)   - -bool IsObsolete (const Library &library, const CircuitStruct &circuit, const Settings &settings) -  + +bool IsObsolete (const Library &, const CircuitStruct &circuit, const Settings &) +  Propagation< RelaxedProbe > ExtendWithTime (uint64_t clock_cycle, std::vector< Probe > &probes, std::vector< Enabler< CustomOperation > > &enabler)   diff --git a/docs/class_hardware_1_1_relaxed_probe-members.html b/docs/class_hardware_1_1_relaxed_probe-members.html index 7559d81..536ede4 100644 --- a/docs/class_hardware_1_1_relaxed_probe-members.html +++ b/docs/class_hardware_1_1_relaxed_probe-members.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
diff --git a/docs/class_hardware_1_1_relaxed_probe.html b/docs/class_hardware_1_1_relaxed_probe.html index d6f6f1c..3f2c493 100644 --- a/docs/class_hardware_1_1_relaxed_probe.html +++ b/docs/class_hardware_1_1_relaxed_probe.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
diff --git a/docs/class_hardware_1_1_truth_table-members.html b/docs/class_hardware_1_1_truth_table-members.html index 6bc0acb..ae216bd 100644 --- a/docs/class_hardware_1_1_truth_table-members.html +++ b/docs/class_hardware_1_1_truth_table-members.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
diff --git a/docs/class_hardware_1_1_truth_table.html b/docs/class_hardware_1_1_truth_table.html index 31dcda7..3372fef 100644 --- a/docs/class_hardware_1_1_truth_table.html +++ b/docs/class_hardware_1_1_truth_table.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
diff --git a/docs/class_input_assignment-members.html b/docs/class_input_assignment-members.html index 85f6172..e365349 100644 --- a/docs/class_input_assignment-members.html +++ b/docs/class_input_assignment-members.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
diff --git a/docs/class_input_assignment.html b/docs/class_input_assignment.html index 76f18e4..e414e79 100644 --- a/docs/class_input_assignment.html +++ b/docs/class_input_assignment.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
diff --git a/docs/class_input_assignment_grammar-members.html b/docs/class_input_assignment_grammar-members.html index febb0db..fd385ab 100644 --- a/docs/class_input_assignment_grammar-members.html +++ b/docs/class_input_assignment_grammar-members.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
diff --git a/docs/class_input_assignment_grammar.html b/docs/class_input_assignment_grammar.html index bc1a7d7..e723fdd 100644 --- a/docs/class_input_assignment_grammar.html +++ b/docs/class_input_assignment_grammar.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
diff --git a/docs/class_integer_range_grammar-members.html b/docs/class_integer_range_grammar-members.html index 386a435..b91af0c 100644 --- a/docs/class_integer_range_grammar-members.html +++ b/docs/class_integer_range_grammar-members.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
diff --git a/docs/class_integer_range_grammar.html b/docs/class_integer_range_grammar.html index 360c286..f84651a 100644 --- a/docs/class_integer_range_grammar.html +++ b/docs/class_integer_range_grammar.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
diff --git a/docs/class_irreducible_polynomial_grammar-members.html b/docs/class_irreducible_polynomial_grammar-members.html index a6a9455..1f3727d 100644 --- a/docs/class_irreducible_polynomial_grammar-members.html +++ b/docs/class_irreducible_polynomial_grammar-members.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
diff --git a/docs/class_irreducible_polynomial_grammar.html b/docs/class_irreducible_polynomial_grammar.html index f529fba..f501477 100644 --- a/docs/class_irreducible_polynomial_grammar.html +++ b/docs/class_irreducible_polynomial_grammar.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
diff --git a/docs/class_program_options-members.html b/docs/class_program_options-members.html index b661b4b..f86025f 100644 --- a/docs/class_program_options-members.html +++ b/docs/class_program_options-members.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
diff --git a/docs/class_program_options.html b/docs/class_program_options.html index 7504a31..a569960 100644 --- a/docs/class_program_options.html +++ b/docs/class_program_options.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
diff --git a/docs/class_settings-members.html b/docs/class_settings-members.html index 337b6c3..6dfc134 100644 --- a/docs/class_settings-members.html +++ b/docs/class_settings-members.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
diff --git a/docs/class_settings.html b/docs/class_settings.html index dfe1362..5c3f7a7 100644 --- a/docs/class_settings.html +++ b/docs/class_settings.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
diff --git a/docs/class_shared_data-members.html b/docs/class_shared_data-members.html index 5db359d..aa7cfea 100644 --- a/docs/class_shared_data-members.html +++ b/docs/class_shared_data-members.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
diff --git a/docs/class_shared_data.html b/docs/class_shared_data.html index dc74d2b..078f2ae 100644 --- a/docs/class_shared_data.html +++ b/docs/class_shared_data.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
diff --git a/docs/class_sharing-members.html b/docs/class_sharing-members.html index f2a97f3..066decf 100644 --- a/docs/class_sharing-members.html +++ b/docs/class_sharing-members.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
diff --git a/docs/class_sharing.html b/docs/class_sharing.html index 116582a..9e93e9a 100644 --- a/docs/class_sharing.html +++ b/docs/class_sharing.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
diff --git a/docs/class_signal_name_grammar-members.html b/docs/class_signal_name_grammar-members.html index decfc56..09a87ff 100644 --- a/docs/class_signal_name_grammar-members.html +++ b/docs/class_signal_name_grammar-members.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
diff --git a/docs/class_signal_name_grammar.html b/docs/class_signal_name_grammar.html index e8d70db..902861b 100644 --- a/docs/class_signal_name_grammar.html +++ b/docs/class_signal_name_grammar.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
diff --git a/docs/class_simulation-members.html b/docs/class_simulation-members.html index aa15130..5dffddd 100644 --- a/docs/class_simulation-members.html +++ b/docs/class_simulation-members.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
diff --git a/docs/class_simulation.html b/docs/class_simulation.html index 79d0fab..b051101 100644 --- a/docs/class_simulation.html +++ b/docs/class_simulation.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
diff --git a/docs/class_stuck_at_one_fault-members.html b/docs/class_stuck_at_one_fault-members.html index 91ce7bb..5e64630 100644 --- a/docs/class_stuck_at_one_fault-members.html +++ b/docs/class_stuck_at_one_fault-members.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
@@ -75,7 +75,7 @@

This is the complete list of members for StuckAtOneFault, including all inherited members.

- + diff --git a/docs/class_stuck_at_one_fault.html b/docs/class_stuck_at_one_fault.html index dcaf07c..09b9624 100644 --- a/docs/class_stuck_at_one_fault.html +++ b/docs/class_stuck_at_one_fault.html @@ -21,7 +21,7 @@ @@ -90,9 +90,9 @@ - - - + + + @@ -170,8 +170,8 @@

Member Function Documentation

- -

◆ ComputeFaultEffect()

+ +

◆ ComputeFaultEffect()

@@ -183,7 +183,7 @@

virtual uint64_t StuckAtOneFault::ComputeFaultEffect

- +
ComputeFaultEffect(uint64_t fault_free_computation) const overrideStuckAtOneFaultinlinevirtual
ComputeFaultEffect(uint64_t) const overrideStuckAtOneFaultinlinevirtual
Fault(uint64_t signal_index, uint64_t clock_cycle, double fault_probability, FaultType fault_type)Fault
GetClockCycle() constFault
GetFaultProbability() constFault
-
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
 StuckAtOneFault (unsigned int signal_index, unsigned int clock_cycle, double fault_probability)
 Constructor of StuckAtOneFault.
 
virtual uint64_t ComputeFaultEffect (uint64_t fault_free_computation) const override
 Computes the effect of this fault on a given fault-free computation of a signal.
 
virtual uint64_t ComputeFaultEffect (uint64_t) const override
 Computes the effect of this fault on a given fault-free computation of a signal.
 
- Public Member Functions inherited from Fault
 Fault (uint64_t signal_index, uint64_t clock_cycle, double fault_probability, FaultType fault_type)
 Constructor of Fault.
( uint64_t fault_free_computation)) const
diff --git a/docs/class_stuck_at_zero_fault-members.html b/docs/class_stuck_at_zero_fault-members.html index 43a32b5..9fb88c8 100644 --- a/docs/class_stuck_at_zero_fault-members.html +++ b/docs/class_stuck_at_zero_fault-members.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
@@ -75,7 +75,7 @@

This is the complete list of members for StuckAtZeroFault, including all inherited members.

- + diff --git a/docs/class_stuck_at_zero_fault.html b/docs/class_stuck_at_zero_fault.html index e8638cd..2f93688 100644 --- a/docs/class_stuck_at_zero_fault.html +++ b/docs/class_stuck_at_zero_fault.html @@ -21,7 +21,7 @@ @@ -90,9 +90,9 @@ - - - + + + @@ -170,8 +170,8 @@

Member Function Documentation

- -

◆ ComputeFaultEffect()

+ +

◆ ComputeFaultEffect()

@@ -183,7 +183,7 @@

virtual uint64_t StuckAtZeroFault::ComputeFaultEffect

- +
ComputeFaultEffect(uint64_t fault_free_computation) const overrideStuckAtZeroFaultinlinevirtual
ComputeFaultEffect(uint64_t) const overrideStuckAtZeroFaultinlinevirtual
Fault(uint64_t signal_index, uint64_t clock_cycle, double fault_probability, FaultType fault_type)Fault
GetClockCycle() constFault
GetFaultProbability() constFault
-
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
 StuckAtZeroFault (unsigned int signal_index, unsigned int clock_cycle, double fault_probability)
 Constructor of StuckAtZeroFault.
 
virtual uint64_t ComputeFaultEffect (uint64_t fault_free_computation) const override
 Computes the effect of this fault on a given fault-free computation of a signal.
 
virtual uint64_t ComputeFaultEffect (uint64_t) const override
 Computes the effect of this fault on a given fault-free computation of a signal.
 
- Public Member Functions inherited from Fault
 Fault (uint64_t signal_index, uint64_t clock_cycle, double fault_probability, FaultType fault_type)
 Constructor of Fault.
( uint64_t fault_free_computation)) const
diff --git a/docs/class_table_entry-members.html b/docs/class_table_entry-members.html index c6d313b..7a90265 100644 --- a/docs/class_table_entry-members.html +++ b/docs/class_table_entry-members.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
diff --git a/docs/class_table_entry.html b/docs/class_table_entry.html index b4aac42..c05b2f7 100644 --- a/docs/class_table_entry.html +++ b/docs/class_table_entry.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
diff --git a/docs/class_test-members.html b/docs/class_test-members.html index 1657b71..ff469ed 100644 --- a/docs/class_test-members.html +++ b/docs/class_test-members.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
@@ -83,6 +83,10 @@ Require(bool leakage_expected, uint64_t number_of_propagations, uint64_t number_of_standard_probes, uint64_t number_of_probe_extensions, uint64_t number_of_probing_sets) (defined in Test)Testinline Require(bool leakage_expected, uint64_t number_of_propagations, uint64_t number_of_standard_probes, uint64_t number_of_probe_extensions, uint64_t number_of_probing_sets) (defined in Test)Testinline Require(bool leakage_expected, uint64_t number_of_propagations, uint64_t number_of_standard_probes, uint64_t number_of_probe_extensions, uint64_t number_of_probing_sets) (defined in Test)Testinline + Require(bool leakage_expected, uint64_t number_of_propagations, uint64_t number_of_standard_probes, uint64_t number_of_probe_extensions, uint64_t number_of_probing_sets) (defined in Test)Testinline + Require(bool leakage_expected, uint64_t number_of_propagations, uint64_t number_of_standard_probes, uint64_t number_of_probe_extensions, uint64_t number_of_probing_sets) (defined in Test)Testinline + Test(double maximum_leakage, uint64_t number_of_propagations, uint64_t number_of_standard_probes, uint64_t number_of_probe_extensions, uint64_t number_of_probing_sets) (defined in Test)Testinline + Test(double maximum_leakage, uint64_t number_of_propagations, uint64_t number_of_standard_probes, uint64_t number_of_probe_extensions, uint64_t number_of_probing_sets) (defined in Test)Testinline Test(double maximum_leakage, uint64_t number_of_propagations, uint64_t number_of_standard_probes, uint64_t number_of_probe_extensions, uint64_t number_of_probing_sets) (defined in Test)Testinline Test(double maximum_leakage, uint64_t number_of_propagations, uint64_t number_of_standard_probes, uint64_t number_of_probe_extensions, uint64_t number_of_probing_sets) (defined in Test)Testinline Test(double maximum_leakage, uint64_t number_of_propagations, uint64_t number_of_standard_probes, uint64_t number_of_probe_extensions, uint64_t number_of_probing_sets) (defined in Test)Testinline diff --git a/docs/class_test.html b/docs/class_test.html index 04d85d5..f4ab3ef 100644 --- a/docs/class_test.html +++ b/docs/class_test.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
@@ -126,16 +126,30 @@ bool Require (bool leakage_expected, uint64_t number_of_propagations, uint64_t number_of_standard_probes, uint64_t number_of_probe_extensions, uint64_t number_of_probing_sets)   + + Test (double maximum_leakage, uint64_t number_of_propagations, uint64_t number_of_standard_probes, uint64_t number_of_probe_extensions, uint64_t number_of_probing_sets) +  + +bool Require (bool leakage_expected, uint64_t number_of_propagations, uint64_t number_of_standard_probes, uint64_t number_of_probe_extensions, uint64_t number_of_probing_sets) +  + + Test (double maximum_leakage, uint64_t number_of_propagations, uint64_t number_of_standard_probes, uint64_t number_of_probe_extensions, uint64_t number_of_probing_sets) +  + +bool Require (bool leakage_expected, uint64_t number_of_propagations, uint64_t number_of_standard_probes, uint64_t number_of_probe_extensions, uint64_t number_of_probing_sets) + 
The documentation for this class was generated from the following files:
    -
  • PROLEAD/ut/full/dom_indep_d1/dom_indep_d1.cpp
    • -
  • PROLEAD/ut/full/dom_indep_d1_analysis/dom_indep_d1_analysis.cpp
    • -
  • PROLEAD/ut/full/dom_indep_d1_extension/dom_indep_d1_extension.cpp
    • -
  • PROLEAD/ut/full/dom_indep_d1_fault_as_probe/dom_indep_d1_fault_as_probe.cpp
    • -
  • PROLEAD/ut/full/dom_indep_d1_faulty_rand/dom_indep_d1_faulty_rand.cpp
    • -
  • PROLEAD/ut/full/dom_indep_d1_non_flatten/dom_indep_d1_non_flatten.cpp
    • -
  • PROLEAD/ut/full/dom_indep_d1_placement/dom_indep_d1_placement.cpp
    • -
  • PROLEAD/ut/full/lmdpl_and_d1/lmdpl_and_d1.cpp
    • +
  • PROLEAD/tests/full/dom_indep_d1/dom_indep_d1.cpp
    • +
  • PROLEAD/tests/full/dom_indep_d1_analysis/dom_indep_d1_analysis.cpp
    • +
  • PROLEAD/tests/full/dom_indep_d1_extension/dom_indep_d1_extension.cpp
    • +
  • PROLEAD/tests/full/dom_indep_d1_fault_as_probe/dom_indep_d1_fault_as_probe.cpp
    • +
  • PROLEAD/tests/full/dom_indep_d1_faulty_rand/dom_indep_d1_faulty_rand.cpp
    • +
  • PROLEAD/tests/full/dom_indep_d1_non_flatten/dom_indep_d1_non_flatten.cpp
    • +
  • PROLEAD/tests/full/dom_indep_d1_placement/dom_indep_d1_placement.cpp
    • +
  • PROLEAD/tests/full/dom_indep_d2/dom_indep_d2.cpp
    • +
  • PROLEAD/tests/full/lmdpl_and_d1/lmdpl_and_d1.cpp
    • +
  • PROLEAD/tests/full/lmdpl_and_d1_3_ANDs_induce_glitch/lmdpl_and_d1_3_ANDs_induce_glitch.cpp
diff --git a/docs/class_toggle_fault-members.html b/docs/class_toggle_fault-members.html index 6aba76b..3ebca67 100644 --- a/docs/class_toggle_fault-members.html +++ b/docs/class_toggle_fault-members.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
diff --git a/docs/class_toggle_fault.html b/docs/class_toggle_fault.html index 18e43dd..1fb1fba 100644 --- a/docs/class_toggle_fault.html +++ b/docs/class_toggle_fault.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
diff --git a/docs/class_verilog_bitstring_grammar-members.html b/docs/class_verilog_bitstring_grammar-members.html index 058200c..dfa4ba7 100644 --- a/docs/class_verilog_bitstring_grammar-members.html +++ b/docs/class_verilog_bitstring_grammar-members.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
diff --git a/docs/class_verilog_bitstring_grammar.html b/docs/class_verilog_bitstring_grammar.html index 8436718..22d2041 100644 --- a/docs/class_verilog_bitstring_grammar.html +++ b/docs/class_verilog_bitstring_grammar.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
diff --git a/docs/classdflipfloplw1in-members.html b/docs/classdflipfloplw1in-members.html index 970fb07..f6525a9 100644 --- a/docs/classdflipfloplw1in-members.html +++ b/docs/classdflipfloplw1in-members.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
diff --git a/docs/classdflipfloplw1in.html b/docs/classdflipfloplw1in.html index 9a57749..9d52a3c 100644 --- a/docs/classdflipfloplw1in.html +++ b/docs/classdflipfloplw1in.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
diff --git a/docs/classes.html b/docs/classes.html index be6aa3d..0c1c5d8 100644 --- a/docs/classes.html +++ b/docs/classes.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
@@ -121,7 +121,7 @@
Settings
SettingsStruct (Software)
SharedData
SharedDataStruct (Software)
sharedSbox
Sharing
SideChannelAnalysisSettings
SignalNameGrammar
SignalStruct (Hardware)
Simulation
SimulationSettings
SimulationStruct (Software)
SoftwareSettings
StuckAtOneFault
StuckAtZeroFault
T
-
TableEntry
TestStruct (Software)
ThreadSimulationStruct (Software)
ToggleFault
TruthTable (Hardware)
+
TableEntry
Test
TestStruct (Software)
ThreadSimulationStruct (Software)
ToggleFault
TruthTable (Hardware)
V
VerilogBitstringGrammar
diff --git a/docs/classf1_b_o_o_m-members.html b/docs/classf1_b_o_o_m-members.html index fcbbf73..6229bda 100644 --- a/docs/classf1_b_o_o_m-members.html +++ b/docs/classf1_b_o_o_m-members.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
diff --git a/docs/classf1_b_o_o_m.html b/docs/classf1_b_o_o_m.html index 607506e..090673b 100644 --- a/docs/classf1_b_o_o_m.html +++ b/docs/classf1_b_o_o_m.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
diff --git a/docs/classf2_b_o_o_m-members.html b/docs/classf2_b_o_o_m-members.html index 44be6ff..8c851cc 100644 --- a/docs/classf2_b_o_o_m-members.html +++ b/docs/classf2_b_o_o_m-members.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
diff --git a/docs/classf2_b_o_o_m.html b/docs/classf2_b_o_o_m.html index 3067e77..39cdc11 100644 --- a/docs/classf2_b_o_o_m.html +++ b/docs/classf2_b_o_o_m.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
diff --git a/docs/classf3_b_o_o_m-members.html b/docs/classf3_b_o_o_m-members.html index c79b7a7..262fc18 100644 --- a/docs/classf3_b_o_o_m-members.html +++ b/docs/classf3_b_o_o_m-members.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
diff --git a/docs/classf3_b_o_o_m.html b/docs/classf3_b_o_o_m.html index 9f59e73..c81be0f 100644 --- a/docs/classf3_b_o_o_m.html +++ b/docs/classf3_b_o_o_m.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
diff --git a/docs/classg1_b_o_o_m-members.html b/docs/classg1_b_o_o_m-members.html index eba5586..57a282d 100644 --- a/docs/classg1_b_o_o_m-members.html +++ b/docs/classg1_b_o_o_m-members.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
diff --git a/docs/classg1_b_o_o_m.html b/docs/classg1_b_o_o_m.html index 45d6c57..f0098b0 100644 --- a/docs/classg1_b_o_o_m.html +++ b/docs/classg1_b_o_o_m.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
diff --git a/docs/classg2_b_o_o_m-members.html b/docs/classg2_b_o_o_m-members.html index efeed3a..64df8d7 100644 --- a/docs/classg2_b_o_o_m-members.html +++ b/docs/classg2_b_o_o_m-members.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
diff --git a/docs/classg2_b_o_o_m.html b/docs/classg2_b_o_o_m.html index ef87d9d..d9fed12 100644 --- a/docs/classg2_b_o_o_m.html +++ b/docs/classg2_b_o_o_m.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
diff --git a/docs/classg3_b_o_o_m-members.html b/docs/classg3_b_o_o_m-members.html index 2e13f41..739b353 100644 --- a/docs/classg3_b_o_o_m-members.html +++ b/docs/classg3_b_o_o_m-members.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
diff --git a/docs/classg3_b_o_o_m.html b/docs/classg3_b_o_o_m.html index f0135db..ffcc171 100644 --- a/docs/classg3_b_o_o_m.html +++ b/docs/classg3_b_o_o_m.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
diff --git a/docs/classmulator_1_1_disassembler-members.html b/docs/classmulator_1_1_disassembler-members.html index 7487194..a2c7779 100644 --- a/docs/classmulator_1_1_disassembler-members.html +++ b/docs/classmulator_1_1_disassembler-members.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
diff --git a/docs/classmulator_1_1_disassembler.html b/docs/classmulator_1_1_disassembler.html index ad75fa6..c09b87f 100644 --- a/docs/classmulator_1_1_disassembler.html +++ b/docs/classmulator_1_1_disassembler.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
diff --git a/docs/classmulator_1_1_emulator-members.html b/docs/classmulator_1_1_emulator-members.html index 22eb72f..8685e07 100644 --- a/docs/classmulator_1_1_emulator-members.html +++ b/docs/classmulator_1_1_emulator-members.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
diff --git a/docs/classmulator_1_1_emulator.html b/docs/classmulator_1_1_emulator.html index 5ebe60a..7d3334b 100644 --- a/docs/classmulator_1_1_emulator.html +++ b/docs/classmulator_1_1_emulator.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
diff --git a/docs/classmulator_1_1_instruction_decoder-members.html b/docs/classmulator_1_1_instruction_decoder-members.html index 59e4176..589da9a 100644 --- a/docs/classmulator_1_1_instruction_decoder-members.html +++ b/docs/classmulator_1_1_instruction_decoder-members.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
diff --git a/docs/classmulator_1_1_instruction_decoder.html b/docs/classmulator_1_1_instruction_decoder.html index f61c012..165c907 100644 --- a/docs/classmulator_1_1_instruction_decoder.html +++ b/docs/classmulator_1_1_instruction_decoder.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
diff --git a/docs/classshared_sbox-members.html b/docs/classshared_sbox-members.html index bb50acc..b12d6dc 100644 --- a/docs/classshared_sbox-members.html +++ b/docs/classshared_sbox-members.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
diff --git a/docs/classshared_sbox.html b/docs/classshared_sbox.html index b3e2b41..e9cf4bb 100644 --- a/docs/classshared_sbox.html +++ b/docs/classshared_sbox.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
diff --git a/docs/conditions_8h_source.html b/docs/conditions_8h_source.html index 0f5937b..6a2ad35 100644 --- a/docs/conditions_8h_source.html +++ b/docs/conditions_8h_source.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
diff --git a/docs/dir_02978a5c670a6de39aefa5c2ad315172.html b/docs/dir_02978a5c670a6de39aefa5c2ad315172.html new file mode 100644 index 0000000..0172d1b --- /dev/null +++ b/docs/dir_02978a5c670a6de39aefa5c2ad315172.html @@ -0,0 +1,85 @@ + + + + + + + +PROLEAD: PROLEAD/tests/util Directory Reference + + + + + + + + + +
+
+ + + + + + +
+
PROLEAD 3.0.1-alpha +
+
+
+ + + + + + + + +
+
+ + +
+
+
+
+
+
Loading...
+
Searching...
+
No Matches
+
+
+
+
+ + +
+
+
util Directory Reference
+
+
+
+ +
+Generated by doxygen 1.9.6 +
+ + diff --git a/docs/dir_067c1e31425c569cc96ae709ed7cbad9.html b/docs/dir_067c1e31425c569cc96ae709ed7cbad9.html index 5c7853c..de16c27 100644 --- a/docs/dir_067c1e31425c569cc96ae709ed7cbad9.html +++ b/docs/dir_067c1e31425c569cc96ae709ed7cbad9.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
diff --git a/docs/dir_07ee6b359e161d082e53c1bddd9f6f3c.html b/docs/dir_07ee6b359e161d082e53c1bddd9f6f3c.html index 7e37239..ce2a1c8 100644 --- a/docs/dir_07ee6b359e161d082e53c1bddd9f6f3c.html +++ b/docs/dir_07ee6b359e161d082e53c1bddd9f6f3c.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
diff --git a/docs/dir_17ccb6e65a8faa18fb4b839e23684007.html b/docs/dir_17ccb6e65a8faa18fb4b839e23684007.html index a69c2d2..a3fb809 100644 --- a/docs/dir_17ccb6e65a8faa18fb4b839e23684007.html +++ b/docs/dir_17ccb6e65a8faa18fb4b839e23684007.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
diff --git a/docs/dir_1eb6eba761fd107a7d2934b9522404f7.html b/docs/dir_1eb6eba761fd107a7d2934b9522404f7.html new file mode 100644 index 0000000..654245e --- /dev/null +++ b/docs/dir_1eb6eba761fd107a7d2934b9522404f7.html @@ -0,0 +1,85 @@ + + + + + + + +PROLEAD: PROLEAD/tests/full/dom_indep_d1 Directory Reference + + + + + + + + + +
+
+ + + + + + +
+
PROLEAD 3.0.1-alpha +
+
+
+ + + + + + + + +
+
+ + +
+
+
+
+
+
Loading...
+
Searching...
+
No Matches
+
+
+
+
+ + +
+
+
dom_indep_d1 Directory Reference
+
+
+
+ +
+Generated by doxygen 1.9.6 +
+ + diff --git a/docs/dir_284a45cf1374c91178e60f4c86b18377.html b/docs/dir_284a45cf1374c91178e60f4c86b18377.html new file mode 100644 index 0000000..e6e07be --- /dev/null +++ b/docs/dir_284a45cf1374c91178e60f4c86b18377.html @@ -0,0 +1,85 @@ + + + + + + + +PROLEAD: PROLEAD/tests/full/dom_indep_d1_analysis Directory Reference + + + + + + + + + +
+
+ + + + + + +
+
PROLEAD 3.0.1-alpha +
+
+
+ + + + + + + + +
+
+ + +
+
+
+
+
+
Loading...
+
Searching...
+
No Matches
+
+
+
+
+ + +
+
+
dom_indep_d1_analysis Directory Reference
+
+
+
+ +
+Generated by doxygen 1.9.6 +
+ + diff --git a/docs/dir_28b139ac6cd2270d9ac1ca107c1304cc.html b/docs/dir_28b139ac6cd2270d9ac1ca107c1304cc.html index da72c3b..faa9b7c 100644 --- a/docs/dir_28b139ac6cd2270d9ac1ca107c1304cc.html +++ b/docs/dir_28b139ac6cd2270d9ac1ca107c1304cc.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
diff --git a/docs/dir_2b05c6c8abbc24fe80426db14f50b478.html b/docs/dir_2b05c6c8abbc24fe80426db14f50b478.html new file mode 100644 index 0000000..2942fd1 --- /dev/null +++ b/docs/dir_2b05c6c8abbc24fe80426db14f50b478.html @@ -0,0 +1,85 @@ + + + + + + + +PROLEAD: PROLEAD/benchmarks/util Directory Reference + + + + + + + + + +
+
+ + + + + + +
+
PROLEAD 3.0.1-alpha +
+
+
+ + + + + + + + +
+
+ + +
+
+
+
+
+
Loading...
+
Searching...
+
No Matches
+
+
+
+
+ + +
+
+
util Directory Reference
+
+
+
+ +
+Generated by doxygen 1.9.6 +
+ + diff --git a/docs/dir_2f4ac48ec9be5fd02a710fb2fae885f3.html b/docs/dir_2f4ac48ec9be5fd02a710fb2fae885f3.html index 48edaa3..d20d51f 100644 --- a/docs/dir_2f4ac48ec9be5fd02a710fb2fae885f3.html +++ b/docs/dir_2f4ac48ec9be5fd02a710fb2fae885f3.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
diff --git a/docs/dir_37d4c7412cc6ea2d409d20ef7da6bd40.html b/docs/dir_37d4c7412cc6ea2d409d20ef7da6bd40.html index 5518e92..30d3eea 100644 --- a/docs/dir_37d4c7412cc6ea2d409d20ef7da6bd40.html +++ b/docs/dir_37d4c7412cc6ea2d409d20ef7da6bd40.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
diff --git a/docs/dir_38b94b18b610d6ea718ee18d966d639d.html b/docs/dir_38b94b18b610d6ea718ee18d966d639d.html index a963871..f60d144 100644 --- a/docs/dir_38b94b18b610d6ea718ee18d966d639d.html +++ b/docs/dir_38b94b18b610d6ea718ee18d966d639d.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
diff --git a/docs/dir_3c1207ff778c218e30f9ce41246d36d2.html b/docs/dir_3c1207ff778c218e30f9ce41246d36d2.html index 52c75d2..4ac80b4 100644 --- a/docs/dir_3c1207ff778c218e30f9ce41246d36d2.html +++ b/docs/dir_3c1207ff778c218e30f9ce41246d36d2.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
diff --git a/docs/dir_42ee9a1054766c2cd10bc9802a7ac2e6.html b/docs/dir_42ee9a1054766c2cd10bc9802a7ac2e6.html new file mode 100644 index 0000000..c52d91e --- /dev/null +++ b/docs/dir_42ee9a1054766c2cd10bc9802a7ac2e6.html @@ -0,0 +1,85 @@ + + + + + + + +PROLEAD: PROLEAD/tests/full/dom_indep_d1_placement Directory Reference + + + + + + + + + +
+
+ + + + + + +
+
PROLEAD 3.0.1-alpha +
+
+
+ + + + + + + + +
+
+ + +
+
+
+
+
+
Loading...
+
Searching...
+
No Matches
+
+
+
+
+ + +
+
+
dom_indep_d1_placement Directory Reference
+
+
+
+ +
+Generated by doxygen 1.9.6 +
+ + diff --git a/docs/dir_441bfa85196dc37044a0b7f6b7c26ead.html b/docs/dir_441bfa85196dc37044a0b7f6b7c26ead.html new file mode 100644 index 0000000..2c89122 --- /dev/null +++ b/docs/dir_441bfa85196dc37044a0b7f6b7c26ead.html @@ -0,0 +1,91 @@ + + + + + + + +PROLEAD: PROLEAD/tests Directory Reference + + + + + + + + + +
+
+ + + + + + +
+
PROLEAD 3.0.1-alpha +
+
+
+ + + + + + + + +
+
+ + +
+
+
+
+
+
Loading...
+
Searching...
+
No Matches
+
+
+
+
+ + +
+
+
tests Directory Reference
+
+
+ + + + +

+Directories

directory  util
 
+
+ +
+Generated by doxygen 1.9.6 +
+ + diff --git a/docs/dir_51c4c53e0a0575a6656b8a0d28b5135d.html b/docs/dir_51c4c53e0a0575a6656b8a0d28b5135d.html new file mode 100644 index 0000000..dc3da86 --- /dev/null +++ b/docs/dir_51c4c53e0a0575a6656b8a0d28b5135d.html @@ -0,0 +1,85 @@ + + + + + + + +PROLEAD: PROLEAD/tests/full/dom_indep_d1_faulty_rand Directory Reference + + + + + + + + + +
+
+ + + + + + +
+
PROLEAD 3.0.1-alpha +
+
+
+ + + + + + + + +
+
+ + +
+
+
+
+
+
Loading...
+
Searching...
+
No Matches
+
+
+
+
+ + +
+
+
dom_indep_d1_faulty_rand Directory Reference
+
+
+
+ +
+Generated by doxygen 1.9.6 +
+ + diff --git a/docs/dir_5774a68f23643f0635dd8e08db12bc86.html b/docs/dir_5774a68f23643f0635dd8e08db12bc86.html index d835ad2..60712c3 100644 --- a/docs/dir_5774a68f23643f0635dd8e08db12bc86.html +++ b/docs/dir_5774a68f23643f0635dd8e08db12bc86.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
diff --git a/docs/dir_6387a294215bf97f5ee5e4fab0f3b5bf.html b/docs/dir_6387a294215bf97f5ee5e4fab0f3b5bf.html new file mode 100644 index 0000000..3a963c0 --- /dev/null +++ b/docs/dir_6387a294215bf97f5ee5e4fab0f3b5bf.html @@ -0,0 +1,85 @@ + + + + + + + +PROLEAD: PROLEAD/tests/full/lmdpl_and_d1_3_ANDs_induce_glitch Directory Reference + + + + + + + + + +
+
+ + + + + + +
+
PROLEAD 3.0.1-alpha +
+
+
+ + + + + + + + +
+
+ + +
+
+
+
+
+
Loading...
+
Searching...
+
No Matches
+
+
+
+
+ + +
+
+
lmdpl_and_d1_3_ANDs_induce_glitch Directory Reference
+
+
+
+ +
+Generated by doxygen 1.9.6 +
+ + diff --git a/docs/dir_6a31e9c9432aa96f34fee117ccc0350c.html b/docs/dir_6a31e9c9432aa96f34fee117ccc0350c.html new file mode 100644 index 0000000..de0fe20 --- /dev/null +++ b/docs/dir_6a31e9c9432aa96f34fee117ccc0350c.html @@ -0,0 +1,85 @@ + + + + + + + +PROLEAD: PROLEAD/tests/full/lmdpl_and_d1 Directory Reference + + + + + + + + + +
+
+ + + + + + +
+
PROLEAD 3.0.1-alpha +
+
+
+ + + + + + + + +
+
+ + +
+
+
+
+
+
Loading...
+
Searching...
+
No Matches
+
+
+
+
+ + +
+
+
lmdpl_and_d1 Directory Reference
+
+
+
+ +
+Generated by doxygen 1.9.6 +
+ + diff --git a/docs/dir_6d7c311aad3a1e272bb007860a5c3acf.html b/docs/dir_6d7c311aad3a1e272bb007860a5c3acf.html new file mode 100644 index 0000000..8d8b3f8 --- /dev/null +++ b/docs/dir_6d7c311aad3a1e272bb007860a5c3acf.html @@ -0,0 +1,85 @@ + + + + + + + +PROLEAD: PROLEAD/tests/full/dom_indep_d1_extension Directory Reference + + + + + + + + + +
+
+ + + + + + +
+
PROLEAD 3.0.1-alpha +
+
+
+ + + + + + + + +
+
+ + +
+
+
+
+
+
Loading...
+
Searching...
+
No Matches
+
+
+
+
+ + +
+
+
dom_indep_d1_extension Directory Reference
+
+
+
+ +
+Generated by doxygen 1.9.6 +
+ + diff --git a/docs/dir_763b528a9ad606fc896f1f20a38435d2.html b/docs/dir_763b528a9ad606fc896f1f20a38435d2.html index 0fdb30d..ef1d280 100644 --- a/docs/dir_763b528a9ad606fc896f1f20a38435d2.html +++ b/docs/dir_763b528a9ad606fc896f1f20a38435d2.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
diff --git a/docs/dir_79e89cda2f30d18e9f5bf668fb2991a5.html b/docs/dir_79e89cda2f30d18e9f5bf668fb2991a5.html index ba587dd..691fa78 100644 --- a/docs/dir_79e89cda2f30d18e9f5bf668fb2991a5.html +++ b/docs/dir_79e89cda2f30d18e9f5bf668fb2991a5.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
diff --git a/docs/dir_7a694b29d9b2d3e5d2bae7478d777aa2.html b/docs/dir_7a694b29d9b2d3e5d2bae7478d777aa2.html new file mode 100644 index 0000000..1518d11 --- /dev/null +++ b/docs/dir_7a694b29d9b2d3e5d2bae7478d777aa2.html @@ -0,0 +1,113 @@ + + + + + + + +PROLEAD: PROLEAD/tests/full Directory Reference + + + + + + + + + +
+
+ + + + + + +
+
PROLEAD 3.0.1-alpha +
+
+
+ + + + + + + + +
+
+ + +
+
+
+
+
+
Loading...
+
Searching...
+
No Matches
+
+
+
+
+ + +
+
+
full Directory Reference
+
+
+ + + + + + + + + + + + + + + + + + + + + + + + + + +

+Directories

directory  aes_rp_d1_binary
 
directory  aes_rp_d1_ccode
 
directory  dom_indep_d1
 
directory  dom_indep_d1_analysis
 
directory  dom_indep_d1_extension
 
directory  dom_indep_d1_fault_as_probe
 
directory  dom_indep_d1_faulty_rand
 
directory  dom_indep_d1_non_flatten
 
directory  dom_indep_d1_placement
 
directory  dom_indep_d2
 
directory  lmdpl_and_d1
 
directory  lmdpl_and_d1_3_ANDs_induce_glitch
 
+
+ +
+Generated by doxygen 1.9.6 +
+ + diff --git a/docs/dir_82ce2a565ad031b841db1defb47189eb.html b/docs/dir_82ce2a565ad031b841db1defb47189eb.html new file mode 100644 index 0000000..e95b7d3 --- /dev/null +++ b/docs/dir_82ce2a565ad031b841db1defb47189eb.html @@ -0,0 +1,85 @@ + + + + + + + +PROLEAD: PROLEAD/tests/full/dom_indep_d1_non_flatten Directory Reference + + + + + + + + + +
+
+ + + + + + +
+
PROLEAD 3.0.1-alpha +
+
+
+ + + + + + + + +
+
+ + +
+
+
+
+
+
Loading...
+
Searching...
+
No Matches
+
+
+
+
+ + +
+
+
dom_indep_d1_non_flatten Directory Reference
+
+
+
+ +
+Generated by doxygen 1.9.6 +
+ + diff --git a/docs/dir_83e07d7420c17933248ce08ecae4e821.html b/docs/dir_83e07d7420c17933248ce08ecae4e821.html new file mode 100644 index 0000000..25e1bfd --- /dev/null +++ b/docs/dir_83e07d7420c17933248ce08ecae4e821.html @@ -0,0 +1,85 @@ + + + + + + + +PROLEAD: PROLEAD/tests/full/dom_indep_d2 Directory Reference + + + + + + + + + +
+
+ + + + + + +
+
PROLEAD 3.0.1-alpha +
+
+
+ + + + + + + + +
+
+ + +
+
+
+
+
+
Loading...
+
Searching...
+
No Matches
+
+
+
+
+ + +
+
+
dom_indep_d2 Directory Reference
+
+
+
+ +
+Generated by doxygen 1.9.6 +
+ + diff --git a/docs/dir_8a11c06d2d88c5154311f227726adfc9.html b/docs/dir_8a11c06d2d88c5154311f227726adfc9.html new file mode 100644 index 0000000..5dd4c62 --- /dev/null +++ b/docs/dir_8a11c06d2d88c5154311f227726adfc9.html @@ -0,0 +1,91 @@ + + + + + + + +PROLEAD: PROLEAD/benchmarks Directory Reference + + + + + + + + + +
+
+ + + + + + +
+
PROLEAD 3.0.1-alpha +
+
+
+ + + + + + + + +
+
+ + +
+
+
+
+
+
Loading...
+
Searching...
+
No Matches
+
+
+
+
+ + +
+
+
benchmarks Directory Reference
+
+
+ + + + +

+Directories

directory  util
 
+
+ +
+Generated by doxygen 1.9.6 +
+ + diff --git a/docs/dir_94ed607466e0e550fe304d4ffd9e1991.html b/docs/dir_94ed607466e0e550fe304d4ffd9e1991.html index 2dfbf00..0e65511 100644 --- a/docs/dir_94ed607466e0e550fe304d4ffd9e1991.html +++ b/docs/dir_94ed607466e0e550fe304d4ffd9e1991.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
diff --git a/docs/dir_9587307135a472f89adf7b5537d3037c.html b/docs/dir_9587307135a472f89adf7b5537d3037c.html new file mode 100644 index 0000000..dc9a100 --- /dev/null +++ b/docs/dir_9587307135a472f89adf7b5537d3037c.html @@ -0,0 +1,85 @@ + + + + + + + +PROLEAD: PROLEAD/tests/full/dom_indep_d1_fault_as_probe Directory Reference + + + + + + + + + +
+
+ + + + + + +
+
PROLEAD 3.0.1-alpha +
+
+
+ + + + + + + + +
+
+ + +
+
+
+
+
+
Loading...
+
Searching...
+
No Matches
+
+
+
+
+ + +
+
+
dom_indep_d1_fault_as_probe Directory Reference
+
+
+
+ +
+Generated by doxygen 1.9.6 +
+ + diff --git a/docs/dir_ab64df98accdf6a7856b4d9582ecbfa3.html b/docs/dir_ab64df98accdf6a7856b4d9582ecbfa3.html new file mode 100644 index 0000000..312bb1a --- /dev/null +++ b/docs/dir_ab64df98accdf6a7856b4d9582ecbfa3.html @@ -0,0 +1,85 @@ + + + + + + + +PROLEAD: PROLEAD/tests/full/aes_rp_d1_binary Directory Reference + + + + + + + + + +
+
+ + + + + + +
+
PROLEAD 3.0.1-alpha +
+
+
+ + + + + + + + +
+
+ + +
+
+
+
+
+
Loading...
+
Searching...
+
No Matches
+
+
+
+
+ + +
+
+
aes_rp_d1_binary Directory Reference
+
+
+
+ +
+Generated by doxygen 1.9.6 +
+ + diff --git a/docs/dir_b0c288bb514f93e977430715c3cac813.html b/docs/dir_b0c288bb514f93e977430715c3cac813.html index ee18466..fceadec 100644 --- a/docs/dir_b0c288bb514f93e977430715c3cac813.html +++ b/docs/dir_b0c288bb514f93e977430715c3cac813.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
diff --git a/docs/dir_b3ea97ccc210a30ea65990fec128d705.html b/docs/dir_b3ea97ccc210a30ea65990fec128d705.html new file mode 100644 index 0000000..743ad4e --- /dev/null +++ b/docs/dir_b3ea97ccc210a30ea65990fec128d705.html @@ -0,0 +1,85 @@ + + + + + + + +PROLEAD: PROLEAD/tests/full/aes_rp_d1_ccode Directory Reference + + + + + + + + + +
+
+ + + + + + +
+
PROLEAD 3.0.1-alpha +
+
+
+ + + + + + + + +
+
+ + +
+
+
+
+
+
Loading...
+
Searching...
+
No Matches
+
+
+
+
+ + +
+
+
aes_rp_d1_ccode Directory Reference
+
+
+
+ +
+Generated by doxygen 1.9.6 +
+ + diff --git a/docs/dir_b53dde6b08e0d96f6ee9790545c672ad.html b/docs/dir_b53dde6b08e0d96f6ee9790545c672ad.html index 9cf52da..246ea9b 100644 --- a/docs/dir_b53dde6b08e0d96f6ee9790545c672ad.html +++ b/docs/dir_b53dde6b08e0d96f6ee9790545c672ad.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
diff --git a/docs/dir_c15a826b7926ee0851709f5287fed3c2.html b/docs/dir_c15a826b7926ee0851709f5287fed3c2.html index 1a955d7..aa884d3 100644 --- a/docs/dir_c15a826b7926ee0851709f5287fed3c2.html +++ b/docs/dir_c15a826b7926ee0851709f5287fed3c2.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
diff --git a/docs/dir_c25069843cf86c673d657dab40b083f2.html b/docs/dir_c25069843cf86c673d657dab40b083f2.html index 638319f..e72d37b 100644 --- a/docs/dir_c25069843cf86c673d657dab40b083f2.html +++ b/docs/dir_c25069843cf86c673d657dab40b083f2.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
diff --git a/docs/dir_c9b68666a9b924aea0812fef9b6ddf33.html b/docs/dir_c9b68666a9b924aea0812fef9b6ddf33.html index c8e03ac..e3f4049 100644 --- a/docs/dir_c9b68666a9b924aea0812fef9b6ddf33.html +++ b/docs/dir_c9b68666a9b924aea0812fef9b6ddf33.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
diff --git a/docs/dir_ee333017a7dfb067d45b2e223bebac94.html b/docs/dir_ee333017a7dfb067d45b2e223bebac94.html index 474fd6b..36de3b2 100644 --- a/docs/dir_ee333017a7dfb067d45b2e223bebac94.html +++ b/docs/dir_ee333017a7dfb067d45b2e223bebac94.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
diff --git a/docs/dir_f4b6cb72a16f12c9abd6b144ff30471b.html b/docs/dir_f4b6cb72a16f12c9abd6b144ff30471b.html index 943542b..16b3b39 100644 --- a/docs/dir_f4b6cb72a16f12c9abd6b144ff30471b.html +++ b/docs/dir_f4b6cb72a16f12c9abd6b144ff30471b.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
@@ -79,8 +79,12 @@ + + + +

Directories

directory  benchmarks
 
directory  src
 
directory  tests
 
diff --git a/docs/dir_f7ffc21a7214bedf19ba5dfb51268d90.html b/docs/dir_f7ffc21a7214bedf19ba5dfb51268d90.html index cc1819b..02486c4 100644 --- a/docs/dir_f7ffc21a7214bedf19ba5dfb51268d90.html +++ b/docs/dir_f7ffc21a7214bedf19ba5dfb51268d90.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
diff --git a/docs/disassembler_8h_source.html b/docs/disassembler_8h_source.html index f496588..fcceee6 100644 --- a/docs/disassembler_8h_source.html +++ b/docs/disassembler_8h_source.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
diff --git a/docs/emulator_8h_source.html b/docs/emulator_8h_source.html index 85244f2..e89d72f 100644 --- a/docs/emulator_8h_source.html +++ b/docs/emulator_8h_source.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
diff --git a/docs/files.html b/docs/files.html index 6aeeb98..d5a84f4 100644 --- a/docs/files.html +++ b/docs/files.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
diff --git a/docs/functions.html b/docs/functions.html index ad5daee..fa2f438 100644 --- a/docs/functions.html +++ b/docs/functions.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
diff --git a/docs/functions_b.html b/docs/functions_b.html index 9887110..418539f 100644 --- a/docs/functions_b.html +++ b/docs/functions_b.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
diff --git a/docs/functions_c.html b/docs/functions_c.html index 5d84bb7..0888648 100644 --- a/docs/functions_c.html +++ b/docs/functions_c.html @@ -21,7 +21,7 @@ -
PROLEAD 3.0.0 +
PROLEAD 3.0.1-alpha
@@ -78,7 +78,7 @@

- c -

  • ClockSignal : Software::SettingsStruct
  • CompactDistributions : Software::SettingsStruct
  • compilerFlags : Software::SettingsStruct
    • -
  • ComputeFaultEffect() : Fault, StuckAtOneFault, StuckAtZeroFault, ToggleFault
    • +
  • ComputeFaultEffect() : Fault, StuckAtOneFault, StuckAtZeroFault, ToggleFault
  • ComputeGTest() : Hardware::ProbingSet< ExtensionContainer >
  • ComputeNumberOfRequiredTraces() : Hardware::ProbingSet< ExtensionContainer >
  • contingency_table_ : Software::ProbingSetStruct
    • diff --git a/docs/functions_d.html b/docs/functions_d.html index ec70048..d46b8d6 100644 --- a/docs/functions_d.html +++ b/docs/functions_d.html @@ -21,7 +21,7 @@ -
    PROLEAD 3.0.0 +
    PROLEAD 3.0.1-alpha
    diff --git a/docs/functions_e.html b/docs/functions_e.html index 6f334c8..a1502ee 100644 --- a/docs/functions_e.html +++ b/docs/functions_e.html @@ -21,7 +21,7 @@ -
    PROLEAD 3.0.0 +
    PROLEAD 3.0.1-alpha
    diff --git a/docs/functions_f.html b/docs/functions_f.html index 32271a2..f7a2645 100644 --- a/docs/functions_f.html +++ b/docs/functions_f.html @@ -21,7 +21,7 @@ -
    PROLEAD 3.0.0 +
    PROLEAD 3.0.1-alpha
    diff --git a/docs/functions_func.html b/docs/functions_func.html index 23bec70..8e382d0 100644 --- a/docs/functions_func.html +++ b/docs/functions_func.html @@ -21,7 +21,7 @@ -
    PROLEAD 3.0.0 +
    PROLEAD 3.0.1-alpha
    @@ -83,7 +83,7 @@

    - a -

      - c -

      • Cell() : Hardware::Cell
        • -
      • ComputeFaultEffect() : Fault, StuckAtOneFault, StuckAtZeroFault, ToggleFault
        • +
      • ComputeFaultEffect() : Fault, StuckAtOneFault, StuckAtZeroFault, ToggleFault
      • ComputeGTest() : Hardware::ProbingSet< ExtensionContainer >
      • ComputeNumberOfRequiredTraces() : Hardware::ProbingSet< ExtensionContainer >
      • ContingencyTable() : ContingencyTable< BucketContainer >
        • diff --git a/docs/functions_g.html b/docs/functions_g.html index 0f17846..b59abc4 100644 --- a/docs/functions_g.html +++ b/docs/functions_g.html @@ -21,7 +21,7 @@ -
        PROLEAD 3.0.0 +
        PROLEAD 3.0.1-alpha
        diff --git a/docs/functions_h.html b/docs/functions_h.html index d3a05fd..c420573 100644 --- a/docs/functions_h.html +++ b/docs/functions_h.html @@ -21,7 +21,7 @@ -
        PROLEAD 3.0.0 +
        PROLEAD 3.0.1-alpha
        diff --git a/docs/functions_i.html b/docs/functions_i.html index 13f5c87..6233e1c 100644 --- a/docs/functions_i.html +++ b/docs/functions_i.html @@ -21,7 +21,7 @@ -
        PROLEAD 3.0.0 +
        PROLEAD 3.0.1-alpha
        diff --git a/docs/functions_k.html b/docs/functions_k.html index 9b27c83..3de487a 100644 --- a/docs/functions_k.html +++ b/docs/functions_k.html @@ -21,7 +21,7 @@ -
        PROLEAD 3.0.0 +
        PROLEAD 3.0.1-alpha
        diff --git a/docs/functions_l.html b/docs/functions_l.html index 13d25db..b80ca5e 100644 --- a/docs/functions_l.html +++ b/docs/functions_l.html @@ -21,7 +21,7 @@ -
        PROLEAD 3.0.0 +
        PROLEAD 3.0.1-alpha
        diff --git a/docs/functions_m.html b/docs/functions_m.html index 42fe952..7a11413 100644 --- a/docs/functions_m.html +++ b/docs/functions_m.html @@ -21,7 +21,7 @@ -
        PROLEAD 3.0.0 +
        PROLEAD 3.0.1-alpha
        diff --git a/docs/functions_n.html b/docs/functions_n.html index eec9d11..fab8acc 100644 --- a/docs/functions_n.html +++ b/docs/functions_n.html @@ -21,7 +21,7 @@ -
        PROLEAD 3.0.0 +
        PROLEAD 3.0.1-alpha
        diff --git a/docs/functions_o.html b/docs/functions_o.html index 8e4bc98..3c991c0 100644 --- a/docs/functions_o.html +++ b/docs/functions_o.html @@ -21,7 +21,7 @@ -
        PROLEAD 3.0.0 +
        PROLEAD 3.0.1-alpha
        diff --git a/docs/functions_p.html b/docs/functions_p.html index 39fdc54..e375b29 100644 --- a/docs/functions_p.html +++ b/docs/functions_p.html @@ -21,7 +21,7 @@ -
        PROLEAD 3.0.0 +
        PROLEAD 3.0.1-alpha
        diff --git a/docs/functions_r.html b/docs/functions_r.html index 58d5f5d..0c810f4 100644 --- a/docs/functions_r.html +++ b/docs/functions_r.html @@ -21,7 +21,7 @@ -
        PROLEAD 3.0.0 +
        PROLEAD 3.0.1-alpha
        diff --git a/docs/functions_s.html b/docs/functions_s.html index 0299d74..7296c7e 100644 --- a/docs/functions_s.html +++ b/docs/functions_s.html @@ -21,7 +21,7 @@ -
        PROLEAD 3.0.0 +
        PROLEAD 3.0.1-alpha
        diff --git a/docs/functions_t.html b/docs/functions_t.html index 09b5f5d..151d542 100644 --- a/docs/functions_t.html +++ b/docs/functions_t.html @@ -21,7 +21,7 @@ -
        PROLEAD 3.0.0 +
        PROLEAD 3.0.1-alpha
        diff --git a/docs/functions_u.html b/docs/functions_u.html index 73e245d..04f4465 100644 --- a/docs/functions_u.html +++ b/docs/functions_u.html @@ -21,7 +21,7 @@ -
        PROLEAD 3.0.0 +
        PROLEAD 3.0.1-alpha
        diff --git a/docs/functions_v.html b/docs/functions_v.html index ac92fc5..58416b4 100644 --- a/docs/functions_v.html +++ b/docs/functions_v.html @@ -21,7 +21,7 @@ -
        PROLEAD 3.0.0 +
        PROLEAD 3.0.1-alpha
        diff --git a/docs/functions_vars.html b/docs/functions_vars.html index 173356a..40aec24 100644 --- a/docs/functions_vars.html +++ b/docs/functions_vars.html @@ -21,7 +21,7 @@ -
        PROLEAD 3.0.0 +
        PROLEAD 3.0.1-alpha
        diff --git a/docs/globals.html b/docs/globals.html index aa890a6..daec5d0 100644 --- a/docs/globals.html +++ b/docs/globals.html @@ -21,7 +21,7 @@ -
        PROLEAD 3.0.0 +
        PROLEAD 3.0.1-alpha
        diff --git a/docs/globals_func.html b/docs/globals_func.html index 162a395..3392e18 100644 --- a/docs/globals_func.html +++ b/docs/globals_func.html @@ -21,7 +21,7 @@ -
        PROLEAD 3.0.0 +
        PROLEAD 3.0.1-alpha
        diff --git a/docs/globals_type.html b/docs/globals_type.html index e89430c..5f2a253 100644 --- a/docs/globals_type.html +++ b/docs/globals_type.html @@ -21,7 +21,7 @@ -
        PROLEAD 3.0.0 +
        PROLEAD 3.0.1-alpha
        diff --git a/docs/hierarchy.html b/docs/hierarchy.html index 1db44ac..6ac3a3f 100644 --- a/docs/hierarchy.html +++ b/docs/hierarchy.html @@ -21,7 +21,7 @@ -
        PROLEAD 3.0.0 +
        PROLEAD 3.0.1-alpha
        @@ -150,9 +150,10 @@  CSoftware::SimulationStructDefines a struct that tracks necessary information for simulation  CSoftwareSettings  CTableEntryRepresents an entry in a contingency table, containing a key and associated data - CSoftware::TestStructDefines all settings belonging to the test prodecure - CSoftware::ThreadSimulationStructDefines a struct that tracks necessary information for thread simulation - CHardware::TruthTable + CTest + CSoftware::TestStructDefines all settings belonging to the test prodecure + CSoftware::ThreadSimulationStructDefines a struct that tracks necessary information for thread simulation + CHardware::TruthTable
        diff --git a/docs/index.html b/docs/index.html index ad2c982..8c00a16 100644 --- a/docs/index.html +++ b/docs/index.html @@ -21,7 +21,7 @@ -
        PROLEAD 3.0.0 +
        PROLEAD 3.0.1-alpha
        diff --git a/docs/instruction_8h_source.html b/docs/instruction_8h_source.html index e87d2a3..5ba85d9 100644 --- a/docs/instruction_8h_source.html +++ b/docs/instruction_8h_source.html @@ -21,7 +21,7 @@ -
        PROLEAD 3.0.0 +
        PROLEAD 3.0.1-alpha
        diff --git a/docs/instruction__decoder_8h_source.html b/docs/instruction__decoder_8h_source.html index 8161143..be2b785 100644 --- a/docs/instruction__decoder_8h_source.html +++ b/docs/instruction__decoder_8h_source.html @@ -21,7 +21,7 @@ -
        PROLEAD 3.0.0 +
        PROLEAD 3.0.1-alpha
        diff --git a/docs/md__p_r_o_l_e_a_d__r_e_a_d_m_e.html b/docs/md__p_r_o_l_e_a_d__r_e_a_d_m_e.html index fc77c75..7ffaea4 100644 --- a/docs/md__p_r_o_l_e_a_d__r_e_a_d_m_e.html +++ b/docs/md__p_r_o_l_e_a_d__r_e_a_d_m_e.html @@ -21,7 +21,7 @@ -
        PROLEAD 3.0.0 +
        PROLEAD 3.0.1-alpha
        diff --git a/docs/memory__region_8h_source.html b/docs/memory__region_8h_source.html index 2a50587..dc46e41 100644 --- a/docs/memory__region_8h_source.html +++ b/docs/memory__region_8h_source.html @@ -21,7 +21,7 @@ -
        PROLEAD 3.0.0 +
        PROLEAD 3.0.1-alpha
        diff --git a/docs/mnemonics_8h_source.html b/docs/mnemonics_8h_source.html index 2d078a2..8bca33c 100644 --- a/docs/mnemonics_8h_source.html +++ b/docs/mnemonics_8h_source.html @@ -21,7 +21,7 @@ -
        PROLEAD 3.0.0 +
        PROLEAD 3.0.1-alpha
        diff --git a/docs/pages.html b/docs/pages.html index dbab04c..5d4f67d 100644 --- a/docs/pages.html +++ b/docs/pages.html @@ -21,7 +21,7 @@ -
        PROLEAD 3.0.0 +
        PROLEAD 3.0.1-alpha
        diff --git a/docs/registers_8h_source.html b/docs/registers_8h_source.html index d995732..6e600e3 100644 --- a/docs/registers_8h_source.html +++ b/docs/registers_8h_source.html @@ -21,7 +21,7 @@ -
        PROLEAD 3.0.0 +
        PROLEAD 3.0.1-alpha
        diff --git a/docs/return__codes_8h_source.html b/docs/return__codes_8h_source.html index a67eba0..5ead1be 100644 --- a/docs/return__codes_8h_source.html +++ b/docs/return__codes_8h_source.html @@ -21,7 +21,7 @@ -
        PROLEAD 3.0.0 +
        PROLEAD 3.0.1-alpha
        diff --git a/docs/search/all_11.js b/docs/search/all_11.js index aaab0cf..f7fde4a 100644 --- a/docs/search/all_11.js +++ b/docs/search/all_11.js @@ -2,13 +2,14 @@ var searchData= [ ['tablebucketvector_0',['TableBucketVector',['../_util_8hpp.html#a8827d1651a0e84c7e646967537fd2c1d',1,'Util.hpp']]], ['tableentry_1',['TableEntry',['../class_table_entry.html',1,'']]], - ['testclockcycles_2',['TestClockCycles',['../struct_software_1_1_settings_struct.html#a3ee3afe6266cbd66695b183572263a18',1,'Software::SettingsStruct::TestClockCycles()'],['../struct_software_1_1_simulation_struct.html#a26a1be4d8fdfc1fd9016ef4e5064ba93',1,'Software::SimulationStruct::TestClockCycles()'],['../struct_software_1_1_thread_simulation_struct.html#a65b24a1c4aa75be23a435419efffcea7',1,'Software::ThreadSimulationStruct::TestClockCycles()']]], - ['testmultivariate_3',['TestMultivariate',['../struct_software_1_1_settings_struct.html#a91117aeb92d21b792ae775acb9afa6ce',1,'Software::SettingsStruct::TestMultivariate()'],['../struct_software_1_1_simulation_struct.html#aafe49545454c1e8b68da685c06fe5ab7',1,'Software::SimulationStruct::TestMultivariate()'],['../struct_software_1_1_thread_simulation_struct.html#a8699f60cc06569738b259ece4746868a',1,'Software::ThreadSimulationStruct::TestMultivariate()']]], - ['testorder_4',['TestOrder',['../struct_software_1_1_settings_struct.html#a72ffd1497e8acafea1ec4cec59f6ff15',1,'Software::SettingsStruct::TestOrder()'],['../struct_software_1_1_simulation_struct.html#abcde98570df7813b293c4d93575b3065',1,'Software::SimulationStruct::TestOrder()'],['../struct_software_1_1_thread_simulation_struct.html#a0f80ee7320b8000d14081b56ee2494df',1,'Software::ThreadSimulationStruct::TestOrder()']]], - ['teststruct_5',['TestStruct',['../struct_software_1_1_test_struct.html',1,'Software']]], - ['testtransitional_6',['TestTransitional',['../struct_software_1_1_settings_struct.html#a64c164548de3d334bfcd0ba8d0280a8e',1,'Software::SettingsStruct::TestTransitional()'],['../struct_software_1_1_simulation_struct.html#a851fc1417d60c90ca0004e9e23381bcb',1,'Software::SimulationStruct::TestTransitional()'],['../struct_software_1_1_thread_simulation_struct.html#a8a3ab7c3f75e98c0b211818eff8bfd20',1,'Software::ThreadSimulationStruct::TestTransitional()']]], - ['threadsimulationstruct_7',['ThreadSimulationStruct',['../struct_software_1_1_thread_simulation_struct.html',1,'Software']]], - ['togglefault_8',['ToggleFault',['../class_toggle_fault.html',1,'ToggleFault'],['../class_toggle_fault.html#afd3488d69f542c59e1196f179a5c0f21',1,'ToggleFault::ToggleFault()']]], - ['transitioncycles_9',['TransitionCycles',['../struct_software_1_1_probes_struct.html#a2c7daa0083c2d12b051ca3af30a89262',1,'Software::ProbesStruct']]], - ['truthtable_10',['TruthTable',['../class_hardware_1_1_truth_table.html',1,'Hardware::TruthTable'],['../class_hardware_1_1_truth_table.html#aca0bc472655e0e2ba4b0af345ca41b5d',1,'Hardware::TruthTable::TruthTable()']]] + ['test_2',['Test',['../class_test.html',1,'']]], + ['testclockcycles_3',['TestClockCycles',['../struct_software_1_1_settings_struct.html#a3ee3afe6266cbd66695b183572263a18',1,'Software::SettingsStruct::TestClockCycles()'],['../struct_software_1_1_simulation_struct.html#a26a1be4d8fdfc1fd9016ef4e5064ba93',1,'Software::SimulationStruct::TestClockCycles()'],['../struct_software_1_1_thread_simulation_struct.html#a65b24a1c4aa75be23a435419efffcea7',1,'Software::ThreadSimulationStruct::TestClockCycles()']]], + ['testmultivariate_4',['TestMultivariate',['../struct_software_1_1_settings_struct.html#a91117aeb92d21b792ae775acb9afa6ce',1,'Software::SettingsStruct::TestMultivariate()'],['../struct_software_1_1_simulation_struct.html#aafe49545454c1e8b68da685c06fe5ab7',1,'Software::SimulationStruct::TestMultivariate()'],['../struct_software_1_1_thread_simulation_struct.html#a8699f60cc06569738b259ece4746868a',1,'Software::ThreadSimulationStruct::TestMultivariate()']]], + ['testorder_5',['TestOrder',['../struct_software_1_1_settings_struct.html#a72ffd1497e8acafea1ec4cec59f6ff15',1,'Software::SettingsStruct::TestOrder()'],['../struct_software_1_1_simulation_struct.html#abcde98570df7813b293c4d93575b3065',1,'Software::SimulationStruct::TestOrder()'],['../struct_software_1_1_thread_simulation_struct.html#a0f80ee7320b8000d14081b56ee2494df',1,'Software::ThreadSimulationStruct::TestOrder()']]], + ['teststruct_6',['TestStruct',['../struct_software_1_1_test_struct.html',1,'Software']]], + ['testtransitional_7',['TestTransitional',['../struct_software_1_1_settings_struct.html#a64c164548de3d334bfcd0ba8d0280a8e',1,'Software::SettingsStruct::TestTransitional()'],['../struct_software_1_1_simulation_struct.html#a851fc1417d60c90ca0004e9e23381bcb',1,'Software::SimulationStruct::TestTransitional()'],['../struct_software_1_1_thread_simulation_struct.html#a8a3ab7c3f75e98c0b211818eff8bfd20',1,'Software::ThreadSimulationStruct::TestTransitional()']]], + ['threadsimulationstruct_8',['ThreadSimulationStruct',['../struct_software_1_1_thread_simulation_struct.html',1,'Software']]], + ['togglefault_9',['ToggleFault',['../class_toggle_fault.html',1,'ToggleFault'],['../class_toggle_fault.html#afd3488d69f542c59e1196f179a5c0f21',1,'ToggleFault::ToggleFault()']]], + ['transitioncycles_10',['TransitionCycles',['../struct_software_1_1_probes_struct.html#a2c7daa0083c2d12b051ca3af30a89262',1,'Software::ProbesStruct']]], + ['truthtable_11',['TruthTable',['../class_hardware_1_1_truth_table.html',1,'Hardware::TruthTable'],['../class_hardware_1_1_truth_table.html#aca0bc472655e0e2ba4b0af345ca41b5d',1,'Hardware::TruthTable::TruthTable()']]] ]; diff --git a/docs/search/all_2.js b/docs/search/all_2.js index 1c79734..66bb0d5 100644 --- a/docs/search/all_2.js +++ b/docs/search/all_2.js @@ -11,7 +11,7 @@ var searchData= ['codesection_8',['CodeSection',['../struct_software_1_1_settings_struct_1_1_code_section.html',1,'Software::SettingsStruct']]], ['compactdistributions_9',['CompactDistributions',['../struct_software_1_1_settings_struct.html#ae6f533ba5abbd93dd361abb16fccbeea',1,'Software::SettingsStruct']]], ['compilerflags_10',['compilerFlags',['../struct_software_1_1_settings_struct.html#a48b4d1545d8e0a96221403f0635d70ce',1,'Software::SettingsStruct']]], - ['computefaulteffect_11',['ComputeFaultEffect',['../class_fault.html#ad69fbf593af9517440f3798f45008e60',1,'Fault::ComputeFaultEffect()'],['../class_stuck_at_one_fault.html#ac60ca43285b23ae2c1c0d2fa4a7e6bde',1,'StuckAtOneFault::ComputeFaultEffect()'],['../class_stuck_at_zero_fault.html#a64c9c2f7d24db9d08ed47346a756787f',1,'StuckAtZeroFault::ComputeFaultEffect()'],['../class_toggle_fault.html#a942778ff8433cd07dd789c2df93bc3fb',1,'ToggleFault::ComputeFaultEffect()']]], + ['computefaulteffect_11',['ComputeFaultEffect',['../class_fault.html#ad69fbf593af9517440f3798f45008e60',1,'Fault::ComputeFaultEffect()'],['../class_stuck_at_one_fault.html#a704e65e2ea848402c88e4a62da1fb9ef',1,'StuckAtOneFault::ComputeFaultEffect()'],['../class_stuck_at_zero_fault.html#af87d8c44a2cd2ace9e6e4e19080dddb3',1,'StuckAtZeroFault::ComputeFaultEffect()'],['../class_toggle_fault.html#a942778ff8433cd07dd789c2df93bc3fb',1,'ToggleFault::ComputeFaultEffect()']]], ['computegtest_12',['ComputeGTest',['../class_hardware_1_1_probing_set.html#ad38d6e4b803fba97ba8bdc13a3fed4db',1,'Hardware::ProbingSet']]], ['computenumberofrequiredtraces_13',['ComputeNumberOfRequiredTraces',['../class_hardware_1_1_probing_set.html#a3d2a81e468e6397f70980b5759968168',1,'Hardware::ProbingSet']]], ['computerequiredsamplesize_14',['ComputeRequiredSampleSize',['../_util_8hpp.html#afb98ef889ac04b8afbe0d9f3d060fe5b',1,'Util.cpp']]], diff --git a/docs/search/classes_f.js b/docs/search/classes_f.js index d28b37f..e84ed7b 100644 --- a/docs/search/classes_f.js +++ b/docs/search/classes_f.js @@ -1,8 +1,9 @@ var searchData= [ ['tableentry_0',['TableEntry',['../class_table_entry.html',1,'']]], - ['teststruct_1',['TestStruct',['../struct_software_1_1_test_struct.html',1,'Software']]], - ['threadsimulationstruct_2',['ThreadSimulationStruct',['../struct_software_1_1_thread_simulation_struct.html',1,'Software']]], - ['togglefault_3',['ToggleFault',['../class_toggle_fault.html',1,'']]], - ['truthtable_4',['TruthTable',['../class_hardware_1_1_truth_table.html',1,'Hardware']]] + ['test_1',['Test',['../class_test.html',1,'']]], + ['teststruct_2',['TestStruct',['../struct_software_1_1_test_struct.html',1,'Software']]], + ['threadsimulationstruct_3',['ThreadSimulationStruct',['../struct_software_1_1_thread_simulation_struct.html',1,'Software']]], + ['togglefault_4',['ToggleFault',['../class_toggle_fault.html',1,'']]], + ['truthtable_5',['TruthTable',['../class_hardware_1_1_truth_table.html',1,'Hardware']]] ]; diff --git a/docs/search/functions_1.js b/docs/search/functions_1.js index 5f88ca4..7c3d7f0 100644 --- a/docs/search/functions_1.js +++ b/docs/search/functions_1.js @@ -2,7 +2,7 @@ var searchData= [ ['cell_0',['Cell',['../class_hardware_1_1_cell.html#a5ecb57eaa8052cdd80f16805783bbec1',1,'Hardware::Cell']]], ['checkvaluetype_1',['CheckValueType',['../_file_parsing_8hpp.html#a7e414e38b139a09e5b4371bd9e01a10a',1,'FileParsing.cpp']]], - ['computefaulteffect_2',['ComputeFaultEffect',['../class_fault.html#ad69fbf593af9517440f3798f45008e60',1,'Fault::ComputeFaultEffect()'],['../class_stuck_at_one_fault.html#ac60ca43285b23ae2c1c0d2fa4a7e6bde',1,'StuckAtOneFault::ComputeFaultEffect()'],['../class_stuck_at_zero_fault.html#a64c9c2f7d24db9d08ed47346a756787f',1,'StuckAtZeroFault::ComputeFaultEffect()'],['../class_toggle_fault.html#a942778ff8433cd07dd789c2df93bc3fb',1,'ToggleFault::ComputeFaultEffect()']]], + ['computefaulteffect_2',['ComputeFaultEffect',['../class_fault.html#ad69fbf593af9517440f3798f45008e60',1,'Fault::ComputeFaultEffect()'],['../class_stuck_at_one_fault.html#a704e65e2ea848402c88e4a62da1fb9ef',1,'StuckAtOneFault::ComputeFaultEffect()'],['../class_stuck_at_zero_fault.html#af87d8c44a2cd2ace9e6e4e19080dddb3',1,'StuckAtZeroFault::ComputeFaultEffect()'],['../class_toggle_fault.html#a942778ff8433cd07dd789c2df93bc3fb',1,'ToggleFault::ComputeFaultEffect()']]], ['computegtest_3',['ComputeGTest',['../class_hardware_1_1_probing_set.html#ad38d6e4b803fba97ba8bdc13a3fed4db',1,'Hardware::ProbingSet']]], ['computenumberofrequiredtraces_4',['ComputeNumberOfRequiredTraces',['../class_hardware_1_1_probing_set.html#a3d2a81e468e6397f70980b5759968168',1,'Hardware::ProbingSet']]], ['computerequiredsamplesize_5',['ComputeRequiredSampleSize',['../_util_8hpp.html#afb98ef889ac04b8afbe0d9f3d060fe5b',1,'Util.cpp']]], diff --git a/docs/shift__types_8h_source.html b/docs/shift__types_8h_source.html index fa9c9ca..22bfd6d 100644 --- a/docs/shift__types_8h_source.html +++ b/docs/shift__types_8h_source.html @@ -21,7 +21,7 @@ -
        PROLEAD 3.0.0 +
        PROLEAD 3.0.1-alpha
        diff --git a/docs/struct_fault_injection_settings-members.html b/docs/struct_fault_injection_settings-members.html index a328872..1a97b38 100644 --- a/docs/struct_fault_injection_settings-members.html +++ b/docs/struct_fault_injection_settings-members.html @@ -21,7 +21,7 @@ -
        PROLEAD 3.0.0 +
        PROLEAD 3.0.1-alpha
        diff --git a/docs/struct_fault_injection_settings.html b/docs/struct_fault_injection_settings.html index 70cbde1..eff5165 100644 --- a/docs/struct_fault_injection_settings.html +++ b/docs/struct_fault_injection_settings.html @@ -21,7 +21,7 @@ -
        PROLEAD 3.0.0 +
        PROLEAD 3.0.1-alpha
        diff --git a/docs/struct_finite_field_settings-members.html b/docs/struct_finite_field_settings-members.html index 4f014e5..b31aa0b 100644 --- a/docs/struct_finite_field_settings-members.html +++ b/docs/struct_finite_field_settings-members.html @@ -21,7 +21,7 @@ -
        PROLEAD 3.0.0 +
        PROLEAD 3.0.1-alpha
        diff --git a/docs/struct_finite_field_settings.html b/docs/struct_finite_field_settings.html index 47cf9c0..705a299 100644 --- a/docs/struct_finite_field_settings.html +++ b/docs/struct_finite_field_settings.html @@ -21,7 +21,7 @@ -
        PROLEAD 3.0.0 +
        PROLEAD 3.0.1-alpha
        diff --git a/docs/struct_hardware_1_1_cell_struct-members.html b/docs/struct_hardware_1_1_cell_struct-members.html index 52e6103..d9e060e 100644 --- a/docs/struct_hardware_1_1_cell_struct-members.html +++ b/docs/struct_hardware_1_1_cell_struct-members.html @@ -21,7 +21,7 @@ -
        PROLEAD 3.0.0 +
        PROLEAD 3.0.1-alpha
        diff --git a/docs/struct_hardware_1_1_cell_struct.html b/docs/struct_hardware_1_1_cell_struct.html index 6a159c3..b7a3c6d 100644 --- a/docs/struct_hardware_1_1_cell_struct.html +++ b/docs/struct_hardware_1_1_cell_struct.html @@ -21,7 +21,7 @@ -
        PROLEAD 3.0.0 +
        PROLEAD 3.0.1-alpha
        diff --git a/docs/struct_hardware_1_1_cell_type_struct-members.html b/docs/struct_hardware_1_1_cell_type_struct-members.html index 16e1d8e..c2990a0 100644 --- a/docs/struct_hardware_1_1_cell_type_struct-members.html +++ b/docs/struct_hardware_1_1_cell_type_struct-members.html @@ -21,7 +21,7 @@ -
        PROLEAD 3.0.0 +
        PROLEAD 3.0.1-alpha
        diff --git a/docs/struct_hardware_1_1_cell_type_struct.html b/docs/struct_hardware_1_1_cell_type_struct.html index 0c169b5..d8ae7b7 100644 --- a/docs/struct_hardware_1_1_cell_type_struct.html +++ b/docs/struct_hardware_1_1_cell_type_struct.html @@ -21,7 +21,7 @@ -
        PROLEAD 3.0.0 +
        PROLEAD 3.0.1-alpha
        diff --git a/docs/struct_hardware_1_1_circuit_struct-members.html b/docs/struct_hardware_1_1_circuit_struct-members.html index f8e2c7f..ec03d7a 100644 --- a/docs/struct_hardware_1_1_circuit_struct-members.html +++ b/docs/struct_hardware_1_1_circuit_struct-members.html @@ -21,7 +21,7 @@ -
        PROLEAD 3.0.0 +
        PROLEAD 3.0.1-alpha
        diff --git a/docs/struct_hardware_1_1_circuit_struct.html b/docs/struct_hardware_1_1_circuit_struct.html index 0a14626..ed21405 100644 --- a/docs/struct_hardware_1_1_circuit_struct.html +++ b/docs/struct_hardware_1_1_circuit_struct.html @@ -21,7 +21,7 @@ -
        PROLEAD 3.0.0 +
        PROLEAD 3.0.1-alpha
        diff --git a/docs/struct_hardware_1_1_expression_tree-members.html b/docs/struct_hardware_1_1_expression_tree-members.html index 6f60461..80676f2 100644 --- a/docs/struct_hardware_1_1_expression_tree-members.html +++ b/docs/struct_hardware_1_1_expression_tree-members.html @@ -21,7 +21,7 @@ -
        PROLEAD 3.0.0 +
        PROLEAD 3.0.1-alpha
        diff --git a/docs/struct_hardware_1_1_expression_tree.html b/docs/struct_hardware_1_1_expression_tree.html index 59f1390..8b981a2 100644 --- a/docs/struct_hardware_1_1_expression_tree.html +++ b/docs/struct_hardware_1_1_expression_tree.html @@ -21,7 +21,7 @@ -
        PROLEAD 3.0.0 +
        PROLEAD 3.0.1-alpha
        diff --git a/docs/struct_hardware_1_1_file_buffer_struct-members.html b/docs/struct_hardware_1_1_file_buffer_struct-members.html index b440032..5a271f7 100644 --- a/docs/struct_hardware_1_1_file_buffer_struct-members.html +++ b/docs/struct_hardware_1_1_file_buffer_struct-members.html @@ -21,7 +21,7 @@ -
        PROLEAD 3.0.0 +
        PROLEAD 3.0.1-alpha
        diff --git a/docs/struct_hardware_1_1_file_buffer_struct.html b/docs/struct_hardware_1_1_file_buffer_struct.html index b634547..6f3a1bb 100644 --- a/docs/struct_hardware_1_1_file_buffer_struct.html +++ b/docs/struct_hardware_1_1_file_buffer_struct.html @@ -21,7 +21,7 @@ -
        PROLEAD 3.0.0 +
        PROLEAD 3.0.1-alpha
        diff --git a/docs/struct_hardware_1_1_operation_struct-members.html b/docs/struct_hardware_1_1_operation_struct-members.html index 1c9386c..070185e 100644 --- a/docs/struct_hardware_1_1_operation_struct-members.html +++ b/docs/struct_hardware_1_1_operation_struct-members.html @@ -21,7 +21,7 @@ -
        PROLEAD 3.0.0 +
        PROLEAD 3.0.1-alpha
        diff --git a/docs/struct_hardware_1_1_operation_struct.html b/docs/struct_hardware_1_1_operation_struct.html index c1b4b1a..1f9858d 100644 --- a/docs/struct_hardware_1_1_operation_struct.html +++ b/docs/struct_hardware_1_1_operation_struct.html @@ -21,7 +21,7 @@ -
        PROLEAD 3.0.0 +
        PROLEAD 3.0.1-alpha
        diff --git a/docs/struct_hardware_1_1_signal_struct-members.html b/docs/struct_hardware_1_1_signal_struct-members.html index d453dcb..0818fa8 100644 --- a/docs/struct_hardware_1_1_signal_struct-members.html +++ b/docs/struct_hardware_1_1_signal_struct-members.html @@ -21,7 +21,7 @@ -
        PROLEAD 3.0.0 +
        PROLEAD 3.0.1-alpha
        diff --git a/docs/struct_hardware_1_1_signal_struct.html b/docs/struct_hardware_1_1_signal_struct.html index 5ae9261..0181deb 100644 --- a/docs/struct_hardware_1_1_signal_struct.html +++ b/docs/struct_hardware_1_1_signal_struct.html @@ -21,7 +21,7 @@ -
        PROLEAD 3.0.0 +
        PROLEAD 3.0.1-alpha
        diff --git a/docs/struct_hardware_settings-members.html b/docs/struct_hardware_settings-members.html index 9d5de02..7608669 100644 --- a/docs/struct_hardware_settings-members.html +++ b/docs/struct_hardware_settings-members.html @@ -21,7 +21,7 @@ -
        PROLEAD 3.0.0 +
        PROLEAD 3.0.1-alpha
        diff --git a/docs/struct_hardware_settings.html b/docs/struct_hardware_settings.html index 61db5a6..30bb040 100644 --- a/docs/struct_hardware_settings.html +++ b/docs/struct_hardware_settings.html @@ -21,7 +21,7 @@ -
        PROLEAD 3.0.0 +
        PROLEAD 3.0.1-alpha
        diff --git a/docs/struct_include_settings-members.html b/docs/struct_include_settings-members.html index 5d6dbd2..d18d088 100644 --- a/docs/struct_include_settings-members.html +++ b/docs/struct_include_settings-members.html @@ -21,7 +21,7 @@ -
        PROLEAD 3.0.0 +
        PROLEAD 3.0.1-alpha
        diff --git a/docs/struct_include_settings.html b/docs/struct_include_settings.html index f2b4682..699f8c9 100644 --- a/docs/struct_include_settings.html +++ b/docs/struct_include_settings.html @@ -21,7 +21,7 @@ -
        PROLEAD 3.0.0 +
        PROLEAD 3.0.1-alpha
        diff --git a/docs/struct_performance_settings-members.html b/docs/struct_performance_settings-members.html index fb12ce4..3f39445 100644 --- a/docs/struct_performance_settings-members.html +++ b/docs/struct_performance_settings-members.html @@ -21,7 +21,7 @@ -
        PROLEAD 3.0.0 +
        PROLEAD 3.0.1-alpha
        diff --git a/docs/struct_performance_settings.html b/docs/struct_performance_settings.html index a753d09..14b4912 100644 --- a/docs/struct_performance_settings.html +++ b/docs/struct_performance_settings.html @@ -21,7 +21,7 @@ -
        PROLEAD 3.0.0 +
        PROLEAD 3.0.1-alpha
        diff --git a/docs/struct_side_channel_analysis_settings-members.html b/docs/struct_side_channel_analysis_settings-members.html index a2a64da..6b04330 100644 --- a/docs/struct_side_channel_analysis_settings-members.html +++ b/docs/struct_side_channel_analysis_settings-members.html @@ -21,7 +21,7 @@ -
        PROLEAD 3.0.0 +
        PROLEAD 3.0.1-alpha
        diff --git a/docs/struct_side_channel_analysis_settings.html b/docs/struct_side_channel_analysis_settings.html index d9fe212..a09cea8 100644 --- a/docs/struct_side_channel_analysis_settings.html +++ b/docs/struct_side_channel_analysis_settings.html @@ -21,7 +21,7 @@ -
        PROLEAD 3.0.0 +
        PROLEAD 3.0.1-alpha
        diff --git a/docs/struct_simulation_settings-members.html b/docs/struct_simulation_settings-members.html index 388ab38..72581d8 100644 --- a/docs/struct_simulation_settings-members.html +++ b/docs/struct_simulation_settings-members.html @@ -21,7 +21,7 @@ -
        PROLEAD 3.0.0 +
        PROLEAD 3.0.1-alpha
        diff --git a/docs/struct_simulation_settings.html b/docs/struct_simulation_settings.html index 9e93be2..0e1e476 100644 --- a/docs/struct_simulation_settings.html +++ b/docs/struct_simulation_settings.html @@ -21,7 +21,7 @@ -
        PROLEAD 3.0.0 +
        PROLEAD 3.0.1-alpha
        diff --git a/docs/struct_software_1_1_config_probes_struct-members.html b/docs/struct_software_1_1_config_probes_struct-members.html index 1cf229a..09883e4 100644 --- a/docs/struct_software_1_1_config_probes_struct-members.html +++ b/docs/struct_software_1_1_config_probes_struct-members.html @@ -21,7 +21,7 @@ -
        PROLEAD 3.0.0 +
        PROLEAD 3.0.1-alpha
        diff --git a/docs/struct_software_1_1_config_probes_struct.html b/docs/struct_software_1_1_config_probes_struct.html index ed66d56..a27a9ac 100644 --- a/docs/struct_software_1_1_config_probes_struct.html +++ b/docs/struct_software_1_1_config_probes_struct.html @@ -21,7 +21,7 @@ -
        PROLEAD 3.0.0 +
        PROLEAD 3.0.1-alpha
        diff --git a/docs/struct_software_1_1_extended_probes_struct-members.html b/docs/struct_software_1_1_extended_probes_struct-members.html index 3394c8c..0080001 100644 --- a/docs/struct_software_1_1_extended_probes_struct-members.html +++ b/docs/struct_software_1_1_extended_probes_struct-members.html @@ -21,7 +21,7 @@ -
        PROLEAD 3.0.0 +
        PROLEAD 3.0.1-alpha
        diff --git a/docs/struct_software_1_1_extended_probes_struct.html b/docs/struct_software_1_1_extended_probes_struct.html index f22b231..b2f1c8d 100644 --- a/docs/struct_software_1_1_extended_probes_struct.html +++ b/docs/struct_software_1_1_extended_probes_struct.html @@ -21,7 +21,7 @@ -
        PROLEAD 3.0.0 +
        PROLEAD 3.0.1-alpha
        diff --git a/docs/struct_software_1_1_helper_struct-members.html b/docs/struct_software_1_1_helper_struct-members.html index 30f1f19..a606daa 100644 --- a/docs/struct_software_1_1_helper_struct-members.html +++ b/docs/struct_software_1_1_helper_struct-members.html @@ -21,7 +21,7 @@ -
        PROLEAD 3.0.0 +
        PROLEAD 3.0.1-alpha
        diff --git a/docs/struct_software_1_1_helper_struct.html b/docs/struct_software_1_1_helper_struct.html index b11d978..8a85fdf 100644 --- a/docs/struct_software_1_1_helper_struct.html +++ b/docs/struct_software_1_1_helper_struct.html @@ -21,7 +21,7 @@ -
        PROLEAD 3.0.0 +
        PROLEAD 3.0.1-alpha
        diff --git a/docs/struct_software_1_1_probe_tracking_struct-members.html b/docs/struct_software_1_1_probe_tracking_struct-members.html index dc87673..528c437 100644 --- a/docs/struct_software_1_1_probe_tracking_struct-members.html +++ b/docs/struct_software_1_1_probe_tracking_struct-members.html @@ -21,7 +21,7 @@ -
        PROLEAD 3.0.0 +
        PROLEAD 3.0.1-alpha
        diff --git a/docs/struct_software_1_1_probe_tracking_struct.html b/docs/struct_software_1_1_probe_tracking_struct.html index 391fb53..0be2d59 100644 --- a/docs/struct_software_1_1_probe_tracking_struct.html +++ b/docs/struct_software_1_1_probe_tracking_struct.html @@ -21,7 +21,7 @@ -
        PROLEAD 3.0.0 +
        PROLEAD 3.0.1-alpha
        diff --git a/docs/struct_software_1_1_probes_struct-members.html b/docs/struct_software_1_1_probes_struct-members.html index d43d98a..a838aad 100644 --- a/docs/struct_software_1_1_probes_struct-members.html +++ b/docs/struct_software_1_1_probes_struct-members.html @@ -21,7 +21,7 @@ -
        PROLEAD 3.0.0 +
        PROLEAD 3.0.1-alpha
        diff --git a/docs/struct_software_1_1_probes_struct.html b/docs/struct_software_1_1_probes_struct.html index 92202fd..6b1d347 100644 --- a/docs/struct_software_1_1_probes_struct.html +++ b/docs/struct_software_1_1_probes_struct.html @@ -21,7 +21,7 @@ -
        PROLEAD 3.0.0 +
        PROLEAD 3.0.1-alpha
        diff --git a/docs/struct_software_1_1_probing_set_struct-members.html b/docs/struct_software_1_1_probing_set_struct-members.html index caf1b4c..032e850 100644 --- a/docs/struct_software_1_1_probing_set_struct-members.html +++ b/docs/struct_software_1_1_probing_set_struct-members.html @@ -21,7 +21,7 @@ -
        PROLEAD 3.0.0 +
        PROLEAD 3.0.1-alpha
        diff --git a/docs/struct_software_1_1_probing_set_struct.html b/docs/struct_software_1_1_probing_set_struct.html index d88e9e2..9a05e82 100644 --- a/docs/struct_software_1_1_probing_set_struct.html +++ b/docs/struct_software_1_1_probing_set_struct.html @@ -21,7 +21,7 @@ -
        PROLEAD 3.0.0 +
        PROLEAD 3.0.1-alpha
        diff --git a/docs/struct_software_1_1_settings_struct-members.html b/docs/struct_software_1_1_settings_struct-members.html index ad08b9b..3601f9b 100644 --- a/docs/struct_software_1_1_settings_struct-members.html +++ b/docs/struct_software_1_1_settings_struct-members.html @@ -21,7 +21,7 @@ -
        PROLEAD 3.0.0 +
        PROLEAD 3.0.1-alpha
        diff --git a/docs/struct_software_1_1_settings_struct.html b/docs/struct_software_1_1_settings_struct.html index 7d81c7e..2ee5c0f 100644 --- a/docs/struct_software_1_1_settings_struct.html +++ b/docs/struct_software_1_1_settings_struct.html @@ -21,7 +21,7 @@ -
        PROLEAD 3.0.0 +
        PROLEAD 3.0.1-alpha
        diff --git a/docs/struct_software_1_1_settings_struct_1_1_code_section-members.html b/docs/struct_software_1_1_settings_struct_1_1_code_section-members.html index 6cc36bd..cb4894d 100644 --- a/docs/struct_software_1_1_settings_struct_1_1_code_section-members.html +++ b/docs/struct_software_1_1_settings_struct_1_1_code_section-members.html @@ -21,7 +21,7 @@ -
        PROLEAD 3.0.0 +
        PROLEAD 3.0.1-alpha
        diff --git a/docs/struct_software_1_1_settings_struct_1_1_code_section.html b/docs/struct_software_1_1_settings_struct_1_1_code_section.html index 5131358..83fc1f0 100644 --- a/docs/struct_software_1_1_settings_struct_1_1_code_section.html +++ b/docs/struct_software_1_1_settings_struct_1_1_code_section.html @@ -21,7 +21,7 @@ -
        PROLEAD 3.0.0 +
        PROLEAD 3.0.1-alpha
        diff --git a/docs/struct_software_1_1_settings_struct_1_1_memory_range-members.html b/docs/struct_software_1_1_settings_struct_1_1_memory_range-members.html index 630a5f9..f0f6603 100644 --- a/docs/struct_software_1_1_settings_struct_1_1_memory_range-members.html +++ b/docs/struct_software_1_1_settings_struct_1_1_memory_range-members.html @@ -21,7 +21,7 @@ -
        PROLEAD 3.0.0 +
        PROLEAD 3.0.1-alpha
        diff --git a/docs/struct_software_1_1_settings_struct_1_1_memory_range.html b/docs/struct_software_1_1_settings_struct_1_1_memory_range.html index f07e8e9..42a0fed 100644 --- a/docs/struct_software_1_1_settings_struct_1_1_memory_range.html +++ b/docs/struct_software_1_1_settings_struct_1_1_memory_range.html @@ -21,7 +21,7 @@ -
        PROLEAD 3.0.0 +
        PROLEAD 3.0.1-alpha
        diff --git a/docs/struct_software_1_1_shared_data_struct-members.html b/docs/struct_software_1_1_shared_data_struct-members.html index bd6d374..ec723a0 100644 --- a/docs/struct_software_1_1_shared_data_struct-members.html +++ b/docs/struct_software_1_1_shared_data_struct-members.html @@ -21,7 +21,7 @@ -
        PROLEAD 3.0.0 +
        PROLEAD 3.0.1-alpha
        diff --git a/docs/struct_software_1_1_shared_data_struct.html b/docs/struct_software_1_1_shared_data_struct.html index aee73e1..a28aa20 100644 --- a/docs/struct_software_1_1_shared_data_struct.html +++ b/docs/struct_software_1_1_shared_data_struct.html @@ -21,7 +21,7 @@ -
        PROLEAD 3.0.0 +
        PROLEAD 3.0.1-alpha
        diff --git a/docs/struct_software_1_1_simulation_struct-members.html b/docs/struct_software_1_1_simulation_struct-members.html index c87c1cd..c8d7e58 100644 --- a/docs/struct_software_1_1_simulation_struct-members.html +++ b/docs/struct_software_1_1_simulation_struct-members.html @@ -21,7 +21,7 @@ -
        PROLEAD 3.0.0 +
        PROLEAD 3.0.1-alpha
        diff --git a/docs/struct_software_1_1_simulation_struct.html b/docs/struct_software_1_1_simulation_struct.html index 430916f..455cc32 100644 --- a/docs/struct_software_1_1_simulation_struct.html +++ b/docs/struct_software_1_1_simulation_struct.html @@ -21,7 +21,7 @@ -
        PROLEAD 3.0.0 +
        PROLEAD 3.0.1-alpha
        diff --git a/docs/struct_software_1_1_test_struct-members.html b/docs/struct_software_1_1_test_struct-members.html index 2b9d7a3..d7dcf59 100644 --- a/docs/struct_software_1_1_test_struct-members.html +++ b/docs/struct_software_1_1_test_struct-members.html @@ -21,7 +21,7 @@ -
        PROLEAD 3.0.0 +
        PROLEAD 3.0.1-alpha
        diff --git a/docs/struct_software_1_1_test_struct.html b/docs/struct_software_1_1_test_struct.html index a177114..aad6788 100644 --- a/docs/struct_software_1_1_test_struct.html +++ b/docs/struct_software_1_1_test_struct.html @@ -21,7 +21,7 @@ -
        PROLEAD 3.0.0 +
        PROLEAD 3.0.1-alpha
        diff --git a/docs/struct_software_1_1_thread_simulation_struct-members.html b/docs/struct_software_1_1_thread_simulation_struct-members.html index 93f9ed9..1672cde 100644 --- a/docs/struct_software_1_1_thread_simulation_struct-members.html +++ b/docs/struct_software_1_1_thread_simulation_struct-members.html @@ -21,7 +21,7 @@ -
        PROLEAD 3.0.0 +
        PROLEAD 3.0.1-alpha
        diff --git a/docs/struct_software_1_1_thread_simulation_struct.html b/docs/struct_software_1_1_thread_simulation_struct.html index 7065cb0..740849a 100644 --- a/docs/struct_software_1_1_thread_simulation_struct.html +++ b/docs/struct_software_1_1_thread_simulation_struct.html @@ -21,7 +21,7 @@ -
        PROLEAD 3.0.0 +
        PROLEAD 3.0.1-alpha
        diff --git a/docs/struct_software_settings-members.html b/docs/struct_software_settings-members.html index 3aa9be0..478e7d3 100644 --- a/docs/struct_software_settings-members.html +++ b/docs/struct_software_settings-members.html @@ -21,7 +21,7 @@ -
        PROLEAD 3.0.0 +
        PROLEAD 3.0.1-alpha
        diff --git a/docs/struct_software_settings.html b/docs/struct_software_settings.html index 78f221d..4fea947 100644 --- a/docs/struct_software_settings.html +++ b/docs/struct_software_settings.html @@ -21,7 +21,7 @@ -
        PROLEAD 3.0.0 +
        PROLEAD 3.0.1-alpha
        diff --git a/docs/structmulator_1_1_c_p_u___state-members.html b/docs/structmulator_1_1_c_p_u___state-members.html index b1af1bb..a09654e 100644 --- a/docs/structmulator_1_1_c_p_u___state-members.html +++ b/docs/structmulator_1_1_c_p_u___state-members.html @@ -21,7 +21,7 @@ -
        PROLEAD 3.0.0 +
        PROLEAD 3.0.1-alpha
        diff --git a/docs/structmulator_1_1_c_p_u___state.html b/docs/structmulator_1_1_c_p_u___state.html index 1c71e14..7649860 100644 --- a/docs/structmulator_1_1_c_p_u___state.html +++ b/docs/structmulator_1_1_c_p_u___state.html @@ -21,7 +21,7 @@ -
        PROLEAD 3.0.0 +
        PROLEAD 3.0.1-alpha
        diff --git a/docs/structmulator_1_1_instruction-members.html b/docs/structmulator_1_1_instruction-members.html index 3334b1f..c13bbef 100644 --- a/docs/structmulator_1_1_instruction-members.html +++ b/docs/structmulator_1_1_instruction-members.html @@ -21,7 +21,7 @@ -
        PROLEAD 3.0.0 +
        PROLEAD 3.0.1-alpha
        diff --git a/docs/structmulator_1_1_instruction.html b/docs/structmulator_1_1_instruction.html index 7a4ab8d..487d6a7 100644 --- a/docs/structmulator_1_1_instruction.html +++ b/docs/structmulator_1_1_instruction.html @@ -21,7 +21,7 @@ -
        PROLEAD 3.0.0 +
        PROLEAD 3.0.1-alpha
        diff --git a/docs/structmulator_1_1_memory_region-members.html b/docs/structmulator_1_1_memory_region-members.html index c0bd98f..c75ca52 100644 --- a/docs/structmulator_1_1_memory_region-members.html +++ b/docs/structmulator_1_1_memory_region-members.html @@ -21,7 +21,7 @@ -
        PROLEAD 3.0.0 +
        PROLEAD 3.0.1-alpha
        diff --git a/docs/structmulator_1_1_memory_region.html b/docs/structmulator_1_1_memory_region.html index 195d202..241afbd 100644 --- a/docs/structmulator_1_1_memory_region.html +++ b/docs/structmulator_1_1_memory_region.html @@ -21,7 +21,7 @@ -
        PROLEAD 3.0.0 +
        PROLEAD 3.0.1-alpha
        diff --git a/docs/types_8h_source.html b/docs/types_8h_source.html index c297dc3..250e6fc 100644 --- a/docs/types_8h_source.html +++ b/docs/types_8h_source.html @@ -21,7 +21,7 @@ -
        PROLEAD 3.0.0 +
        PROLEAD 3.0.1-alpha
        diff --git a/inc/Hardware/Adversaries.hpp b/inc/Hardware/Adversaries.hpp index 9d6ee04..a1ada32 100644 --- a/inc/Hardware/Adversaries.hpp +++ b/inc/Hardware/Adversaries.hpp @@ -351,7 +351,7 @@ class Adversaries { * @param bitmask The bit mask indication which faults are considered. * @author Nicolai Müller */ - void EvaluateProbingSetsUnderFaults( + double EvaluateProbingSetsUnderFaults( std::vector& shared_data, timespec& start_time, uint64_t& probe_step_index); diff --git a/inc/Hardware/ProbingSets.hpp b/inc/Hardware/ProbingSets.hpp index 97fdc71..c025021 100644 --- a/inc/Hardware/ProbingSets.hpp +++ b/inc/Hardware/ProbingSets.hpp @@ -184,6 +184,7 @@ class ProbingSet { */ std::string PrintProbes(CircuitStruct& circuit); + void DeconstructTable(); void Deconstruct(); uint64_t GetHighestClockCycle(std::vector>& propagations, std::vector& probe_extensions); diff --git a/src/Hardware/Adversaries.cpp b/src/Hardware/Adversaries.cpp index 6d9ca3e..83184e1 100644 --- a/src/Hardware/Adversaries.cpp +++ b/src/Hardware/Adversaries.cpp @@ -857,6 +857,8 @@ void Adversaries::EvaluateProbingSets(std::vector& shar printer_.SetColumnSize(probing_sets_, circuit_); printer_.PrintEvaluationHeader(); + simulation_.number_of_processed_simulations = 0; + for (step_simulation_index = 0; step_simulation_index < (settings_.GetNumberOfSimulations() / settings_.GetNumberOfSimulationsPerStep()); ++step_simulation_index) { #pragma omp parallel for schedule(guided) private(thread_index) for (simulation_index = 0; simulation_index < (settings_.GetNumberOfSimulationsPerStep() / 64); ++simulation_index) { @@ -911,13 +913,13 @@ void Adversaries::EvaluateProbingSets(std::vector& sha uint64_t number_of_remaining_probing_sets; std::cout << "Evaluate security under the relaxed robust probing model!" << std::endl; - // SetUniqueProbes(); - // We use a PRNG that is thread safe GenerateThreadRng(thread_rng, settings_.GetNumberOfThreads()); printer_.SetColumnSize(probing_sets_, circuit_); printer_.PrintEvaluationHeader(); + simulation_.number_of_processed_simulations = 0; + for (step_simulation_index = 0; step_simulation_index < (settings_.GetNumberOfSimulations() / settings_.GetNumberOfSimulationsPerStep()); ++step_simulation_index) { #pragma omp parallel for schedule(guided) private(thread_index) for (simulation_index = 0; simulation_index < (settings_.GetNumberOfSimulationsPerStep() / 64); ++simulation_index) { @@ -956,15 +958,16 @@ void Adversaries::EvaluateProbingSets(std::vector& sha } template -void Adversaries::EvaluateProbingSetsUnderFaults(std::vector& shared_data, timespec& start_time, uint64_t& probe_step_index) { +double Adversaries::EvaluateProbingSetsUnderFaults(std::vector& shared_data, timespec& start_time, uint64_t& probe_step_index) { uint64_t number_of_faults = fault_manager_.GetNumberOfFaults(); std::vector combination_for_faults; std::vector bitmask_for_faults(number_of_faults, false); std::vector faults; std::vector number_of_faults_per_cycle(settings_.GetNumberOfClockCycles(), 0); uint64_t maximum, minimum; - - + std::string fault_message; + double maximum_leakage = 0.0; + for (ProbingSet& it : probing_sets_) { it.Initialize(false, propagations_); } @@ -973,7 +976,7 @@ void Adversaries::EvaluateProbingSetsUnderFaults(std::vector return lhs.GetNumberOfProbeExtensions(propagations_) < rhs.GetNumberOfProbeExtensions(propagations_); }); - if (number_of_faults && settings_.fault_injection.minimum_per_run && settings_.fault_injection.minimum_per_cycle) { + if (number_of_faults && settings_.fault_injection.minimum_per_run) { for (uint64_t index = settings_.fault_injection.minimum_per_run; index <= settings_.fault_injection.maximum_per_run; ++index) { InitializeFaultCombinations(index, combination_for_faults, bitmask_for_faults); @@ -984,14 +987,16 @@ void Adversaries::EvaluateProbingSetsUnderFaults(std::vector minimum = 0xffffffffffffffff; faults.clear(); - std::cout << "Induce faults at: "; + fault_message = "Induce faults at: ["; for (uint64_t fault_index : combination_for_faults){ Fault const* fault = fault_manager_.GetFault(fault_index); faults.push_back(fault); ++number_of_faults_per_cycle[fault->GetClockCycle()]; - std::cout << circuit_.Signals[fault->GetSignalIndex()]->Name << " (" << fault->GetClockCycle() << "), "; + fault_message += std::string(circuit_.Signals[fault->GetSignalIndex()]->Name) + " (" + std::to_string(fault->GetClockCycle()) + "), "; } - std::cout << std::endl; + + fault_message.pop_back(); + fault_message.back() = ']'; for (uint64_t test_cycle : settings_.fault_injection.clock_cycles) { --test_cycle; @@ -1005,16 +1010,32 @@ void Adversaries::EvaluateProbingSetsUnderFaults(std::vector } if (maximum <= settings_.fault_injection.maximum_per_cycle && minimum >= settings_.fault_injection.minimum_per_cycle) { + std::cout << fault_message << std::endl; simulation_.fault_set.emplace_back(faults); EvaluateProbingSets(shared_data, start_time, probe_step_index); simulation_.fault_set.pop_back(); + + if (GetMaximumLeakage() > maximum_leakage) { + maximum_leakage = GetMaximumLeakage(); + } + + #pragma omp parallel for schedule(guided) + for (uint64_t set_index = 0; set_index < GetNumberOfProbingSets(); ++set_index){ + probing_sets_[set_index].DeconstructTable(); + } } } while (std::prev_permutation(bitmask_for_faults.begin(), bitmask_for_faults.end())); } } else { EvaluateProbingSets(shared_data, start_time, probe_step_index); + + if (GetMaximumLeakage() > maximum_leakage) { + maximum_leakage = GetMaximumLeakage(); + } } + + return maximum_leakage; } template <> @@ -1027,6 +1048,7 @@ double Adversaries::EvaluateMultivariateRobustProbingSecurity(std:: std::vector bitmask_for_probes(number_of_standard_probes, false); InitializeMultivariateProbeCombinations(addresses_for_probes, bitmask_for_probes); double maximum_leakage = 0.0; + double leakage_per_run; uint64_t number_of_probes_per_set = std::min(number_of_standard_probes, settings_.GetTestOrder()); uint64_t maximum_number_of_probing_sets = (uint64_t)boost::math::binomial_coefficient(number_of_standard_probes, number_of_probes_per_set); @@ -1055,9 +1077,11 @@ double Adversaries::EvaluateMultivariateRobustProbingSecurity(std:: RemoveUninformativeProbingSets(); } printer_.PrintProbingSetInformation(propagations_, standard_probes_, extended_probes_, probing_sets_); - EvaluateProbingSetsUnderFaults(shared_data, start_time, probe_step_index); + leakage_per_run = EvaluateProbingSetsUnderFaults(shared_data, start_time, probe_step_index); - maximum_leakage = GetMaximumLeakage(); + if (leakage_per_run > maximum_leakage) { + maximum_leakage = leakage_per_run; + } if (number_of_probing_sets != maximum_number_of_probing_sets) { #pragma omp parallel for schedule(guided) @@ -1080,8 +1104,11 @@ double Adversaries::EvaluateMultivariateRobustProbingSecurity(std:: RemoveUninformativeProbingSets(); } printer_.PrintProbingSetInformation(propagations_, standard_probes_, extended_probes_, probing_sets_); - EvaluateProbingSetsUnderFaults(shared_data, start_time, probe_step_index); - maximum_leakage = GetMaximumLeakage(); + leakage_per_run = EvaluateProbingSetsUnderFaults(shared_data, start_time, probe_step_index); + + if (leakage_per_run > maximum_leakage) { + maximum_leakage = leakage_per_run; + } } return maximum_leakage; @@ -1097,6 +1124,7 @@ double Adversaries::EvaluateMultivariateRobustProbingSecurity(std: std::vector bitmask_for_probes(number_of_standard_probes, false); InitializeMultivariateProbeCombinations(addresses_for_probes, bitmask_for_probes); double maximum_leakage = 0.0; + double leakage_per_run; uint64_t number_of_probes_per_set = std::min(number_of_standard_probes, settings_.GetTestOrder()); uint64_t maximum_number_of_probing_sets = (uint64_t)boost::math::binomial_coefficient(number_of_standard_probes, number_of_probes_per_set); @@ -1120,8 +1148,11 @@ double Adversaries::EvaluateMultivariateRobustProbingSecurity(std: if (set_index == number_of_probing_sets) { std::cout << GetNumberOfProbingSets() << " probing sets generated...done!" << std::endl; printer_.PrintProbingSetInformation(propagations_, standard_probes_, extended_probes_, probing_sets_); - EvaluateProbingSetsUnderFaults(shared_data, start_time, probe_step_index); - maximum_leakage = GetMaximumLeakage(); + leakage_per_run = EvaluateProbingSetsUnderFaults(shared_data, start_time, probe_step_index); + + if (leakage_per_run > maximum_leakage) { + maximum_leakage = leakage_per_run; + } if (number_of_probing_sets != maximum_number_of_probing_sets) { #pragma omp parallel for schedule(guided) @@ -1140,8 +1171,11 @@ double Adversaries::EvaluateMultivariateRobustProbingSecurity(std: probing_sets_.resize(set_index); std::cout << GetNumberOfProbingSets() << " probing sets generated...done!" << std::endl; printer_.PrintProbingSetInformation(propagations_, standard_probes_, extended_probes_, probing_sets_); - EvaluateProbingSetsUnderFaults(shared_data, start_time, probe_step_index); - maximum_leakage = GetMaximumLeakage(); + leakage_per_run = EvaluateProbingSetsUnderFaults(shared_data, start_time, probe_step_index); + + if (leakage_per_run > maximum_leakage) { + maximum_leakage = leakage_per_run; + } } return maximum_leakage; @@ -1159,6 +1193,7 @@ double Adversaries::EvaluateUnivariateRobustProbingSecurity(std::ve std::vector addresses_for_probes; std::vector bitmask_for_probes(number_of_spots, false); double maximum_leakage = 0.0; + double leakage_per_run; uint64_t number_of_probes_per_set = std::min(number_of_spots, settings_.GetTestOrder()); uint64_t maximum_number_of_probing_sets = (uint64_t)(settings_.side_channel_analysis.clock_cycles.size() * boost::math::binomial_coefficient(number_of_spots, number_of_probes_per_set)); @@ -1188,8 +1223,11 @@ double Adversaries::EvaluateUnivariateRobustProbingSecurity(std::ve RemoveUninformativeProbingSets(); } printer_.PrintProbingSetInformation(propagations_, standard_probes_, extended_probes_, probing_sets_); - EvaluateProbingSetsUnderFaults(shared_data, start_time, probe_step_index); - maximum_leakage = GetMaximumLeakage(); + leakage_per_run = EvaluateProbingSetsUnderFaults(shared_data, start_time, probe_step_index); + + if (leakage_per_run > maximum_leakage) { + maximum_leakage = leakage_per_run; + } if (number_of_probing_sets != maximum_number_of_probing_sets) { #pragma omp parallel for schedule(guided) @@ -1213,8 +1251,11 @@ double Adversaries::EvaluateUnivariateRobustProbingSecurity(std::ve RemoveUninformativeProbingSets(); } printer_.PrintProbingSetInformation(propagations_, standard_probes_, extended_probes_, probing_sets_); - EvaluateProbingSetsUnderFaults(shared_data, start_time, probe_step_index); - maximum_leakage = GetMaximumLeakage(); + leakage_per_run = EvaluateProbingSetsUnderFaults(shared_data, start_time, probe_step_index); + + if (leakage_per_run > maximum_leakage) { + maximum_leakage = leakage_per_run; + } } return maximum_leakage; @@ -1232,6 +1273,7 @@ double Adversaries::EvaluateUnivariateRobustProbingSecurity(std::v std::vector addresses_for_probes; std::vector bitmask_for_probes(number_of_spots, false); double maximum_leakage = 0.0; + double leakage_per_run; uint64_t number_of_probes_per_set = std::min(number_of_spots, settings_.GetTestOrder()); uint64_t maximum_number_of_probing_sets = (uint64_t)(settings_.side_channel_analysis.clock_cycles.size() * boost::math::binomial_coefficient(number_of_spots, number_of_probes_per_set)); @@ -1258,8 +1300,11 @@ double Adversaries::EvaluateUnivariateRobustProbingSecurity(std::v if (set_index == number_of_probing_sets) { std::cout << GetNumberOfProbingSets() << " probing sets generated...done!" << std::endl; printer_.PrintProbingSetInformation(propagations_, standard_probes_, extended_probes_, probing_sets_); - EvaluateProbingSetsUnderFaults(shared_data, start_time, probe_step_index); - maximum_leakage = GetMaximumLeakage(); + leakage_per_run = EvaluateProbingSetsUnderFaults(shared_data, start_time, probe_step_index); + + if (leakage_per_run > maximum_leakage) { + maximum_leakage = leakage_per_run; + } if (number_of_probing_sets != maximum_number_of_probing_sets) { #pragma omp parallel for schedule(guided) @@ -1281,8 +1326,11 @@ double Adversaries::EvaluateUnivariateRobustProbingSecurity(std::v std::cout << GetNumberOfProbingSets() << " probing sets generated...done!" << std::endl; printer_.PrintProbingSetInformation(propagations_, standard_probes_, extended_probes_, probing_sets_); - EvaluateProbingSetsUnderFaults(shared_data, start_time, probe_step_index); - maximum_leakage = GetMaximumLeakage(); + leakage_per_run = EvaluateProbingSetsUnderFaults(shared_data, start_time, probe_step_index); + + if (leakage_per_run > maximum_leakage) { + maximum_leakage = leakage_per_run; + } } return maximum_leakage; diff --git a/src/Hardware/Definitions.cpp b/src/Hardware/Definitions.cpp index 2705b83..2e679be 100644 --- a/src/Hardware/Definitions.cpp +++ b/src/Hardware/Definitions.cpp @@ -365,6 +365,7 @@ void Hardware::CircuitStruct::SetIsAnalysisAllowed(const Settings& settings) { void Hardware::CircuitStruct::SetIsFaultAllowed(const Settings& settings) { uint64_t number_of_signals = NumberOfSignals; + uint64_t number_of_constants = NumberOfConstants; std::string signal_name; if (settings.fault_injection.locations.first_include) { @@ -411,7 +412,21 @@ void Hardware::CircuitStruct::SetIsFaultAllowed(const Settings& settings) { } } - // TODO set clock signal to false + for (uint64_t index = 0; index < number_of_constants; ++index) { + Signals[index]->is_fault_allowed = false; + } + + for (uint64_t index = 0; index < number_of_signals; ++index) { + signal_name = Signals[index]->Name; + if (signal_name == settings.GetClockSignalName()) { + Signals[index]->is_fault_allowed = false; + } + } + + uint64_t number_of_inputs = NumberOfInputs; + for (uint64_t index = 0; index < number_of_inputs; ++index) { + Signals[Inputs[index]]->is_fault_allowed = false; + } } diff --git a/src/Hardware/ProbingSets.cpp b/src/Hardware/ProbingSets.cpp index 2b938b2..f13abb0 100644 --- a/src/Hardware/ProbingSets.cpp +++ b/src/Hardware/ProbingSets.cpp @@ -43,13 +43,21 @@ ProbingSet::ProbingSet() { template ProbingSet::ProbingSet(); template ProbingSet::ProbingSet(); +template +void ProbingSet::DeconstructTable() { + contingency_table_.Deconstruct(); +}; + +template void ProbingSet::DeconstructTable(); +template void ProbingSet::DeconstructTable(); + template void ProbingSet::Deconstruct() { probe_addresses_.clear(); //probe_addresses_.shrink_to_fit(); probe_extension_indices_.clear(); //probe_extension_indices_.shrink_to_fit(); - contingency_table_.Deconstruct(); + DeconstructTable(); }; template void ProbingSet::Deconstruct(); diff --git a/src/Hardware/Simulate.cpp b/src/Hardware/Simulate.cpp index 0add01f..4dc0a4e 100644 --- a/src/Hardware/Simulate.cpp +++ b/src/Hardware/Simulate.cpp @@ -92,7 +92,6 @@ void Hardware::Simulate::All(const Hardware::Library &library, const Hardware::C SharedData.signal_values_[simulation.clock_signal_index_] = FullOne; // ----------- evaluate the registers - for (RegIndex = 0; RegIndex < Circuit.NumberOfRegs; RegIndex++) { input_values.resize(Circuit.Cells[Circuit.Regs[RegIndex]]->NumberOfInputs + Circuit.Cells[Circuit.Regs[RegIndex]]->NumberOfOutputs); diff --git a/src/Util/Settings.cpp b/src/Util/Settings.cpp index 61b2ee0..d4ea004 100644 --- a/src/Util/Settings.cpp +++ b/src/Util/Settings.cpp @@ -101,7 +101,8 @@ void Settings::ParsePerformanceSettings(const boost::json::object& json_object, cpu_core_selector.GetOptimalNumberOfThreads(parsed_value); } - if (SetValue(performance_object, SettingNames::MINIMIZE_PROBING_SETS, parsed_value)) { + if (SetValue(performance_object, SettingNames::MINIMIZE_PROBING_SETS, + parsed_value)) { if (is_target_hardware_) { if (parsed_value == "no") { settings.minimize = Minimization::none; @@ -110,8 +111,9 @@ void Settings::ParsePerformanceSettings(const boost::json::object& json_object, } else if (parsed_value == "aggressive") { settings.minimize = Minimization::aggressive; } else { - throw std::invalid_argument(error_context + "Invalid argument for \"" + - SettingNames::MINIMIZE_PROBING_SETS + "\"!"); + throw std::invalid_argument( + error_context + "Invalid argument for \"" + + SettingNames::MINIMIZE_PROBING_SETS + "\"!"); } } else { throw std::runtime_error(error_context + "Unsupported key \"" + @@ -171,7 +173,8 @@ void Settings::ParseSoftwareSettings(const boost::json::object& json_object, } } else { if (SetValue(json_object, identifier, software_object)) { - SetValue(software_object, SettingNames::COMPILER_FLAGS, settings.compiler_flags); + SetValue(software_object, SettingNames::COMPILER_FLAGS, + settings.compiler_flags); if (!SetValue(software_object, SettingNames::LOCATION_OF_CIPHER, settings.location_of_cipher)) { @@ -442,7 +445,8 @@ void Settings::ParseInputSequence( if (is_target_hardware_) { input_assignment.type_ = ValueType::standard; } else { - throw std::runtime_error(error_context + "Key \"type\" not found!"); + throw std::runtime_error(error_context + + "Key \"type\" not found!"); } } @@ -508,7 +512,8 @@ void Settings::ParseInputSequence( } if ((input_sequence.size() != 1) && !is_target_hardware_) { - throw std::invalid_argument(error_context + "Invalid number of arguments!"); + throw std::invalid_argument(error_context + + "Invalid number of arguments!"); } } else { throw std::runtime_error(error_context + "Key \"" + @@ -625,8 +630,7 @@ void Settings::ParseClockCycles(const boost::json::object& json_object, clock_cycles.erase(std::unique(clock_cycles.begin(), clock_cycles.end()), clock_cycles.end()); } else { - for (uint64_t index = 1; index <= GetNumberOfClockCycles(); - ++index) { + for (uint64_t index = 1; index <= GetNumberOfClockCycles(); ++index) { clock_cycles.push_back(index); } } @@ -813,8 +817,8 @@ void Settings::ParseFaultInjectionSettings( throw std::invalid_argument(error_context + "Invalid argument for \"" + SettingNames::FAULT_ANALYSIS + "\"!"); } - } - + } + SetValue(fi, SettingNames::MAXIMUM_NUMBER_OF_FAULTS_PER_RUN, settings.maximum_per_run); SetValue(fi, SettingNames::MINIMUM_NUMBER_OF_FAULTS_PER_RUN, @@ -827,6 +831,20 @@ void Settings::ParseFaultInjectionSettings( settings.clock_cycles); ParseIncludeSettings(fi, SettingNames::FAULT_LOCATIONS, false, settings.locations); + + if (settings.maximum_per_run < settings.minimum_per_run) { + throw std::invalid_argument( + error_context + "Invalid arguments for \"" + + SettingNames::MINIMUM_NUMBER_OF_FAULTS_PER_RUN + "\" and \"" + + SettingNames::MAXIMUM_NUMBER_OF_FAULTS_PER_RUN + "\"!"); + } + + if (settings.maximum_per_cycle < settings.minimum_per_cycle) { + throw std::invalid_argument( + error_context + "Invalid arguments for \"" + + SettingNames::MINIMUM_NUMBER_OF_FAULTS_PER_CYCLE + "\" and \"" + + SettingNames::MAXIMUM_NUMBER_OF_FAULTS_PER_CYCLE + "\"!"); + } } } @@ -856,7 +874,7 @@ uint64_t Settings::GetNumberOfProbingSetsPerStep() const { Minimization Settings::GetMinimization() const { return performance.minimize; } -void Settings::SetMinimization(const Minimization& minimization) { +void Settings::SetMinimization(const Minimization& minimization) { performance.minimize = minimization; } @@ -925,7 +943,8 @@ uint64_t Settings::GetNumberOfBitsPerOutputShare() const { return simulation.output_shares[0].size(); } -std::string Settings::GetOutputShareName(uint64_t share_index, uint64_t bit_index) const { +std::string Settings::GetOutputShareName(uint64_t share_index, + uint64_t bit_index) const { return simulation.output_shares[share_index][bit_index]; } @@ -933,7 +952,8 @@ uint64_t Settings::GetNumberOfExpectedOutputs() const { return simulation.expected_outputs.size(); } -TriStateBit Settings::GetExpectedOutputBit(uint64_t group_index, uint64_t bit_index) const { +TriStateBit Settings::GetExpectedOutputBit(uint64_t group_index, + uint64_t bit_index) const { return simulation.expected_outputs[group_index][bit_index]; } @@ -941,11 +961,13 @@ uint64_t Settings::GetNumberOfEndConditionSignalValuePairs() const { return simulation.end_condition_signals.size(); } -const std::vector>& Settings::GetEndConditionSignalValuePairs() const { +const std::vector>& +Settings::GetEndConditionSignalValuePairs() const { return simulation.end_condition_signals; } -std::pair Settings::GetEndConditionSignalValuePair(uint64_t index) const { +std::pair Settings::GetEndConditionSignalValuePair( + uint64_t index) const { return simulation.end_condition_signals[index]; } @@ -953,11 +975,13 @@ uint64_t Settings::GetNumberOfFaultDetectionSignalValuePairs() const { return simulation.fault_detection_flags.size(); } -const std::vector>& Settings::GetFaultDetectionSignalValuePairs() const { +const std::vector>& +Settings::GetFaultDetectionSignalValuePairs() const { return simulation.fault_detection_flags; } -std::pair Settings::GetFaultDetectionSignalValuePair(uint64_t index) const { +std::pair Settings::GetFaultDetectionSignalValuePair( + uint64_t index) const { return simulation.fault_detection_flags[index]; } @@ -965,11 +989,13 @@ uint64_t Settings::GetNumberOfAlwaysRandomInputSignals() const { return simulation.always_random_input_signals.size(); } -const std::vector& Settings::GetAlwaysRandomInputElement(uint64_t index) const { +const std::vector& Settings::GetAlwaysRandomInputElement( + uint64_t index) const { return simulation.always_random_input_signals[index]; } -const std::vector& Settings::GetInputSequenceOfOneCycle(uint64_t index) const { +const std::vector& Settings::GetInputSequenceOfOneCycle( + uint64_t index) const { return simulation.input_sequence[index]; } @@ -995,27 +1021,12 @@ void Settings::SetTestOrder(uint64_t order) { side_channel_analysis.order = order; } -Analysis Settings::GetVariate() const { - return side_channel_analysis.variate; -} +Analysis Settings::GetVariate() const { return side_channel_analysis.variate; } uint64_t Settings::GetDistance() const { return side_channel_analysis.distance; } - - - - - - - - - - - - - uint64_t Settings::GetNumberOfTestClockCycles() const { return side_channel_analysis.clock_cycles.size(); } @@ -1028,24 +1039,33 @@ uint64_t Settings::GetNumberOfSignalValuePairs(uint64_t index) const { return simulation.input_sequence[index].size(); } -uint64_t Settings::GetSignalLengthPerAssignment(uint64_t clock_index, uint64_t assignment_index) const { - return simulation.input_sequence[clock_index][assignment_index].signal_names_.size(); +uint64_t Settings::GetSignalLengthPerAssignment( + uint64_t clock_index, uint64_t assignment_index) const { + return simulation.input_sequence[clock_index][assignment_index] + .signal_names_.size(); } -uint64_t Settings::GetGroupIndexOfAssignment(uint64_t clock_index, uint64_t assignment_index, uint64_t group_index) const { - return simulation.input_sequence[clock_index][assignment_index].group_indices_[group_index]; +uint64_t Settings::GetGroupIndexOfAssignment(uint64_t clock_index, + uint64_t assignment_index, + uint64_t group_index) const { + return simulation.input_sequence[clock_index][assignment_index] + .group_indices_[group_index]; } -uint64_t Settings::GetShareIndexOfAssignment(uint64_t clock_index, uint64_t assignment_index) const { +uint64_t Settings::GetShareIndexOfAssignment(uint64_t clock_index, + uint64_t assignment_index) const { return simulation.input_sequence[clock_index][assignment_index].share_index_; } -ValueType Settings::GetAssignmentType(uint64_t clock_index, uint64_t assignment_index) const { +ValueType Settings::GetAssignmentType(uint64_t clock_index, + uint64_t assignment_index) const { return simulation.input_sequence[clock_index][assignment_index].type_; } -std::string Settings::GetSignalVectorName(uint64_t clock_index, uint64_t assignment_index) const { - std::string result = simulation.input_sequence[clock_index][assignment_index].signal_names_[0]; +std::string Settings::GetSignalVectorName(uint64_t clock_index, + uint64_t assignment_index) const { + std::string result = + simulation.input_sequence[clock_index][assignment_index].signal_names_[0]; uint64_t index = result.find('['); if (index != std::string::npos) { result = result.substr(0, index); @@ -1053,19 +1073,23 @@ std::string Settings::GetSignalVectorName(uint64_t clock_index, uint64_t assignm return result; } -bool Settings::IsAssignedToConstant(uint64_t clock_index, uint64_t assignment_index) const { - return !simulation.input_sequence[clock_index][assignment_index].signal_values_.empty(); +bool Settings::IsAssignedToConstant(uint64_t clock_index, + uint64_t assignment_index) const { + return !simulation.input_sequence[clock_index][assignment_index] + .signal_values_.empty(); } -TriStateBit Settings::GetAssignedConstantBit(uint64_t clock_index, uint64_t assignment_index, uint64_t bit_index) const { - return simulation.input_sequence[clock_index][assignment_index].signal_values_[bit_index]; +TriStateBit Settings::GetAssignedConstantBit(uint64_t clock_index, + uint64_t assignment_index, + uint64_t bit_index) const { + return simulation.input_sequence[clock_index][assignment_index] + .signal_values_[bit_index]; } bool Settings::EndConditionIsBasedOnClockCycles() const { return simulation.end_condition_signals.empty(); } - std::string Settings::GetEndConditionVectorName() const { std::string result = simulation.end_condition_signals[0].first; uint64_t index = result.find('['); @@ -1075,11 +1099,6 @@ std::string Settings::GetEndConditionVectorName() const { return result; } - - - - - bool Settings::IsMultivariateEvaluationRequired() const { return (GetVariate() != Analysis::univariate) && (side_channel_analysis.clock_cycles.size() > 1) && @@ -1089,8 +1108,7 @@ bool Settings::IsMultivariateEvaluationRequired() const { bool Settings::IsDistanceSmallEnough(uint64_t distance) const { bool is_distance_small_enough = distance <= GetDistance(); bool is_no_unallowed_univariate_set = - (GetVariate() != Analysis::exclusive_multivariate) || - distance != 0; + (GetVariate() != Analysis::exclusive_multivariate) || distance != 0; return is_distance_small_enough && is_no_unallowed_univariate_set; } diff --git a/ut/full/aes_rp_d1_binary/aes_rp_d1_binary.cpp b/tests/full/aes_rp_d1_binary/aes_rp_d1_binary.cpp similarity index 92% rename from ut/full/aes_rp_d1_binary/aes_rp_d1_binary.cpp rename to tests/full/aes_rp_d1_binary/aes_rp_d1_binary.cpp index 378fe76..ffbdea6 100644 --- a/ut/full/aes_rp_d1_binary/aes_rp_d1_binary.cpp +++ b/tests/full/aes_rp_d1_binary/aes_rp_d1_binary.cpp @@ -12,30 +12,30 @@ TEST_CASE("Test full verification (aes_rp_d1_binary)", "[aes_rp_d1_binary]") { po::variables_map vm; vm.insert({"designfile", po::variable_value{ - std::string("ut/full/aes_rp_d1_binary/aes_rp_d1_binary_c.c"), + std::string("tests/full/aes_rp_d1_binary/aes_rp_d1_binary_c.c"), false}}); vm.insert({"configfile", po::variable_value{ - std::string("ut/full/aes_rp_d1_binary/aes_rp_d1_binary.json"), + std::string("tests/full/aes_rp_d1_binary/aes_rp_d1_binary.json"), false}}); vm.insert( {"resultfolder", - po::variable_value{std::string("ut/full/aes_rp_d1_binary/"), false}}); + po::variable_value{std::string("tests/full/aes_rp_d1_binary/"), false}}); vm.insert({"linkerfile", po::variable_value{ - std::string("ut/full/aes_rp_d1_binary/aes_rp_d1_binary.ld"), + std::string("tests/full/aes_rp_d1_binary/aes_rp_d1_binary.ld"), false}}); vm.insert({"binary", po::variable_value{ - std::string("ut/full/aes_rp_d1_binary/aes_rp_d1_binary.elf"), + std::string("tests/full/aes_rp_d1_binary/aes_rp_d1_binary.elf"), false}}); vm.insert({"mapfile", po::variable_value{ - std::string("ut/full/aes_rp_d1_binary/aes_rp_d1_binary.map"), + std::string("tests/full/aes_rp_d1_binary/aes_rp_d1_binary.map"), false}}); vm.insert({"asmfile", po::variable_value{ - std::string("ut/full/aes_rp_d1_binary/aes_rp_d1_binary.txt"), + std::string("tests/full/aes_rp_d1_binary/aes_rp_d1_binary.txt"), false}}); vm.insert({"platform", po::variable_value{std::string("software"), false}}); @@ -54,7 +54,7 @@ TEST_CASE("Test full verification (aes_rp_d1_binary)", "[aes_rp_d1_binary]") { settings.externalBinaryInformation[1] = vm["mapfile"].as(); settings.externalBinaryInformation[2] = vm["asmfile"].as(); Settings settings2(settings_file_path, false); - Read::SettingsFile(settings_file_path, settings, settings2, probes, true); + Read::SettingsFile(settings, settings2, probes, true); SECTION("With transitions in normal mode") { settings.TestTransitional = 1; @@ -181,7 +181,7 @@ SECTION("With transitions in compact mode") { // We expect no leakage in the first order if transitions are ignored. maximum_leakage = Analyze::All(settings, shared_data, global_helper, global_thread_simulations); - REQUIRE(maximum_leakage < 5.0); + REQUIRE(maximum_leakage < 6.0); } SECTION("Without transitions in compact mode") { @@ -223,7 +223,7 @@ SECTION("With transitions in compact mode") { // We expect no leakage in the first order if transitions are ignored. maximum_leakage = Analyze::All(settings, shared_data, global_helper, global_thread_simulations); - REQUIRE(maximum_leakage < 5.0); + REQUIRE(maximum_leakage < 6.0); } std::remove((result_folder_path + "code_section.ARM.exidx").c_str()); diff --git a/ut/full/aes_rp_d1_binary/aes_rp_d1_binary.elf b/tests/full/aes_rp_d1_binary/aes_rp_d1_binary.elf similarity index 100% rename from ut/full/aes_rp_d1_binary/aes_rp_d1_binary.elf rename to tests/full/aes_rp_d1_binary/aes_rp_d1_binary.elf diff --git a/ut/full/aes_rp_d1_binary/aes_rp_d1_binary.json b/tests/full/aes_rp_d1_binary/aes_rp_d1_binary.json similarity index 100% rename from ut/full/aes_rp_d1_binary/aes_rp_d1_binary.json rename to tests/full/aes_rp_d1_binary/aes_rp_d1_binary.json diff --git a/ut/full/aes_rp_d1_binary/aes_rp_d1_binary.ld b/tests/full/aes_rp_d1_binary/aes_rp_d1_binary.ld similarity index 100% rename from ut/full/aes_rp_d1_binary/aes_rp_d1_binary.ld rename to tests/full/aes_rp_d1_binary/aes_rp_d1_binary.ld diff --git a/ut/full/aes_rp_d1_binary/aes_rp_d1_binary.map b/tests/full/aes_rp_d1_binary/aes_rp_d1_binary.map similarity index 100% rename from ut/full/aes_rp_d1_binary/aes_rp_d1_binary.map rename to tests/full/aes_rp_d1_binary/aes_rp_d1_binary.map diff --git a/ut/full/aes_rp_d1_binary/aes_rp_d1_binary.txt b/tests/full/aes_rp_d1_binary/aes_rp_d1_binary.txt similarity index 99% rename from ut/full/aes_rp_d1_binary/aes_rp_d1_binary.txt rename to tests/full/aes_rp_d1_binary/aes_rp_d1_binary.txt index 261bd0a..a5591fd 100644 --- a/ut/full/aes_rp_d1_binary/aes_rp_d1_binary.txt +++ b/tests/full/aes_rp_d1_binary/aes_rp_d1_binary.txt @@ -1,5 +1,5 @@ -ut/full/aes_rp_d1_binary/aes_rp_d1_binary.elf: file format elf32-littlearm +tests/full/aes_rp_d1_binary/aes_rp_d1_binary.elf: file format elf32-littlearm Disassembly of section .text: diff --git a/ut/full/aes_rp_d1_ccode/aes_rp_d1_ccode.cpp b/tests/full/aes_rp_d1_ccode/aes_rp_d1_ccode.cpp similarity index 92% rename from ut/full/aes_rp_d1_ccode/aes_rp_d1_ccode.cpp rename to tests/full/aes_rp_d1_ccode/aes_rp_d1_ccode.cpp index 9b7c26f..b4feed1 100644 --- a/ut/full/aes_rp_d1_ccode/aes_rp_d1_ccode.cpp +++ b/tests/full/aes_rp_d1_ccode/aes_rp_d1_ccode.cpp @@ -13,30 +13,30 @@ TEST_CASE("Test full verification (aes_rp_d1_ccode)", "[aes_rp_d1_ccode]") { vm.insert( {"designfile", po::variable_value{ - std::string("ut/full/aes_rp_d1_ccode/aes_rp_d1_ccode_c.c"), false}}); + std::string("tests/full/aes_rp_d1_ccode/aes_rp_d1_ccode_c.c"), false}}); vm.insert( {"configfile", po::variable_value{ - std::string("ut/full/aes_rp_d1_ccode/aes_rp_d1_ccode.json"), false}}); + std::string("tests/full/aes_rp_d1_ccode/aes_rp_d1_ccode.json"), false}}); vm.insert( {"resultfolder", - po::variable_value{std::string("ut/full/aes_rp_d1_ccode/"), false}}); + po::variable_value{std::string("tests/full/aes_rp_d1_ccode/"), false}}); vm.insert( {"linkerfile", po::variable_value{ - std::string("ut/full/aes_rp_d1_ccode/aes_rp_d1_ccode.ld"), false}}); + std::string("tests/full/aes_rp_d1_ccode/aes_rp_d1_ccode.ld"), false}}); vm.insert( {"binary", po::variable_value{ - std::string("ut/full/aes_rp_d1_ccode/aes_rp_d1_ccode.elf"), false}}); + std::string("tests/full/aes_rp_d1_ccode/aes_rp_d1_ccode.elf"), false}}); vm.insert( {"mapfile", po::variable_value{ - std::string("ut/full/aes_rp_d1_ccode/aes_rp_d1_ccode.map"), false}}); + std::string("tests/full/aes_rp_d1_ccode/aes_rp_d1_ccode.map"), false}}); vm.insert( {"asmfile", po::variable_value{ - std::string("ut/full/aes_rp_d1_ccode/aes_rp_d1_ccode.txt"), false}}); + std::string("tests/full/aes_rp_d1_ccode/aes_rp_d1_ccode.txt"), false}}); vm.insert({"platform", po::variable_value{std::string("software"), false}}); const std::string settings_file_path = vm["configfile"].as(); @@ -50,7 +50,7 @@ TEST_CASE("Test full verification (aes_rp_d1_ccode)", "[aes_rp_d1_ccode]") { double maximum_leakage; Settings settings2(settings_file_path, false); - Read::SettingsFile(settings_file_path, settings, settings2, probes, false); + Read::SettingsFile(settings, settings2, probes, false); SECTION("With transitions in normal mode") { settings.TestTransitional = 1; @@ -175,7 +175,7 @@ TEST_CASE("Test full verification (aes_rp_d1_ccode)", "[aes_rp_d1_ccode]") { // We expect no leakage in the first order if transitions are ignored. maximum_leakage = Analyze::All(settings, shared_data, global_helper, global_thread_simulations); - REQUIRE(maximum_leakage < 5.0); + REQUIRE(maximum_leakage < 6.0); } SECTION("Without transitions in compact mode") { @@ -217,7 +217,7 @@ TEST_CASE("Test full verification (aes_rp_d1_ccode)", "[aes_rp_d1_ccode]") { // We expect no leakage in the first order if transitions are ignored. maximum_leakage = Analyze::All(settings, shared_data, global_helper, global_thread_simulations); - REQUIRE(maximum_leakage < 5.0); + REQUIRE(maximum_leakage < 6.0); } std::remove(vm["binary"].as().c_str()); diff --git a/ut/full/aes_rp_d1_ccode/aes_rp_d1_ccode.json b/tests/full/aes_rp_d1_ccode/aes_rp_d1_ccode.json similarity index 100% rename from ut/full/aes_rp_d1_ccode/aes_rp_d1_ccode.json rename to tests/full/aes_rp_d1_ccode/aes_rp_d1_ccode.json diff --git a/ut/full/aes_rp_d1_ccode/aes_rp_d1_ccode.ld b/tests/full/aes_rp_d1_ccode/aes_rp_d1_ccode.ld similarity index 100% rename from ut/full/aes_rp_d1_ccode/aes_rp_d1_ccode.ld rename to tests/full/aes_rp_d1_ccode/aes_rp_d1_ccode.ld diff --git a/ut/full/aes_rp_d1_ccode/aes_rp_d1_ccode_c.c b/tests/full/aes_rp_d1_ccode/aes_rp_d1_ccode_c.c similarity index 100% rename from ut/full/aes_rp_d1_ccode/aes_rp_d1_ccode_c.c rename to tests/full/aes_rp_d1_ccode/aes_rp_d1_ccode_c.c diff --git a/ut/full/dom_indep_d1/dom_indep_d1.cpp b/tests/full/dom_indep_d1/dom_indep_d1.cpp similarity index 97% rename from ut/full/dom_indep_d1/dom_indep_d1.cpp rename to tests/full/dom_indep_d1/dom_indep_d1.cpp index f50ac1e..2e48f4c 100644 --- a/ut/full/dom_indep_d1/dom_indep_d1.cpp +++ b/tests/full/dom_indep_d1/dom_indep_d1.cpp @@ -46,9 +46,9 @@ class Test { Test TestDomIndepd1(Settings& settings) { const std::string library_file_name = "library.json"; const std::string library_name = "NANG45"; - const std::string design_file_name = "ut/full/dom_indep_d1/dom_indep_d1.v"; + const std::string design_file_name = "tests/full/dom_indep_d1/dom_indep_d1.v"; const std::string topmodule_name = "dom_indep_d1"; - const std::string result_folder_name = "ut/full/dom_indep_d1"; + const std::string result_folder_name = "tests/full/dom_indep_d1"; Hardware::CircuitStruct circuit; Hardware::Library library(library_file_name, library_name, @@ -91,7 +91,7 @@ Test TestDomIndepd1(Settings& settings) { } TEST_CASE("Test full verification (dom_indep_d1)", "[dom_indep_d1]") { - const std::string config_file_name = "ut/full/dom_indep_d1/dom_indep_d1.json"; + const std::string config_file_name = "tests/full/dom_indep_d1/dom_indep_d1.json"; Settings settings(config_file_name, true); diff --git a/ut/full/dom_indep_d1/dom_indep_d1.json b/tests/full/dom_indep_d1/dom_indep_d1.json similarity index 100% rename from ut/full/dom_indep_d1/dom_indep_d1.json rename to tests/full/dom_indep_d1/dom_indep_d1.json diff --git a/ut/full/dom_indep_d1/dom_indep_d1.v b/tests/full/dom_indep_d1/dom_indep_d1.v similarity index 100% rename from ut/full/dom_indep_d1/dom_indep_d1.v rename to tests/full/dom_indep_d1/dom_indep_d1.v diff --git a/ut/full/dom_indep_d1_analysis/dom_indep_d1_analysis.cpp b/tests/full/dom_indep_d1_analysis/dom_indep_d1_analysis.cpp similarity index 97% rename from ut/full/dom_indep_d1_analysis/dom_indep_d1_analysis.cpp rename to tests/full/dom_indep_d1_analysis/dom_indep_d1_analysis.cpp index de57795..6416c41 100644 --- a/ut/full/dom_indep_d1_analysis/dom_indep_d1_analysis.cpp +++ b/tests/full/dom_indep_d1_analysis/dom_indep_d1_analysis.cpp @@ -47,9 +47,9 @@ Test TestDomIndepd1Analysis(Settings& settings) { const std::string library_file_name = "library.json"; const std::string library_name = "NANG45"; const std::string design_file_name = - "ut/full/dom_indep_d1_analysis/dom_indep_d1_analysis.v"; + "tests/full/dom_indep_d1_analysis/dom_indep_d1_analysis.v"; const std::string topmodule_name = "dom_indep_d1_analysis"; - const std::string result_folder_name = "ut/full/dom_indep_d1_analysis"; + const std::string result_folder_name = "tests/full/dom_indep_d1_analysis"; Hardware::CircuitStruct circuit; Hardware::Library library(library_file_name, library_name, @@ -94,7 +94,7 @@ Test TestDomIndepd1Analysis(Settings& settings) { TEST_CASE("Test full verification (dom_indep_d1_analysis)", "[dom_indep_d1_analysis]") { const std::string config_file_name = - "ut/full/dom_indep_d1_analysis/dom_indep_d1_analysis.json"; + "tests/full/dom_indep_d1_analysis/dom_indep_d1_analysis.json"; Settings settings(config_file_name, true); diff --git a/ut/full/dom_indep_d1_analysis/dom_indep_d1_analysis.json b/tests/full/dom_indep_d1_analysis/dom_indep_d1_analysis.json similarity index 100% rename from ut/full/dom_indep_d1_analysis/dom_indep_d1_analysis.json rename to tests/full/dom_indep_d1_analysis/dom_indep_d1_analysis.json diff --git a/ut/full/dom_indep_d1_analysis/dom_indep_d1_analysis.v b/tests/full/dom_indep_d1_analysis/dom_indep_d1_analysis.v similarity index 100% rename from ut/full/dom_indep_d1_analysis/dom_indep_d1_analysis.v rename to tests/full/dom_indep_d1_analysis/dom_indep_d1_analysis.v diff --git a/ut/full/dom_indep_d1_extension/dom_indep_d1_extension.cpp b/tests/full/dom_indep_d1_extension/dom_indep_d1_extension.cpp similarity index 96% rename from ut/full/dom_indep_d1_extension/dom_indep_d1_extension.cpp rename to tests/full/dom_indep_d1_extension/dom_indep_d1_extension.cpp index d59e7ee..6b6db9b 100644 --- a/ut/full/dom_indep_d1_extension/dom_indep_d1_extension.cpp +++ b/tests/full/dom_indep_d1_extension/dom_indep_d1_extension.cpp @@ -47,9 +47,9 @@ Test TestDomIndepd1Extension(Settings& settings) { const std::string library_file_name = "library.json"; const std::string library_name = "NANG45"; const std::string design_file_name = - "ut/full/dom_indep_d1_extension/dom_indep_d1_extension.v"; + "tests/full/dom_indep_d1_extension/dom_indep_d1_extension.v"; const std::string topmodule_name = "dom_indep_d1_extension"; - const std::string result_folder_name = "ut/full/dom_indep_d1_extension"; + const std::string result_folder_name = "tests/full/dom_indep_d1_extension"; Hardware::CircuitStruct circuit; Hardware::Library library(library_file_name, library_name, @@ -93,7 +93,7 @@ Test TestDomIndepd1Extension(Settings& settings) { TEST_CASE("Test full verification (dom_indep_d1_extension)", "[dom_indep_d1_extension]") { const std::string config_file_name = - "ut/full/dom_indep_d1_extension/dom_indep_d1_extension.json"; + "tests/full/dom_indep_d1_extension/dom_indep_d1_extension.json"; Settings settings(config_file_name, true); diff --git a/ut/full/dom_indep_d1_extension/dom_indep_d1_extension.json b/tests/full/dom_indep_d1_extension/dom_indep_d1_extension.json similarity index 100% rename from ut/full/dom_indep_d1_extension/dom_indep_d1_extension.json rename to tests/full/dom_indep_d1_extension/dom_indep_d1_extension.json diff --git a/ut/full/dom_indep_d1_extension/dom_indep_d1_extension.v b/tests/full/dom_indep_d1_extension/dom_indep_d1_extension.v similarity index 100% rename from ut/full/dom_indep_d1_extension/dom_indep_d1_extension.v rename to tests/full/dom_indep_d1_extension/dom_indep_d1_extension.v diff --git a/ut/full/dom_indep_d1_fault_as_probe/dom_indep_d1_fault_as_probe.cpp b/tests/full/dom_indep_d1_fault_as_probe/dom_indep_d1_fault_as_probe.cpp similarity index 96% rename from ut/full/dom_indep_d1_fault_as_probe/dom_indep_d1_fault_as_probe.cpp rename to tests/full/dom_indep_d1_fault_as_probe/dom_indep_d1_fault_as_probe.cpp index 609adff..a65edfe 100644 --- a/ut/full/dom_indep_d1_fault_as_probe/dom_indep_d1_fault_as_probe.cpp +++ b/tests/full/dom_indep_d1_fault_as_probe/dom_indep_d1_fault_as_probe.cpp @@ -47,9 +47,9 @@ Test TestDomIndepd1FaultAsProbe(Settings& settings) { const std::string library_file_name = "library.json"; const std::string library_name = "NANG45"; const std::string design_file_name = - "ut/full/dom_indep_d1_fault_as_probe/dom_indep_d1_fault_as_probe.v"; + "tests/full/dom_indep_d1_fault_as_probe/dom_indep_d1_fault_as_probe.v"; const std::string topmodule_name = "dom_indep_d1_fault_as_probe"; - const std::string result_folder_name = "ut/full/dom_indep_d1_fault_as_probe"; + const std::string result_folder_name = "tests/full/dom_indep_d1_fault_as_probe"; Hardware::CircuitStruct circuit; Hardware::Library library(library_file_name, library_name, @@ -94,7 +94,7 @@ Test TestDomIndepd1FaultAsProbe(Settings& settings) { TEST_CASE("Test full verification (dom_indep_d1_fault_as_probe)", "[dom_indep_d1_fault_as_probe]") { const std::string config_file_name = - "ut/full/dom_indep_d1_fault_as_probe/dom_indep_d1_fault_as_probe.json"; + "tests/full/dom_indep_d1_fault_as_probe/dom_indep_d1_fault_as_probe.json"; Settings settings(config_file_name, true); diff --git a/ut/full/dom_indep_d1_fault_as_probe/dom_indep_d1_fault_as_probe.json b/tests/full/dom_indep_d1_fault_as_probe/dom_indep_d1_fault_as_probe.json similarity index 100% rename from ut/full/dom_indep_d1_fault_as_probe/dom_indep_d1_fault_as_probe.json rename to tests/full/dom_indep_d1_fault_as_probe/dom_indep_d1_fault_as_probe.json diff --git a/ut/full/dom_indep_d1_fault_as_probe/dom_indep_d1_fault_as_probe.v b/tests/full/dom_indep_d1_fault_as_probe/dom_indep_d1_fault_as_probe.v similarity index 100% rename from ut/full/dom_indep_d1_fault_as_probe/dom_indep_d1_fault_as_probe.v rename to tests/full/dom_indep_d1_fault_as_probe/dom_indep_d1_fault_as_probe.v diff --git a/ut/full/dom_indep_d1_faulty_rand/dom_indep_d1_faulty_rand.cpp b/tests/full/dom_indep_d1_faulty_rand/dom_indep_d1_faulty_rand.cpp similarity index 96% rename from ut/full/dom_indep_d1_faulty_rand/dom_indep_d1_faulty_rand.cpp rename to tests/full/dom_indep_d1_faulty_rand/dom_indep_d1_faulty_rand.cpp index 49753b7..ba97ed9 100644 --- a/ut/full/dom_indep_d1_faulty_rand/dom_indep_d1_faulty_rand.cpp +++ b/tests/full/dom_indep_d1_faulty_rand/dom_indep_d1_faulty_rand.cpp @@ -50,9 +50,9 @@ Test TestDomIndepd1FaultyRand(Settings& settings) { const std::string library_file_name = "library.json"; const std::string library_name = "NANG45"; const std::string design_file_name = - "ut/full/dom_indep_d1_faulty_rand/dom_indep_d1_faulty_rand.v"; + "tests/full/dom_indep_d1_faulty_rand/dom_indep_d1_faulty_rand.v"; const std::string topmodule_name = "dom_indep_d1_faulty_rand"; - const std::string result_folder_name = "ut/full/dom_indep_d1_faulty_rand"; + const std::string result_folder_name = "tests/full/dom_indep_d1_faulty_rand"; Hardware::CircuitStruct circuit; Hardware::Library library(library_file_name, library_name, @@ -97,7 +97,7 @@ Test TestDomIndepd1FaultyRand(Settings& settings) { TEST_CASE("Test full verification (dom_indep_d1_faulty_rand)", "[dom_indep_d1_faulty_rand]") { const std::string config_file_name = - "ut/full/dom_indep_d1_faulty_rand/dom_indep_d1_faulty_rand.json"; + "tests/full/dom_indep_d1_faulty_rand/dom_indep_d1_faulty_rand.json"; Settings settings(config_file_name, true); diff --git a/ut/full/dom_indep_d1_faulty_rand/dom_indep_d1_faulty_rand.json b/tests/full/dom_indep_d1_faulty_rand/dom_indep_d1_faulty_rand.json similarity index 98% rename from ut/full/dom_indep_d1_faulty_rand/dom_indep_d1_faulty_rand.json rename to tests/full/dom_indep_d1_faulty_rand/dom_indep_d1_faulty_rand.json index cb1f948..875c46b 100644 --- a/ut/full/dom_indep_d1_faulty_rand/dom_indep_d1_faulty_rand.json +++ b/tests/full/dom_indep_d1_faulty_rand/dom_indep_d1_faulty_rand.json @@ -67,7 +67,7 @@ "fault_locations": { "include": { - "signals": "r" + "signals": ".*" }, "exclude": { "signals": "(?!)" diff --git a/ut/full/dom_indep_d1_faulty_rand/dom_indep_d1_faulty_rand.v b/tests/full/dom_indep_d1_faulty_rand/dom_indep_d1_faulty_rand.v similarity index 100% rename from ut/full/dom_indep_d1_faulty_rand/dom_indep_d1_faulty_rand.v rename to tests/full/dom_indep_d1_faulty_rand/dom_indep_d1_faulty_rand.v diff --git a/ut/full/dom_indep_d1_non_flatten/dom_indep_d1_non_flatten.cpp b/tests/full/dom_indep_d1_non_flatten/dom_indep_d1_non_flatten.cpp similarity index 96% rename from ut/full/dom_indep_d1_non_flatten/dom_indep_d1_non_flatten.cpp rename to tests/full/dom_indep_d1_non_flatten/dom_indep_d1_non_flatten.cpp index 0de2e6d..f0f95fc 100644 --- a/ut/full/dom_indep_d1_non_flatten/dom_indep_d1_non_flatten.cpp +++ b/tests/full/dom_indep_d1_non_flatten/dom_indep_d1_non_flatten.cpp @@ -47,9 +47,9 @@ Test TestDomIndepd1NonFlatten(Settings& settings) { const std::string library_file_name = "library.json"; const std::string library_name = "NANG45"; const std::string design_file_name = - "ut/full/dom_indep_d1_non_flatten/dom_indep_d1_non_flatten.v"; + "tests/full/dom_indep_d1_non_flatten/dom_indep_d1_non_flatten.v"; const std::string topmodule_name = "dom_indep_d1_non_flatten"; - const std::string result_folder_name = "ut/full/dom_indep_d1_non_flatten"; + const std::string result_folder_name = "tests/full/dom_indep_d1_non_flatten"; Hardware::CircuitStruct circuit; Hardware::Library library(library_file_name, library_name, @@ -93,7 +93,7 @@ Test TestDomIndepd1NonFlatten(Settings& settings) { TEST_CASE("Test full verification (dom_indep_d1_non_flatten)", "[dom_indep_d1_non_flatten]") { const std::string config_file_name = - "ut/full/dom_indep_d1_non_flatten/dom_indep_d1_non_flatten.json"; + "tests/full/dom_indep_d1_non_flatten/dom_indep_d1_non_flatten.json"; Settings settings(config_file_name, true); diff --git a/ut/full/dom_indep_d1_non_flatten/dom_indep_d1_non_flatten.json b/tests/full/dom_indep_d1_non_flatten/dom_indep_d1_non_flatten.json similarity index 100% rename from ut/full/dom_indep_d1_non_flatten/dom_indep_d1_non_flatten.json rename to tests/full/dom_indep_d1_non_flatten/dom_indep_d1_non_flatten.json diff --git a/ut/full/dom_indep_d1_non_flatten/dom_indep_d1_non_flatten.v b/tests/full/dom_indep_d1_non_flatten/dom_indep_d1_non_flatten.v similarity index 100% rename from ut/full/dom_indep_d1_non_flatten/dom_indep_d1_non_flatten.v rename to tests/full/dom_indep_d1_non_flatten/dom_indep_d1_non_flatten.v diff --git a/ut/full/dom_indep_d1_placement/dom_indep_d1_placement.cpp b/tests/full/dom_indep_d1_placement/dom_indep_d1_placement.cpp similarity index 97% rename from ut/full/dom_indep_d1_placement/dom_indep_d1_placement.cpp rename to tests/full/dom_indep_d1_placement/dom_indep_d1_placement.cpp index 6247977..5c7cee8 100644 --- a/ut/full/dom_indep_d1_placement/dom_indep_d1_placement.cpp +++ b/tests/full/dom_indep_d1_placement/dom_indep_d1_placement.cpp @@ -47,9 +47,9 @@ Test TestDomIndepd1Placement(Settings& settings) { const std::string library_file_name = "library.json"; const std::string library_name = "NANG45"; const std::string design_file_name = - "ut/full/dom_indep_d1_placement/dom_indep_d1_placement.v"; + "tests/full/dom_indep_d1_placement/dom_indep_d1_placement.v"; const std::string topmodule_name = "dom_indep_d1_placement"; - const std::string result_folder_name = "ut/full/dom_indep_d1_placement"; + const std::string result_folder_name = "tests/full/dom_indep_d1_placement"; Hardware::CircuitStruct circuit; Hardware::Library library(library_file_name, library_name, @@ -94,7 +94,7 @@ Test TestDomIndepd1Placement(Settings& settings) { TEST_CASE("Test full verification (dom_indep_d1_placement)", "[dom_indep_d1_placement]") { const std::string config_file_name = - "ut/full/dom_indep_d1_placement/dom_indep_d1_placement.json"; + "tests/full/dom_indep_d1_placement/dom_indep_d1_placement.json"; Settings settings(config_file_name, true); diff --git a/ut/full/dom_indep_d1_placement/dom_indep_d1_placement.json b/tests/full/dom_indep_d1_placement/dom_indep_d1_placement.json similarity index 100% rename from ut/full/dom_indep_d1_placement/dom_indep_d1_placement.json rename to tests/full/dom_indep_d1_placement/dom_indep_d1_placement.json diff --git a/ut/full/dom_indep_d1_placement/dom_indep_d1_placement.v b/tests/full/dom_indep_d1_placement/dom_indep_d1_placement.v similarity index 100% rename from ut/full/dom_indep_d1_placement/dom_indep_d1_placement.v rename to tests/full/dom_indep_d1_placement/dom_indep_d1_placement.v diff --git a/tests/full/dom_indep_d2/dom_indep_d2.cpp b/tests/full/dom_indep_d2/dom_indep_d2.cpp new file mode 100644 index 0000000..4ddebb7 --- /dev/null +++ b/tests/full/dom_indep_d2/dom_indep_d2.cpp @@ -0,0 +1,305 @@ +#include +#include "Hardware/Adversaries.hpp" +#include "Hardware/Prepare.hpp" + +class Test { + public: + Test(double maximum_leakage, uint64_t number_of_propagations, + uint64_t number_of_standard_probes, uint64_t number_of_probe_extensions, + uint64_t number_of_probing_sets) + : maximum_leakage_(maximum_leakage), + number_of_propagations_(number_of_propagations), + number_of_standard_probes_(number_of_standard_probes), + number_of_probe_extensions_(number_of_probe_extensions), + number_of_probing_sets_(number_of_probing_sets) {} + + bool Require(bool leakage_expected, uint64_t number_of_propagations, + uint64_t number_of_standard_probes, + uint64_t number_of_probe_extensions, + uint64_t number_of_probing_sets) { + if (leakage_expected && maximum_leakage_ < 5.0) { + return false; + } else if (!leakage_expected && maximum_leakage_ >= 5.0) { + return false; + } else if (number_of_propagations != number_of_propagations_) { + return false; + } else if (number_of_standard_probes != number_of_standard_probes_) { + return false; + } else if (number_of_probe_extensions != number_of_probe_extensions_) { + return false; + } else if (number_of_probing_sets != number_of_probing_sets_) { + return false; + } else { + return true; + } + } + + private: + double maximum_leakage_; + uint64_t number_of_propagations_; + uint64_t number_of_standard_probes_; + uint64_t number_of_probe_extensions_; + uint64_t number_of_probing_sets_; +}; + +Test TestDomIndepd2(Settings& settings) { + const std::string library_file_name = "library.json"; + const std::string library_name = "NANG45"; + const std::string design_file_name = "tests/full/dom_indep_d2/dom_indep_d2.v"; + const std::string topmodule_name = "dom_indep_d2"; + const std::string result_folder_name = "tests/full/dom_indep_d2"; + + Hardware::CircuitStruct circuit; + Hardware::Library library(library_file_name, library_name, + settings.IsRelaxedModel()); + Hardware::Read::DesignFile(design_file_name, topmodule_name, settings, + library, &circuit, 0, 0, 0, NULL); + circuit.SetIsProbeAllowed(library, settings); + circuit.SetIsExtensionAllowed(library, settings); + circuit.SetIsAnalysisAllowed(settings); + circuit.SetIsFaultAllowed(settings); + std::cout << "done" << std::endl; + + Hardware::Prepare::MakeCircuitDepth(library, &circuit); + + std::vector shared_data(settings.GetNumberOfThreads(), + SharedData(circuit, settings)); + Simulation simulation(circuit, settings); + simulation.topmodule_name_ = topmodule_name; + simulation.result_folder_name_ = result_folder_name; + + if (settings.IsRelaxedModel()) { + Hardware::Adversaries adversary( + library, circuit, settings, simulation); + double maximum_leakage = + adversary.EvaluateRobustProbingSecurity(shared_data); + return Test(maximum_leakage, adversary.GetNumberOfPropagations(), + adversary.GetNumberOfStandardProbes(), + adversary.GetNumberOfExtendedProbes(), + adversary.GetNumberOfProbingSets()); + } else { + Hardware::Adversaries adversary( + library, circuit, settings, simulation); + double maximum_leakage = + adversary.EvaluateRobustProbingSecurity(shared_data); + return Test(maximum_leakage, adversary.GetNumberOfPropagations(), + adversary.GetNumberOfStandardProbes(), + adversary.GetNumberOfExtendedProbes(), + adversary.GetNumberOfProbingSets()); + } +} + +TEST_CASE("Test full verification (dom_indep_d2)", "[dom_indep_d2]") { + const std::string config_file_name = + "tests/full/dom_indep_d2/dom_indep_d2.json"; + + Settings settings(config_file_name, true); + + SECTION("Robust Probing Model with no minimization in normal mode") { + settings.SetMinimization(Minimization::none); + settings.SetRelaxedModel(false); + settings.SetTestOrder(GENERATE(2, 3)); + + Test test = TestDomIndepd2(settings); + + if (settings.GetTestOrder() == 2) { + // We expect no leakage in the second order. + REQUIRE(test.Require(false, 21, 42, 30, 420)); + } else { + // But we expect leakage in the third order. + REQUIRE(test.Require(true, 21, 42, 30, 2660)); + } + } + + SECTION("Robust Probing Model with trivial minimization in normal mode") { + settings.SetMinimization(Minimization::trivial); + settings.SetRelaxedModel(false); + settings.SetTestOrder(GENERATE(2, 3)); + + Test test = TestDomIndepd2(settings); + + if (settings.GetTestOrder() == 2) { + // We expect no leakage in the second order. + REQUIRE(test.Require(false, 9, 18, 30, 72)); + } else { + // But we expect leakage in the third order. + REQUIRE(test.Require(true, 9, 18, 30, 160)); + } + } + + SECTION("Robust Probing Model with aggressive minimization in normal mode") { + settings.SetMinimization(Minimization::aggressive); + settings.SetRelaxedModel(false); + settings.SetTestOrder(GENERATE(2, 3)); + + Test test = TestDomIndepd2(settings); + + if (settings.GetTestOrder() == 2) { + // We expect no leakage in the second order. + REQUIRE(test.Require(false, 9, 18, 30, 36)); + } else { + // But we expect leakage in the third order. + REQUIRE(test.Require(true, 9, 18, 30, 44)); + } + } + + SECTION( + "Robust but Relaxed Probing Model with no minimization in normal mode") { + settings.SetMinimization(Minimization::none); + settings.SetRelaxedModel(true); + settings.SetTestOrder(GENERATE(2, 3)); + + Test test = TestDomIndepd2(settings); + + if (settings.GetTestOrder() == 2) { + // We expect no leakage in the second order. + REQUIRE(test.Require(false, 72, 42, 72, 420)); + } else { + // But we expect leakage in the third order. + REQUIRE(test.Require(true, 72, 42, 72, 2660)); + } + } + + SECTION( + "Robust but Relaxed Probing Model with trivial minimization in normal " + "mode") { + settings.SetMinimization(Minimization::trivial); + settings.SetRelaxedModel(true); + settings.SetTestOrder(GENERATE(2, 3)); + + Test test = TestDomIndepd2(settings); + + if (settings.GetTestOrder() == 2) { + // We expect no leakage in the second order. + REQUIRE(test.Require(false, 72, 18, 72, 72)); + } else { + // But we expect leakage in the third order. + REQUIRE(test.Require(true, 72, 18, 72, 168)); + } + } + + SECTION( + "Robust but Relaxed Probing Model with aggressive minimization in normal " + "mode") { + settings.SetMinimization(Minimization::aggressive); + settings.SetRelaxedModel(true); + settings.SetTestOrder(GENERATE(2, 3)); + + Test test = TestDomIndepd2(settings); + + if (settings.GetTestOrder() == 2) { + // We expect no leakage in the second order. + REQUIRE(test.Require(false, 72, 18, 72, 72)); + } else { + // But we expect leakage in the third order. + REQUIRE(test.Require(true, 72, 18, 72, 168)); + } + } + + SECTION("Robust Probing Model with no minimization in compact mode") { + settings.SetMinimization(Minimization::none); + settings.SetCompactDistribution(true); + settings.SetRelaxedModel(false); + settings.SetTestOrder(GENERATE(2, 3)); + + Test test = TestDomIndepd2(settings); + + if (settings.GetTestOrder() == 2) { + // We expect no leakage in the second order. + REQUIRE(test.Require(false, 21, 42, 30, 420)); + } else { + // But we expect leakage in the third order. + REQUIRE(test.Require(true, 21, 42, 30, 2660)); + } + } + + SECTION("Robust Probing Model with trivial minimization in compact mode") { + settings.SetMinimization(Minimization::trivial); + settings.SetCompactDistribution(true); + settings.SetRelaxedModel(false); + settings.SetTestOrder(GENERATE(2, 3)); + + Test test = TestDomIndepd2(settings); + + if (settings.GetTestOrder() == 2) { + // We expect no leakage in the second order. + REQUIRE(test.Require(false, 9, 18, 30, 72)); + } else { + // But we expect leakage in the third order. + REQUIRE(test.Require(true, 9, 18, 30, 160)); + } + } + + SECTION("Robust Probing Model with aggressive minimization in compact mode") { + settings.SetMinimization(Minimization::aggressive); + settings.SetCompactDistribution(true); + settings.SetRelaxedModel(false); + settings.SetTestOrder(GENERATE(2, 3)); + + Test test = TestDomIndepd2(settings); + + if (settings.GetTestOrder() == 2) { + // We expect no leakage in the second order. + REQUIRE(test.Require(false, 9, 18, 30, 36)); + } else { + // But we expect leakage in the third order. + REQUIRE(test.Require(true, 9, 18, 30, 44)); + } + } + + SECTION( + "Robust but Relaxed Probing Model with no minimization in compact mode") { + settings.SetMinimization(Minimization::none); + settings.SetCompactDistribution(true); + settings.SetRelaxedModel(true); + settings.SetTestOrder(GENERATE(2, 3)); + + Test test = TestDomIndepd2(settings); + + if (settings.GetTestOrder() == 2) { + // We expect no leakage in the second order. + REQUIRE(test.Require(false, 72, 42, 72, 420)); + } else { + // But we expect leakage in the third order. + REQUIRE(test.Require(true, 72, 42, 72, 2660)); + } + } + + SECTION( + "Robust but Relaxed Probing Model with trivial minimization in compact " + "mode") { + settings.SetMinimization(Minimization::trivial); + settings.SetCompactDistribution(true); + settings.SetRelaxedModel(true); + settings.SetTestOrder(GENERATE(2, 3)); + + Test test = TestDomIndepd2(settings); + + if (settings.GetTestOrder() == 2) { + // We expect no leakage in the second order. + REQUIRE(test.Require(false, 72, 18, 72, 72)); + } else { + // But we expect leakage in the third order. + REQUIRE(test.Require(true, 72, 18, 72, 168)); + } + } + + SECTION( + "Robust but Relaxed Probing Model with aggressive minimization in " + "compact mode") { + settings.SetMinimization(Minimization::aggressive); + settings.SetCompactDistribution(true); + settings.SetRelaxedModel(true); + settings.SetTestOrder(GENERATE(2, 3)); + + Test test = TestDomIndepd2(settings); + + if (settings.GetTestOrder() == 2) { + // We expect no leakage in the second order. + REQUIRE(test.Require(false, 72, 18, 72, 72)); + } else { + // But we expect leakage in the third order. + REQUIRE(test.Require(true, 72, 18, 72, 168)); + } + } +} \ No newline at end of file diff --git a/tests/full/dom_indep_d2/dom_indep_d2.json b/tests/full/dom_indep_d2/dom_indep_d2.json new file mode 100644 index 0000000..06479dc --- /dev/null +++ b/tests/full/dom_indep_d2/dom_indep_d2.json @@ -0,0 +1,66 @@ +{ + "performance": { + "max_number_of_threads": "half", + "minimize_probing_sets": "aggressive" + }, + "simulation": { + "groups": [ + "2'b$$", + "2'b11" + ], + "output_shares": [ + "port_c[0]", + "port_c[1]", + "port_c[2]" + ], + "expected_output": [ + "1'b$", + "1'b1" + ], + "number_of_clock_cycles": 2, + "always_random_inputs" : [ + "port_r[0]", + "port_r[1]", + "port_r[2]" + ], + "input_sequence": [ + { + "signals": [ + { + "name": "port_a[0]", + "value": "group_in0[0]" + }, + { + "name": "port_b[0]", + "value": "group_in0[1]" + }, + { + "name": "port_a[1]", + "value": "group_in1[0]" + }, + { + "name": "port_b[1]", + "value": "group_in1[1]" + }, + { + "name": "port_a[2]", + "value": "group_in2[0]" + }, + { + "name": "port_b[2]", + "value": "group_in2[1]" + } + ] + } + ], + "number_of_simulations": 32768, + "number_of_simulations_per_step": 4096 + }, + "hardware": { + "clock_signal_name": "clk" + }, + "side_channel_analysis": { + "order": 2, + "transitional_leakage": true + } +} \ No newline at end of file diff --git a/tests/full/dom_indep_d2/dom_indep_d2.v b/tests/full/dom_indep_d2/dom_indep_d2.v new file mode 100644 index 0000000..8613632 --- /dev/null +++ b/tests/full/dom_indep_d2/dom_indep_d2.v @@ -0,0 +1,44 @@ +module dom_indep_d2 (clk, port_a, port_b, port_c, port_r); + input clk; + input [2:0] port_a; + input [2:0] port_b; + input [2:0] port_r; + output [2:0] port_c; + + wire i0, i1, i2, i3, i4, i5, i6, i7, i8; + wire j0, j1, j2, j3, j4, j5; + wire l0, l1, l2, l3, l4, l5; + wire p0, p1, p2; + + AND2_X1 U0 ( .A1(port_a[0]), .A2(port_b[0]), .ZN(i0) ); + AND2_X1 U1 ( .A1(port_a[0]), .A2(port_b[1]), .ZN(i1) ); + AND2_X1 U2 ( .A1(port_a[0]), .A2(port_b[2]), .ZN(i2) ); + AND2_X1 U3 ( .A1(port_a[1]), .A2(port_b[0]), .ZN(i3) ); + AND2_X1 U4 ( .A1(port_a[1]), .A2(port_b[1]), .ZN(i4) ); + AND2_X1 U5 ( .A1(port_a[1]), .A2(port_b[2]), .ZN(i5) ); + AND2_X1 U6 ( .A1(port_a[2]), .A2(port_b[0]), .ZN(i6) ); + AND2_X1 U7 ( .A1(port_a[2]), .A2(port_b[1]), .ZN(i7) ); + AND2_X1 U8 ( .A1(port_a[2]), .A2(port_b[2]), .ZN(i8) ); + + XOR2_X1 U9 ( .A(i1), .B(port_r[0]), .Z(j0) ); + XOR2_X1 U10 ( .A(i2), .B(port_r[1]), .Z(j1) ); + XOR2_X1 U11 ( .A(i3), .B(port_r[0]), .Z(j2) ); + XOR2_X1 U12 ( .A(i5), .B(port_r[2]), .Z(j3) ); + XOR2_X1 U13 ( .A(i6), .B(port_r[1]), .Z(j4) ); + XOR2_X1 U14 ( .A(i7), .B(port_r[2]), .Z(j5) ); + + DFF_X1 U15 ( .D(j0), .CK(clk), .Q(l0), .QN() ); + DFF_X1 U16 ( .D(j1), .CK(clk), .Q(l1), .QN() ); + DFF_X1 U17 ( .D(j2), .CK(clk), .Q(l2), .QN() ); + DFF_X1 U18 ( .D(j3), .CK(clk), .Q(l3), .QN() ); + DFF_X1 U19 ( .D(j4), .CK(clk), .Q(l4), .QN() ); + DFF_X1 U20 ( .D(j5), .CK(clk), .Q(l5), .QN() ); + + XOR2_X1 U21 ( .A(l0), .B(l1), .Z(p0) ); + XOR2_X1 U22 ( .A(l2), .B(l3), .Z(p1) ); + XOR2_X1 U23 ( .A(l4), .B(l5), .Z(p2) ); + + XOR2_X1 U24 ( .A(i0), .B(p0), .Z(port_c[0]) ); + XOR2_X1 U25 ( .A(i4), .B(p1), .Z(port_c[1]) ); + XOR2_X1 U26 ( .A(i8), .B(p2), .Z(port_c[2]) ); +endmodule \ No newline at end of file diff --git a/ut/full/lmdpl_and_d1/lmdpl_and_d1.cpp b/tests/full/lmdpl_and_d1/lmdpl_and_d1.cpp similarity index 96% rename from ut/full/lmdpl_and_d1/lmdpl_and_d1.cpp rename to tests/full/lmdpl_and_d1/lmdpl_and_d1.cpp index db40336..edb5cc1 100644 --- a/ut/full/lmdpl_and_d1/lmdpl_and_d1.cpp +++ b/tests/full/lmdpl_and_d1/lmdpl_and_d1.cpp @@ -46,9 +46,9 @@ class Test { Test TestLmdplAndd1(Settings& settings) { const std::string library_file_name = "library.json"; const std::string library_name = "NANG45"; - const std::string design_file_name = "ut/full/lmdpl_and_d1/lmdpl_and_d1.v"; + const std::string design_file_name = "tests/full/lmdpl_and_d1/lmdpl_and_d1.v"; const std::string topmodule_name = "lmdpl_and_d1"; - const std::string result_folder_name = "ut/full/lmdpl_and_d1"; + const std::string result_folder_name = "tests/full/lmdpl_and_d1"; Hardware::CircuitStruct circuit; Hardware::Library library(library_file_name, library_name, @@ -91,7 +91,7 @@ Test TestLmdplAndd1(Settings& settings) { } TEST_CASE("Test full verification (lmdpl_and_d1)", "[lmdpl_and_d1]") { - const std::string config_file_name = "ut/full/lmdpl_and_d1/lmdpl_and_d1.json"; + const std::string config_file_name = "tests/full/lmdpl_and_d1/lmdpl_and_d1.json"; Settings settings(config_file_name, true); diff --git a/ut/full/lmdpl_and_d1/lmdpl_and_d1.json b/tests/full/lmdpl_and_d1/lmdpl_and_d1.json similarity index 100% rename from ut/full/lmdpl_and_d1/lmdpl_and_d1.json rename to tests/full/lmdpl_and_d1/lmdpl_and_d1.json diff --git a/ut/full/lmdpl_and_d1/lmdpl_and_d1.v b/tests/full/lmdpl_and_d1/lmdpl_and_d1.v similarity index 100% rename from ut/full/lmdpl_and_d1/lmdpl_and_d1.v rename to tests/full/lmdpl_and_d1/lmdpl_and_d1.v diff --git a/tests/full/lmdpl_and_d1_3_ANDs_induce_glitch/lmdpl_and_d1_3_ANDs_induce_glitch.cpp b/tests/full/lmdpl_and_d1_3_ANDs_induce_glitch/lmdpl_and_d1_3_ANDs_induce_glitch.cpp new file mode 100644 index 0000000..d6ac693 --- /dev/null +++ b/tests/full/lmdpl_and_d1_3_ANDs_induce_glitch/lmdpl_and_d1_3_ANDs_induce_glitch.cpp @@ -0,0 +1,127 @@ +#include + +#include "Hardware/Adversaries.hpp" +#include "Hardware/Prepare.hpp" + +class Test { + public: + Test(double maximum_leakage, uint64_t number_of_propagations, + uint64_t number_of_standard_probes, uint64_t number_of_probe_extensions, + uint64_t number_of_probing_sets) + : maximum_leakage_(maximum_leakage), + number_of_propagations_(number_of_propagations), + number_of_standard_probes_(number_of_standard_probes), + number_of_probe_extensions_(number_of_probe_extensions), + number_of_probing_sets_(number_of_probing_sets) {} + + bool Require(bool leakage_expected, uint64_t number_of_propagations, + uint64_t number_of_standard_probes, + uint64_t number_of_probe_extensions, + uint64_t number_of_probing_sets) { + if (leakage_expected && maximum_leakage_ < 5.0) { + return false; + } else if (!leakage_expected && maximum_leakage_ >= 5.0) { + return false; + } else if (number_of_propagations != number_of_propagations_) { + return false; + } else if (number_of_standard_probes != number_of_standard_probes_) { + return false; + } else if (number_of_probe_extensions != number_of_probe_extensions_) { + return false; + } else if (number_of_probing_sets != number_of_probing_sets_) { + return false; + } else { + return true; + } + } + + private: + double maximum_leakage_; + uint64_t number_of_propagations_; + uint64_t number_of_standard_probes_; + uint64_t number_of_probe_extensions_; + uint64_t number_of_probing_sets_; +}; + +Test TestLmdplAndd13AndsInduceGlitch(Settings& settings) { + const std::string library_file_name = "library.json"; + const std::string library_name = "NANG45"; + const std::string design_file_name = + "tests/full/lmdpl_and_d1_3_ANDs_induce_glitch/" + "lmdpl_and_d1_3_ANDs_induce_glitch.v"; + const std::string topmodule_name = "lmdpl_and_d1_3_ANDs_induce_glitch"; + const std::string result_folder_name = + "tests/full/lmdpl_and_d1_3_ANDs_induce_glitch"; + + Hardware::CircuitStruct circuit; + Hardware::Library library(library_file_name, library_name, + settings.side_channel_analysis.relaxed_model); + Hardware::Read::DesignFile(design_file_name, topmodule_name, settings, + library, &circuit, 0, 0, 0, NULL); + circuit.SetIsProbeAllowed(library, settings); + circuit.SetIsExtensionAllowed(library, settings); + circuit.SetIsAnalysisAllowed(settings); + circuit.SetIsFaultAllowed(settings); + std::cout << "done" << std::endl; + + Hardware::Prepare::MakeCircuitDepth(library, &circuit); + + std::vector shared_data(settings.GetNumberOfThreads(), + SharedData(circuit, settings)); + Simulation simulation(circuit, settings); + simulation.topmodule_name_ = topmodule_name; + simulation.result_folder_name_ = result_folder_name; + + if (settings.side_channel_analysis.relaxed_model) { + Hardware::Adversaries adversary( + library, circuit, settings, simulation); + double maximum_leakage = + adversary.EvaluateRobustProbingSecurity(shared_data); + return Test(maximum_leakage, adversary.GetNumberOfPropagations(), + adversary.GetNumberOfStandardProbes(), + adversary.GetNumberOfExtendedProbes(), + adversary.GetNumberOfProbingSets()); + } else { + Hardware::Adversaries adversary( + library, circuit, settings, simulation); + double maximum_leakage = + adversary.EvaluateRobustProbingSecurity(shared_data); + return Test(maximum_leakage, adversary.GetNumberOfPropagations(), + adversary.GetNumberOfStandardProbes(), + adversary.GetNumberOfExtendedProbes(), + adversary.GetNumberOfProbingSets()); + } +} + +TEST_CASE("Test full verification (lmdpl_and_d1_3_ANDs_induce_glitch)", + "[lmdpl_and_d1_3_ANDs_induce_glitch]") { + const std::string config_file_name = + "tests/full/lmdpl_and_d1_3_ANDs_induce_glitch/" + "lmdpl_and_d1_3_ANDs_induce_glitch.json"; + + Settings settings(config_file_name, true); + + SECTION("Robust but Relaxed Probing Model with no minimization") { + settings.SetMinimization(Minimization::none); + Test test = TestLmdplAndd13AndsInduceGlitch(settings); + + // We expect leakage in the first order as the fault induces a glitch. + REQUIRE(test.Require(true, 354, 234, 414, 234)); + } + + SECTION("Robust but Relaxed Probing Model with trivial minimization") { + settings.SetMinimization(Minimization::trivial); + Test test = TestLmdplAndd13AndsInduceGlitch(settings); + + // We expect leakage in the first order as the fault induces a glitch. + REQUIRE(test.Require(true, 354, 78, 414, 78)); + } + + SECTION("Robust but Relaxed Probing Model with aggressive minimization") { + settings.SetMinimization(Minimization::aggressive); + Test test = TestLmdplAndd13AndsInduceGlitch(settings); + + // We expect leakage in the first order as the fault induces a glitch. + REQUIRE(test.Require(true, 354, 78, 414, 78)); + } +} diff --git a/tests/full/lmdpl_and_d1_3_ANDs_induce_glitch/lmdpl_and_d1_3_ANDs_induce_glitch.json b/tests/full/lmdpl_and_d1_3_ANDs_induce_glitch/lmdpl_and_d1_3_ANDs_induce_glitch.json new file mode 100644 index 0000000..314b515 --- /dev/null +++ b/tests/full/lmdpl_and_d1_3_ANDs_induce_glitch/lmdpl_and_d1_3_ANDs_induce_glitch.json @@ -0,0 +1,127 @@ +{ + "performance": { + "max_number_of_threads": "half", + "minimize_probing_sets": "no" + }, + "simulation": { + "groups": [ + "4'h$", + "4'hf" + ], + "output_shares": [ + "x1", + "x2" + ], + "expected_output": [ + "1'b$", + "1'b1" + ], + "number_of_clock_cycles": 3, + "input_sequence": [ + { + "signals": [ + { + "name": "{a1,b1,a2,b2,a2_bar,b2_bar,c1,d1,c2,d2,c2_bar,d2_bar,r0,r1,r2}", + "value": "15'b000000000000000" + }, + { + "name": "rst", + "value": "1'b1" + } + ] + }, + { + "signals": [ + { + "name": "a1", + "value": "group_in0[0]" + }, + { + "name": "b1", + "value": "group_in0[1]" + }, + { + "name": "c1", + "value": "group_in0[2]" + }, + { + "name": "d1", + "value": "group_in0[3]" + }, + { + "name": "{r0,r1,r2}", + "value": "3'b$$$" + }, + { + "name": "rst", + "value": "1'b0" + } + ] + }, + { + "signals": [ + { + "name": "a2", + "value": "group_in1[0]" + }, + { + "name": "b2", + "value": "group_in1[1]" + }, + { + "name": "c2", + "value": "group_in1[2]" + }, + { + "name": "d2", + "value": "group_in1[3]" + }, + { + "name": "a2_bar", + "value": "~group_in1[0]" + }, + { + "name": "b2_bar", + "value": "~group_in1[1]" + }, + { + "name": "c2_bar", + "value": "~group_in1[2]" + }, + { + "name": "d2_bar", + "value": "~group_in1[3]" + } + ] + } + ], + "number_of_simulations": 65536, + "number_of_simulations_per_step": 4096 + }, + "hardware": { + "clock_signal_name": "clk" + }, + "side_channel_analysis": { + "order": 1, + "relaxed_model": true + }, + "fault_injection": { + "type": "StuckAt1", + "minimum_number_of_faults_per_run": 1, + "maximum_number_of_faults_per_run": 1, + "minimum_number_of_faults_per_cycle": 0, + "maximum_number_of_faults_per_cycle": 1, + "clock_cycles": [ + "1" + ], + "fault_locations": + { + "include": { + "signals": ".*reg.*" + }, + "exclude": { + "signals": "(?!)" + } + } + } +} \ No newline at end of file diff --git a/tests/full/lmdpl_and_d1_3_ANDs_induce_glitch/lmdpl_and_d1_3_ANDs_induce_glitch.v b/tests/full/lmdpl_and_d1_3_ANDs_induce_glitch/lmdpl_and_d1_3_ANDs_induce_glitch.v new file mode 100644 index 0000000..0dfa043 --- /dev/null +++ b/tests/full/lmdpl_and_d1_3_ANDs_induce_glitch/lmdpl_and_d1_3_ANDs_induce_glitch.v @@ -0,0 +1,92 @@ +module lmdpl_and_d1 ( clk, rst, a1, b1, a2, a2_bar, b2, b2_bar, r, x1, x2, x2_bar ); + input clk, rst, a1, b1, a2, a2_bar, b2, b2_bar, r; + output x1, x2, x2_bar; + wire r, mask_table_generator_layer_n5, mask_table_generator_layer_n4, + mask_table_generator_layer_n3, mask_table_generator_layer_n2, + mask_table_generator_layer_n1, reg_n1, reg_N10, reg_N9, reg_N8, + reg_N7, reg_N6, reg_N5, reg_N4, reg_N3; + wire [7:0] t_in; + wire [7:0] t_out; + wire [3:0] operation_layer_inst_rail_s; + wire [3:0] operation_layer_inst_rail_bar_s; + assign x1 = r; + + INV_X1 mask_table_generator_layer_U13 ( .A(t_in[0]), .ZN(t_in[4]) ); + XNOR2_X1 mask_table_generator_layer_U12 ( .A(r), .B( + mask_table_generator_layer_n5), .ZN(t_in[0]) ); + AND2_X1 mask_table_generator_layer_U11 ( .A1(a1), .A2(b1), .ZN( + mask_table_generator_layer_n5) ); + INV_X1 mask_table_generator_layer_U10 ( .A(t_in[1]), .ZN(t_in[5]) ); + XOR2_X1 mask_table_generator_layer_U9 ( .A(r), .B( + mask_table_generator_layer_n4), .Z(t_in[1]) ); + OR2_X1 mask_table_generator_layer_U8 ( .A1(a1), .A2( + mask_table_generator_layer_n3), .ZN(mask_table_generator_layer_n4) ); + INV_X1 mask_table_generator_layer_U7 ( .A(t_in[2]), .ZN(t_in[6]) ); + XNOR2_X1 mask_table_generator_layer_U6 ( .A(r), .B( + mask_table_generator_layer_n2), .ZN(t_in[2]) ); + AND2_X1 mask_table_generator_layer_U5 ( .A1(a1), .A2( + mask_table_generator_layer_n3), .ZN(mask_table_generator_layer_n2) ); + INV_X1 mask_table_generator_layer_U4 ( .A(b1), .ZN( + mask_table_generator_layer_n3) ); + INV_X1 mask_table_generator_layer_U3 ( .A(t_in[3]), .ZN(t_in[7]) ); + XOR2_X1 mask_table_generator_layer_U2 ( .A(r), .B( + mask_table_generator_layer_n1), .Z(t_in[3]) ); + OR2_X1 mask_table_generator_layer_U1 ( .A1(a1), .A2(b1), .ZN( + mask_table_generator_layer_n1) ); + AND2_X1 reg_U11 ( .A1(t_in[1]), .A2(reg_n1), .ZN(reg_N4) ); + AND2_X1 reg_U10 ( .A1(t_in[2]), .A2(reg_n1), .ZN(reg_N5) ); + AND2_X1 reg_U9 ( .A1(t_in[3]), .A2(reg_n1), .ZN(reg_N6) ); + AND2_X1 reg_U8 ( .A1(t_in[0]), .A2(reg_n1), .ZN(reg_N3) ); + AND2_X1 reg_U7 ( .A1(t_in[4]), .A2(reg_n1), .ZN(reg_N7) ); + AND2_X1 reg_U6 ( .A1(t_in[5]), .A2(reg_n1), .ZN(reg_N8) ); + AND2_X1 reg_U5 ( .A1(t_in[6]), .A2(reg_n1), .ZN(reg_N9) ); + AND2_X1 reg_U4 ( .A1(t_in[7]), .A2(reg_n1), .ZN(reg_N10) ); + INV_X1 reg_U3 ( .A(rst), .ZN(reg_n1) ); + DFF_X1 reg_q_reg_0_ ( .D(reg_N3), .CK(clk), .Q(t_out[0]) ); + DFF_X1 reg_q_reg_1_ ( .D(reg_N4), .CK(clk), .Q(t_out[1]) ); + DFF_X1 reg_q_reg_2_ ( .D(reg_N5), .CK(clk), .Q(t_out[2]) ); + DFF_X1 reg_q_reg_3_ ( .D(reg_N6), .CK(clk), .Q(t_out[3]) ); + DFF_X1 reg_q_reg_4_ ( .D(reg_N7), .CK(clk), .Q(t_out[4]) ); + DFF_X1 reg_q_reg_5_ ( .D(reg_N8), .CK(clk), .Q(t_out[5]) ); + DFF_X1 reg_q_reg_6_ ( .D(reg_N9), .CK(clk), .Q(t_out[6]) ); + DFF_X1 reg_q_reg_7_ ( .D(reg_N10), .CK(clk), .Q(t_out[7]) ); + AND3_X1 operation_layer_inst_rail_and_inst0_U1 ( .A1(t_out[7]), .A2(b2), + .A3(a2), .ZN(operation_layer_inst_rail_s[3]) ); + AND3_X1 operation_layer_inst_rail_and_inst1_U1 ( .A1(t_out[6]), .A2(b2), + .A3(a2_bar), .ZN(operation_layer_inst_rail_s[2]) ); + AND3_X1 operation_layer_inst_rail_and_inst2_U1 ( .A1(t_out[5]), .A2(b2_bar), + .A3(a2), .ZN(operation_layer_inst_rail_s[1]) ); + AND3_X1 operation_layer_inst_rail_and_inst3_U1 ( .A1(t_out[4]), .A2(b2_bar), + .A3(a2_bar), .ZN(operation_layer_inst_rail_s[0]) ); + OR4_X1 operation_layer_inst_rail_or_inst0_U1 ( .A1( + operation_layer_inst_rail_s[2]), .A2(operation_layer_inst_rail_s[3]), + .A3(operation_layer_inst_rail_s[0]), .A4( + operation_layer_inst_rail_s[1]), .ZN(x2) ); + AND3_X1 operation_layer_inst_rail_bar_and_inst0_U1 ( .A1(t_out[3]), .A2(b2), + .A3(a2), .ZN(operation_layer_inst_rail_bar_s[3]) ); + AND3_X1 operation_layer_inst_rail_bar_and_inst1_U1 ( .A1(t_out[2]), .A2(b2), + .A3(a2_bar), .ZN(operation_layer_inst_rail_bar_s[2]) ); + AND3_X1 operation_layer_inst_rail_bar_and_inst2_U1 ( .A1(t_out[1]), .A2( + b2_bar), .A3(a2), .ZN(operation_layer_inst_rail_bar_s[1]) ); + AND3_X1 operation_layer_inst_rail_bar_and_inst3_U1 ( .A1(t_out[0]), .A2( + b2_bar), .A3(a2_bar), .ZN(operation_layer_inst_rail_bar_s[0]) ); + OR4_X1 operation_layer_inst_rail_bar_or_inst0_U1 ( .A1( + operation_layer_inst_rail_bar_s[2]), .A2( + operation_layer_inst_rail_bar_s[3]), .A3( + operation_layer_inst_rail_bar_s[0]), .A4( + operation_layer_inst_rail_bar_s[1]), .ZN(x2_bar) ); +endmodule + +module lmdpl_and_d1_3_ANDs_induce_glitch ( clk, rst, a1, b1, a2, a2_bar, b2, b2_bar, c1, d1, c2, c2_bar, d2, d2_bar, r0, r1, r2, x1, x2, x2_bar ); + input clk, rst, a1, b1, a2, a2_bar, b2, b2_bar, c1, d1, c2, c2_bar, d2, d2_bar, r0, r1, r2; + output x1, x2, x2_bar; + + wire e1, e2, e2_bar, f1, f2, f2_bar; + + lmdpl_and_d1 inst0(.clk(clk), .rst(rst), .a1(a1), .b1(b1), .a2(a2), .a2_bar(a2_bar), .b2(b2), .b2_bar(b2_bar), .r(r0), .x1(e1), .x2(e2), .x2_bar(e2_bar)); + lmdpl_and_d1 inst1(.clk(clk), .rst(rst), .a1(c1), .b1(d1), .a2(c2), .a2_bar(c2_bar), .b2(d2), .b2_bar(d2_bar), .r(r1), .x1(f1), .x2(f2), .x2_bar(f2_bar)); + lmdpl_and_d1 inst1(.clk(clk), .rst(rst), .a1(e1), .b1(f1), .a2(e2), .a2_bar(e2_bar), .b2(f2), .b2_bar(f2_bar), .r(r2), .x1(x1), .x2(x2), .x2_bar(x2_bar)); +endmodule + + + diff --git a/tests/tests.cpp b/tests/tests.cpp new file mode 100644 index 0000000..4ed06df --- /dev/null +++ b/tests/tests.cpp @@ -0,0 +1,2 @@ +#define CATCH_CONFIG_MAIN +#include diff --git a/ut/util/CpuCoreSelector.cpp b/tests/util/CpuCoreSelector.cpp similarity index 96% rename from ut/util/CpuCoreSelector.cpp rename to tests/util/CpuCoreSelector.cpp index 77f6693..b4064f7 100644 --- a/ut/util/CpuCoreSelector.cpp +++ b/tests/util/CpuCoreSelector.cpp @@ -1,4 +1,3 @@ -#define CATCH_CONFIG_ENABLE_BENCHMARKING #include "Util/CpuCoreSelector.hpp" #include diff --git a/ut/util/FileParsing.cpp b/tests/util/FileParsing.cpp similarity index 100% rename from ut/util/FileParsing.cpp rename to tests/util/FileParsing.cpp diff --git a/ut/util/ProgramOptions.cpp b/tests/util/ProgramOptions.cpp similarity index 100% rename from ut/util/ProgramOptions.cpp rename to tests/util/ProgramOptions.cpp diff --git a/ut/util/Sharing.cpp b/tests/util/Sharing.cpp similarity index 100% rename from ut/util/Sharing.cpp rename to tests/util/Sharing.cpp diff --git a/tests/util/Util.cpp b/tests/util/Util.cpp new file mode 100644 index 0000000..960cf87 --- /dev/null +++ b/tests/util/Util.cpp @@ -0,0 +1,158 @@ +#include "Util/Util.hpp" + +#include + +TEST_CASE("Test sorting and merging of duplicates", + "[SortAndMergeDuplicates]") { + uint64_t i, j; + uint64_t number_of_groups = 2; + uint64_t size_of_key_in_bytes = + GENERATE(1, 2, 4, 8, 16, 32, 64, 128, 256, 512, 1024); + uint64_t number_of_entries = GENERATE(64, 1024, 2048, 4096, 8192, 16384, + 32768, 65536, 131072, 262144, 524288); + std::random_device rd; + std::mt19937 gen(rd()); + std::uniform_int_distribution dis(0, 255); + TableBucketVector observations(number_of_entries); + + for (i = 0; i < number_of_entries; ++i) { + observations[i].key_ = std::make_unique(size_of_key_in_bytes); + observations[i].data_ = std::make_unique(number_of_groups); + + for (j = 0; j < size_of_key_in_bytes; ++j) { + observations[i].key_[j] = dis(gen); + } + + ++observations[i].data_[dis(gen) % number_of_groups]; + } + + SortAndMergeDuplicates(observations, size_of_key_in_bytes, number_of_groups); + for (i = 1; i < observations.size(); ++i) { + REQUIRE(std::memcmp(observations[i - 1].key_.get(), + observations[i].key_.get(), size_of_key_in_bytes) < 0); + } +} + +TEST_CASE("Test the update of bucket entries with entries from another bucket", + "[UpdateBucketWithBucket]") { + TableBucketVector bucket, observations; + uint64_t number_of_groups, size_of_key_in_bytes, number_of_entries; + std::random_device rd; + std::mt19937 gen(rd()); + std::uniform_int_distribution dis(0, 255); + + number_of_groups = 2; + size_of_key_in_bytes = 1; + number_of_entries = 2; + + bucket.resize(number_of_entries); + observations.resize(number_of_entries); + + for (uint64_t index = 0; index < number_of_entries; ++index) { + bucket[index].key_ = std::make_unique(size_of_key_in_bytes); + bucket[index].data_ = std::make_unique(number_of_groups); + observations[index].key_ = + std::make_unique(size_of_key_in_bytes); + observations[index].data_ = std::make_unique(number_of_groups); + } + + bucket[0].key_[0] = 0; + bucket[0].data_[0] = 1; + bucket[0].data_[1] = 2; + + bucket[1].key_[0] = 1; + bucket[1].data_[0] = 3; + bucket[1].data_[1] = 4; + + observations[0].key_[0] = 1; + observations[0].data_[0] = 5; + observations[0].data_[1] = 6; + + observations[1].key_[0] = 2; + observations[1].data_[0] = 7; + observations[1].data_[1] = 8; + + UpdateBucketWithBucket(bucket, observations, size_of_key_in_bytes, + number_of_groups); + + REQUIRE(bucket.size() == 2); + REQUIRE(bucket[0].key_[0] == 0); + REQUIRE(bucket[0].data_[0] == 1); + REQUIRE(bucket[0].data_[1] == 2); + REQUIRE(bucket[1].key_[0] == 1); + REQUIRE(bucket[1].data_[0] == 8); + REQUIRE(bucket[1].data_[1] == 10); + REQUIRE(observations.size() == 1); + REQUIRE(observations[0].key_[0] == 2); + REQUIRE(observations[0].data_[0] == 7); + REQUIRE(observations[0].data_[1] == 8); +} + +TEST_CASE( + "Test if the number of samples is high enough to achieve a desired " + "confidence", + "[IsSampleSizeSufficient]") { + uint64_t number_of_groups = 2; + std::pair test_vectors = + GENERATE(std::make_pair(10, 10072), std::make_pair(100, 18701), + std::make_pair(1000, 45110), std::make_pair(10000, 127784), + std::make_pair(100000, 388698), std::make_pair(1000000, 1213556), + std::make_pair(10000000, 3821906)); + + double_t effect_size = 0.1; + double_t beta_threshold = 0.00001; + uint64_t lower_sample_size = test_vectors.second - 1; + uint64_t higher_sample_size = test_vectors.second + 1; + + SECTION("Test for number_of_entries = " + + std::to_string(test_vectors.first)) { + REQUIRE_FALSE(IsSampleSizeSufficient(lower_sample_size, number_of_groups, + test_vectors.first, beta_threshold, + effect_size)); + REQUIRE(IsSampleSizeSufficient(higher_sample_size, number_of_groups, + test_vectors.first, beta_threshold, + effect_size)); + } +} + +TEST_CASE("Test computation of required sample size", + "[ComputeRequiredSampleSize]") { + uint64_t number_of_groups = 2; + std::pair test_vectors = + GENERATE(std::make_pair(10, 10072), std::make_pair(100, 18701), + std::make_pair(1000, 45110), std::make_pair(10000, 127784), + std::make_pair(100000, 388698), std::make_pair(1000000, 1213556), + std::make_pair(10000000, 3821906)); + + double_t effect_size = 0.1; + double_t beta_threshold = 0.00001; + uint64_t number_of_samples = ComputeRequiredSampleSize( + number_of_groups, test_vectors.first, beta_threshold, effect_size); + REQUIRE(number_of_samples == test_vectors.second); +} + +TEST_CASE("Test the construction of simulated table entries", + "[ConstructTableEntries]") { + uint64_t number_of_groups = GENERATE(2, 3); + uint64_t size_of_key_in_bytes = GENERATE(1, 64, 1024); + uint64_t number_of_entries = GENERATE(64, 16384, 524288); + uint64_t index, byte_index; + TableBucketVector datasets; + + datasets.resize(number_of_entries); + + for (index = 0; index < number_of_entries; ++index) { + datasets[index].key_ = std::make_unique(size_of_key_in_bytes); + datasets[index].data_ = std::make_unique(number_of_groups); + } + + for (index = 0; index < number_of_entries; ++index) { + for (byte_index = 0; byte_index < size_of_key_in_bytes; ++byte_index) { + REQUIRE(datasets[index].key_[byte_index] == 0); + } + + for (byte_index = 0; byte_index < number_of_groups; ++byte_index) { + REQUIRE(datasets[index].data_[byte_index] == 0); + } + } +} diff --git a/ut/util/Util.cpp b/ut/util/Util.cpp deleted file mode 100644 index fcb4dc6..0000000 --- a/ut/util/Util.cpp +++ /dev/null @@ -1,244 +0,0 @@ -#define CATCH_CONFIG_ENABLE_BENCHMARKING -#include "Util/Util.hpp" - -#include - -TEST_CASE("Test sorting and merging of duplicates", - "[SortAndMergeDuplicates]") { - uint64_t i, j; - uint64_t number_of_groups = 2; - uint64_t size_of_key_in_bytes = - GENERATE(1, 2, 4, 8, 16, 32, 64, 128, 256, 512, 1024); - uint64_t number_of_entries = GENERATE(64, 1024, 2048, 4096, 8192, 16384, - 32768, 65536, 131072, 262144, 524288); - std::random_device rd; - std::mt19937 gen(rd()); - std::uniform_int_distribution dis(0, 255); - TableBucketVector observations(number_of_entries); - - for (i = 0; i < number_of_entries; ++i) { - observations[i].key_ = std::make_unique(size_of_key_in_bytes); - observations[i].data_ = std::make_unique(number_of_groups); - - for (j = 0; j < size_of_key_in_bytes; ++j) { - observations[i].key_[j] = dis(gen); - } - - ++observations[i].data_[dis(gen) % number_of_groups]; - } - - BENCHMARK_ADVANCED( - "size of key (bytes) = " + std::to_string(size_of_key_in_bytes) + "\n" + - "number of entries = " + std::to_string(number_of_entries)) - (Catch::Benchmark::Chronometer meter) { - meter.measure([&observations, size_of_key_in_bytes, number_of_groups] { - SortAndMergeDuplicates(observations, size_of_key_in_bytes, - number_of_groups); - }); - }; - - for (i = 1; i < observations.size(); ++i) { - REQUIRE(std::memcmp(observations[i - 1].key_.get(), - observations[i].key_.get(), size_of_key_in_bytes) < 0); - } -} - -TEST_CASE("Test the update of bucket entries with entries from another bucket", - "[UpdateBucketWithBucket]") { - uint64_t i, j; - TableBucketVector bucket, observations; - uint64_t number_of_groups, size_of_key_in_bytes, number_of_entries; - std::random_device rd; - std::mt19937 gen(rd()); - std::uniform_int_distribution dis(0, 255); - - SECTION("Test") { - number_of_groups = 2; - size_of_key_in_bytes = 1; - number_of_entries = 2; - - bucket.resize(number_of_entries); - observations.resize(number_of_entries); - - for (i = 0; i < number_of_entries; ++i) { - bucket[i].key_ = std::make_unique(size_of_key_in_bytes); - bucket[i].data_ = std::make_unique(number_of_groups); - observations[i].key_ = std::make_unique(size_of_key_in_bytes); - observations[i].data_ = std::make_unique(number_of_groups); - } - - bucket[0].key_[0] = 0; - bucket[0].data_[0] = 1; - bucket[0].data_[1] = 2; - - bucket[1].key_[0] = 1; - bucket[1].data_[0] = 3; - bucket[1].data_[1] = 4; - - observations[0].key_[0] = 1; - observations[0].data_[0] = 5; - observations[0].data_[1] = 6; - - observations[1].key_[0] = 2; - observations[1].data_[0] = 7; - observations[1].data_[1] = 8; - - UpdateBucketWithBucket(bucket, observations, size_of_key_in_bytes, - number_of_groups); - - REQUIRE(bucket.size() == 2); - REQUIRE(bucket[0].key_[0] == 0); - REQUIRE(bucket[0].data_[0] == 1); - REQUIRE(bucket[0].data_[1] == 2); - REQUIRE(bucket[1].key_[0] == 1); - REQUIRE(bucket[1].data_[0] == 8); - REQUIRE(bucket[1].data_[1] == 10); - REQUIRE(observations.size() == 1); - REQUIRE(observations[0].key_[0] == 2); - REQUIRE(observations[0].data_[0] == 7); - REQUIRE(observations[0].data_[1] == 8); - } - - SECTION("benchmark") { - number_of_groups = GENERATE(2, 3); - size_of_key_in_bytes = - GENERATE(1, 2, 4, 8, 16, 32, 64, 128, 256, 512, 1024); - number_of_entries = GENERATE(1, 10, 100, 1000, 10000, 100000, 1000000); - bucket.resize(number_of_entries); - observations.resize(number_of_entries); - - for (i = 0; i < number_of_entries; ++i) { - bucket[i].key_ = std::make_unique(size_of_key_in_bytes); - bucket[i].data_ = std::make_unique(number_of_groups); - observations[i].key_ = std::make_unique(size_of_key_in_bytes); - observations[i].data_ = std::make_unique(number_of_groups); - - for (j = 0; j < size_of_key_in_bytes; ++j) { - bucket[i].key_[j] = dis(gen); - observations[i].key_[j] = dis(gen); - } - - for (j = 0; j < number_of_groups; ++j) { - bucket[i].data_[j] = dis(gen); - observations[i].data_[j] = dis(gen); - } - } - - SortAndMergeDuplicates(bucket, size_of_key_in_bytes, number_of_groups); - SortAndMergeDuplicates(observations, size_of_key_in_bytes, - number_of_groups); - - BENCHMARK_ADVANCED( - "number of groups = " + std::to_string(number_of_groups) + "\n" + - "size of key (bytes) = " + std::to_string(size_of_key_in_bytes) + "\n" + - "number of entries = " + std::to_string(number_of_entries)) - (Catch::Benchmark::Chronometer meter) { - meter.measure( - [&bucket, &observations, size_of_key_in_bytes, number_of_groups] { - UpdateBucketWithBucket(bucket, observations, size_of_key_in_bytes, - number_of_groups); - }); - }; - } -} - -TEST_CASE( - "Test if the number of samples is high enough to achieve a desired " - "confidence", - "[IsSampleSizeSufficient]") { - uint64_t number_of_groups = 2; - std::pair test_vectors = - GENERATE(std::make_pair(10, 10072), std::make_pair(100, 18701), - std::make_pair(1000, 45110), std::make_pair(10000, 127784), - std::make_pair(100000, 388698), std::make_pair(1000000, 1213556), - std::make_pair(10000000, 3821906)); - - double_t effect_size = 0.1; - double_t beta_threshold = 0.00001; - uint64_t lower_sample_size = test_vectors.second - 1; - uint64_t higher_sample_size = test_vectors.second + 1; - - SECTION("Test for number_of_entries = " + - std::to_string(test_vectors.first)) { - REQUIRE_FALSE(IsSampleSizeSufficient(lower_sample_size, number_of_groups, - test_vectors.first, beta_threshold, - effect_size)); - REQUIRE(IsSampleSizeSufficient(higher_sample_size, number_of_groups, - test_vectors.first, beta_threshold, - effect_size)); - } -} - -TEST_CASE("Test computation of required sample size", - "[ComputeRequiredSampleSize]") { - SECTION("Test") { - uint64_t number_of_groups = 2; - std::pair test_vectors = GENERATE( - std::make_pair(10, 10072), std::make_pair(100, 18701), - std::make_pair(1000, 45110), std::make_pair(10000, 127784), - std::make_pair(100000, 388698), std::make_pair(1000000, 1213556), - std::make_pair(10000000, 3821906)); - - double_t effect_size = 0.1; - double_t beta_threshold = 0.00001; - uint64_t number_of_samples = ComputeRequiredSampleSize( - number_of_groups, test_vectors.first, beta_threshold, effect_size); - REQUIRE(number_of_samples == test_vectors.second); - } - - SECTION("Benchmark") { - uint64_t number_of_groups = GENERATE(2, 3); - uint64_t number_of_entries = - GENERATE(10, 100, 1000, 10000, 100000, 1000000, 10000000); - double_t effect_size = GENERATE(0.1, 0.3, 0.5); - double_t beta_threshold = GENERATE(0.00001, 0.0001, 0.001, 0.01, 0.1, 0.2); - - BENCHMARK_ADVANCED( - "number of groups = " + std::to_string(number_of_groups) + "\n" + - "number of entries = " + std::to_string(number_of_entries) + "\n" + - "effect size = " + std::to_string(effect_size) + "\n" + - "beta threshold = " + std::to_string(beta_threshold)) - (Catch::Benchmark::Chronometer meter) { - meter.measure( - [number_of_groups, number_of_entries, beta_threshold, effect_size] { - ComputeRequiredSampleSize(number_of_groups, number_of_entries, - beta_threshold, effect_size); - }); - }; - } -} - -TEST_CASE("Test the construction of simulated table entries", - "[ConstructTableEntries]") { - uint64_t number_of_groups = GENERATE(2, 3); - uint64_t size_of_key_in_bytes = GENERATE(1, 64, 1024); - uint64_t number_of_entries = GENERATE(64, 16384, 524288); - uint64_t index, byte_index; - TableBucketVector datasets; - - BENCHMARK_ADVANCED( - "number of groups = " + std::to_string(number_of_groups) + "\n" + - "number of entries = " + std::to_string(number_of_entries) + "\n" + - "size of key (bytes) = " + std::to_string(size_of_key_in_bytes)) - (Catch::Benchmark::Chronometer meter) { - meter.measure([&datasets, number_of_groups, number_of_entries, - size_of_key_in_bytes] { - datasets.resize(number_of_entries); - - for (uint64_t i = 0; i < number_of_entries; ++i) { - datasets[i].key_ = std::make_unique(size_of_key_in_bytes); - datasets[i].data_ = std::make_unique(number_of_groups); - } - }); - }; - - for (index = 0; index < number_of_entries; ++index) { - for (byte_index = 0; byte_index < size_of_key_in_bytes; ++byte_index) { - REQUIRE(datasets[index].key_[byte_index] == 0); - } - - for (byte_index = 0; byte_index < number_of_groups; ++byte_index) { - REQUIRE(datasets[index].data_[byte_index] == 0); - } - } -}