HAL  v4.5.0-83-g30c8f0afc
The Hardware Analyzer - a comprehensive reverse engineering and manipulation framework for gate-level netlists.
Namespaces | Functions
verifying_candidates.cpp File Reference
#include "hal_core/netlist/boolean_function.h"
#include "hal_core/netlist/boolean_function/solver.h"
#include "hal_core/utilities/log.h"
#include "module_identification/candidates/functional_candidate.h"
#include "module_identification/types/candidate_types.h"
#include "module_identification/utils/utils.h"
Include dependency graph for verifying_candidates.cpp:

Go to the source code of this file.

Namespaces

 hal
 
 hal::module_identification
 

Functions

Result< VerifiedCandidate > hal::module_identification::check_leq (FunctionalCandidate &fc, const std::vector< BooleanFunction > &output_functions)
 
Result< VerifiedCandidate > hal::module_identification::check_addition (FunctionalCandidate &fc, const std::vector< BooleanFunction > &output_functions)
 
Result< VerifiedCandidate > hal::module_identification::check_addition_offset (FunctionalCandidate &fc, const std::vector< BooleanFunction > &output_functions)
 
Result< VerifiedCandidate > hal::module_identification::check_sub (FunctionalCandidate &fc, const std::vector< BooleanFunction > &output_functions, const std::vector< std::vector< Gate * >> &registers)
 
Result< VerifiedCandidate > hal::module_identification::check_sliced_add (FunctionalCandidate &fc, const std::vector< BooleanFunction > &output_functions)
 
Result< VerifiedCandidate > hal::module_identification::check_add_sub (FunctionalCandidate &fc, const std::vector< BooleanFunction > &output_functions, const std::vector< std::vector< Gate * >> &registers)
 
Result< VerifiedCandidate > hal::module_identification::check_add_sub_offset (FunctionalCandidate &fc, const std::vector< BooleanFunction > &output_functions, const std::vector< std::vector< Gate * >> &registers)
 
Result< VerifiedCandidate > hal::module_identification::check_value_check (FunctionalCandidate &fc, const std::vector< BooleanFunction > &output_functions)
 
Result< VerifiedCandidate > hal::module_identification::check_constant_multiplication (FunctionalCandidate &fc, const std::vector< BooleanFunction > &output_functions)
 
Result< VerifiedCandidate > hal::module_identification::check_constant_multiplication_offset (FunctionalCandidate &fc, const std::vector< BooleanFunction > &output_functions)
 
Result< VerifiedCandidate > hal::module_identification::check_counter (FunctionalCandidate &fc, const std::vector< BooleanFunction > &output_functions)
 
Result< VerifiedCandidate > hal::module_identification::check_absolute (FunctionalCandidate &fc, const std::vector< BooleanFunction > &output_functions)
 
Result< VerifiedCandidate > hal::module_identification::check_equal (FunctionalCandidate &fc, const std::vector< BooleanFunction > &output_functions)