#include "control_flow_checker.hpp"
#include "Discrepancy.hpp"
#include "Parameter.hpp"
#include "behavioral_helper.hpp"
#include "copyrights_strings.hpp"
#include "custom_map.hpp"
#include "custom_set.hpp"
#include "function_behavior.hpp"
#include "hls.hpp"
#include "hls_device.hpp"
#include "hls_manager.hpp"
#include "language_writer.hpp"
#include "state_transition_graph.hpp"
#include "state_transition_graph_manager.hpp"
#include "string_manipulation.hpp"
#include "structural_manager.hpp"
#include "utility.hpp"
#include <boost/algorithm/string/case_conv.hpp>
#include <utility/fileIO.hpp>
#include <algorithm>
#include <string>
#include <tuple>

Include dependency graph for control_flow_checker.cpp:

Functions
static unsigned int	comp_state_bitsize (bool one_hot_encoding, const HLS_managerRef HLSMgr, const unsigned int f_id, unsigned max_value)

static std::string	create_control_flow_checker (size_t epp_trace_bitsize, const unsigned int f_id, const StateTransitionGraphManagerRef &STG, const HLS_managerRef HLSMgr, const HWDiscrepancyInfoConstRef &discr_info, bool one_hot_encoding, unsigned max_value, unsigned int state_bitsize, int DEBUG_PARAMETER(debug_level))

Function Documentation

◆ comp_state_bitsize()

static unsigned int comp_state_bitsize	(	bool	one_hot_encoding,
		const HLS_managerRef	HLSMgr,
		const unsigned int	f_id,
		unsigned	max_value
	)

static

Definition at line 117 of file control_flow_checker.cpp.

References language_writer::bitnumber().

Referenced by ControlFlowChecker::InternalExec().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ create_control_flow_checker()

static std::string create_control_flow_checker	(	size_t	epp_trace_bitsize,
		const unsigned int	f_id,
		const StateTransitionGraphManagerRef &	STG,
		const HLS_managerRef	HLSMgr,
		const HWDiscrepancyInfoConstRef &	discr_info,
		bool	one_hot_encoding,
		unsigned	max_value,
		unsigned int	state_bitsize,
		int	DEBUG_PARAMETERdebug_level
	)

static

adjust in case states are not consecutive

Definition at line 132 of file control_flow_checker.cpp.

References StateTransitionGraphManager::CGetAstg(), StateTransitionGraphManager::CGetEPPStg(), StateTransitionGraphManager::CGetStg(), CLOCK_PORT_NAME, DesignFlowStep::debug_level, DEBUG_LEVEL_VERY_PEDANTIC, DONE_PORT_NAME, edges, NEXT_STATE_PORT_NAME, PRESENT_STATE_PORT_NAME, PRINT_DBG_MEX, RESET_PORT_NAME, result, START_PORT_NAME, STR, lenet_tvm::target, and THROW_ASSERT.