PandA-2024.02
|
#include <HWDiscrepancyAnalysis.hpp>
Public Member Functions | |
HWDiscrepancyAnalysis (const ParameterConstRef parameters, const HLS_managerRef HLSMgr, const DesignFlowManagerConstRef design_flow_manager) | |
Constructor. More... | |
DesignFlowStep_Status | Exec () override |
Execute the step. More... | |
bool | HasToBeExecuted () const override |
Check if this step has actually to be executed. More... | |
Public Member Functions inherited from HLS_step | |
HLS_step (const ParameterConstRef _parameters, const HLS_managerRef HLSMgr, const DesignFlowManagerConstRef design_flow_manager, const HLSFlowStep_Type hls_flow_step_type, const HLSFlowStepSpecializationConstRef hls_flow_step_specialization=HLSFlowStepSpecializationConstRef()) | |
Constructor. More... | |
~HLS_step () override | |
Destructor. More... | |
std::string | GetSignature () const override |
Return a unified identifier of this design step. More... | |
std::string | GetName () const override |
Return the name of this design step. More... | |
virtual std::string | GetKindText () const |
Return the name of the type of this frontend flow step. More... | |
DesignFlowStepFactoryConstRef | CGetDesignFlowStepFactory () const final |
Return the factory to create this type of steps. More... | |
void | ComputeRelationships (DesignFlowStepSet &design_flow_step_set, const DesignFlowStep::RelationshipType relationship_type) override |
Compute the relationships of a step with other steps. More... | |
Public Member Functions inherited from DesignFlowStep | |
DesignFlowStep (const DesignFlowManagerConstRef design_flow_manager, const ParameterConstRef parameters) | |
Constructor. More... | |
virtual | ~DesignFlowStep () |
Destructor. More... | |
virtual void | Initialize () |
Initialize the step (i.e., like a constructor, but executed just before exec. More... | |
DesignFlowStep_Status | GetStatus () const |
Return the status of this design step. More... | |
virtual void | WriteDot (std::ostream &out) const |
Write the label for a dot graph. More... | |
bool | IsComposed () const |
Returns if this step is composed. More... | |
int | CGetDebugLevel () const |
Return the debug level of the step. More... | |
virtual void | PrintInitialIR () const |
Dump the initial intermediate representation. More... | |
virtual void | PrintFinalIR () const |
Dump the final intermediate representation. More... | |
Protected Member Functions | |
const CustomUnorderedSet< std::tuple< HLSFlowStep_Type, HLSFlowStepSpecializationConstRef, HLSFlowStep_Relationship > > | ComputeHLSRelationships (const DesignFlowStep::RelationshipType relationship_type) const override |
Return the set of analyses in relationship with this design step. More... | |
Protected Attributes | |
const DiscrepancyRef | Discr |
const std::string | present_state_name |
Protected Attributes inherited from HLS_step | |
const HLS_managerRef | HLSMgr |
information about all the HLS synthesis More... | |
const HLSFlowStep_Type | hls_flow_step_type |
The type of this step. More... | |
const HLSFlowStepSpecializationConstRef | hls_flow_step_specialization |
The information about specialization. More... | |
Protected Attributes inherited from DesignFlowStep | |
bool | composed |
True if this step represents a composition of design flow steps (e.g., a flow); must be set by specialized constructors. More... | |
const Wrefcount< const DesignFlowManager > | design_flow_manager |
The design flow manager. More... | |
const ParameterConstRef | parameters |
Set of input parameters. More... | |
int | debug_level |
The debug level. More... | |
const int | output_level |
The output level. More... | |
Additional Inherited Members | |
Public Types inherited from DesignFlowStep | |
enum | RelationshipType { DEPENDENCE_RELATIONSHIP, INVALIDATION_RELATIONSHIP, PRECEDENCE_RELATIONSHIP } |
The relationship type. More... | |
Static Public Member Functions inherited from HLS_step | |
static std::string | EnumToName (const HLSFlowStep_Type hls_flow_step_type) |
Given a HLS flow step type, return the name of the type. More... | |
static const std::string | ComputeSignature (const HLSFlowStep_Type hls_flow_step_type, const HLSFlowStepSpecializationConstRef hls_flow_step_specialization) |
Compute the signature of a hls flow step. More... | |
Static Protected Attributes inherited from HLS_step | |
static CustomUnorderedMap< std::string, HLSFlowStep_Type > | command_line_name_to_enum |
Map hls step name to enum. More... | |
Definition at line 48 of file HWDiscrepancyAnalysis.hpp.
HWDiscrepancyAnalysis::HWDiscrepancyAnalysis | ( | const ParameterConstRef | parameters, |
const HLS_managerRef | HLSMgr, | ||
const DesignFlowManagerConstRef | design_flow_manager | ||
) |
Constructor.
Definition at line 81 of file HWDiscrepancyAnalysis.cpp.
References DesignFlowStep::debug_level, GET_CLASS, HW_DISCREPANCY_ANALYSIS, DesignFlowStep::parameters, and VERILOG.
|
overrideprotectedvirtual |
Return the set of analyses in relationship with this design step.
relationship_type | is the type of relationship to be considered |
Reimplemented from HLS_step.
Definition at line 94 of file HWDiscrepancyAnalysis.cpp.
References C_TESTBENCH_EXECUTION, CALL_GRAPH_UNFOLDING, DesignFlowStep::DEPENDENCE_RELATIONSHIP, HW_PATH_COMPUTATION, DesignFlowStep::INVALIDATION_RELATIONSHIP, DesignFlowStep::parameters, DesignFlowStep::PRECEDENCE_RELATIONSHIP, THROW_UNREACHABLE, and TOP_FUNCTION.
|
overridevirtual |
Execute the step.
adjust in case states are not consecutive
Implements DesignFlowStep.
Definition at line 133 of file HWDiscrepancyAnalysis.cpp.
References BB_ENTRY, language_writer::bitnumber(), component_o_K, DesignFlowStep::debug_level, DEBUG_LEVEL_PEDANTIC, Discr, structural_object::find_member(), FIXED_METADATA_SIZE, GET_INDEX_CONST_NODE, structural_object::get_path(), GET_TYPE_NAME, GetPath(), HLS_step::HLSMgr, INDENT_DBG_MEX, INDENT_OUT_MEX, max, MAX_METADATA_BITSIZE, min, tree_helper::name_function(), NULL_VERTEX, NumberToBinaryString(), DesignFlowStep::output_level, OUTPUT_LEVEL_MINIMUM, DesignFlowStep::parameters, parse_discrepancy(), STR, SUCCESS, lenet_tvm::target, THROW_ASSERT, and THROW_ERROR.
|
overridevirtual |
Check if this step has actually to be executed.
Implements DesignFlowStep.
Definition at line 128 of file HWDiscrepancyAnalysis.cpp.
|
protected |
Definition at line 62 of file HWDiscrepancyAnalysis.hpp.
Referenced by Exec().
|
protected |
Definition at line 64 of file HWDiscrepancyAnalysis.hpp.