PandA-2024.02
control_flow_checker.hpp
Go to the documentation of this file.
1 /*
2  *
3  * _/_/_/ _/_/ _/ _/ _/_/_/ _/_/
4  * _/ _/ _/ _/ _/_/ _/ _/ _/ _/ _/
5  * _/_/_/ _/_/_/_/ _/ _/_/ _/ _/ _/_/_/_/
6  * _/ _/ _/ _/ _/ _/ _/ _/ _/
7  * _/ _/ _/ _/ _/ _/_/_/ _/ _/
8  *
9  * ***********************************************
10  * PandA Project
11  * URL: http://panda.dei.polimi.it
12  * Politecnico di Milano - DEIB
13  * System Architectures Group
14  * ***********************************************
15  * Copyright (C) 2017-2024 Politecnico di Milano
16  *
17  * This file is part of the PandA framework.
18  *
19  * The PandA framework is free software; you can redistribute it and/or modify
20  * it under the terms of the GNU General Public License as published by
21  * the Free Software Foundation; either version 3 of the License, or
22  * (at your option) any later version.
23  *
24  * This program is distributed in the hope that it will be useful,
25  * but WITHOUT ANY WARRANTY; without even the implied warranty of
26  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
27  * GNU General Public License for more details.
28  *
29  * You should have received a copy of the GNU General Public License
30  * along with this program. If not, see <http://www.gnu.org/licenses/>.
31  *
32  */
40 #ifndef CONTROL_FLOW_CHECKER_HPP
41 #define CONTROL_FLOW_CHECKER_HPP
42 
43 #include "hls_function_step.hpp"
44 
50 class module;
52 
54 {
55  protected:
61  ComputeHLSRelationships(const DesignFlowStep::RelationshipType relationship_type) const override;
62 
64 
65  void add_done_port(structural_objectRef circuit);
66 
68 
69  void add_present_state(structural_objectRef circuit, unsigned int state_bitsize);
70 
71  void add_notifiers(structural_objectRef circuit);
72 
73  void add_common_ports(structural_objectRef circuit, unsigned int state_bitsize);
74 
75  public:
79  ControlFlowChecker(const ParameterConstRef Param, const HLS_managerRef HLSMgr, unsigned int funId,
80  const DesignFlowManagerConstRef design_flow_manager);
81 
85  ~ControlFlowChecker() override;
86 
92 
93  static bool IsOneHotFSM(unsigned int function_id, const HLS_managerRef HLSMgr);
94 };
95 
96 #endif
const HLS_managerRef HLSMgr
information about all the HLS synthesis
Definition: hls_step.hpp:205
RelationshipType
The relationship type.
ControlFlowChecker(const ParameterConstRef Param, const HLS_managerRef HLSMgr, unsigned int funId, const DesignFlowManagerConstRef design_flow_manager)
Constructor.
const unsigned int funId
identifier of the function to be processed (0 means that it is a global step)
static bool IsOneHotFSM(unsigned int function_id, const HLS_managerRef HLSMgr)
void add_start_port(structural_objectRef circuit)
~ControlFlowChecker() override
Destructor.
void add_common_ports(structural_objectRef circuit, unsigned int state_bitsize)
void add_present_state(structural_objectRef circuit, unsigned int state_bitsize)
const Wrefcount< const DesignFlowManager > design_flow_manager
The design flow manager.
DesignFlowStep_Status
The status of a step.
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.
void add_clock_reset(structural_objectRef circuit)
DesignFlowStep_Status InternalExec() override
Execute the step.
void add_done_port(structural_objectRef circuit)
REF_FORWARD_DECL(structural_object)
void add_notifiers(structural_objectRef circuit)
This class describes a generic module.
Superclass include.
Base object for all the structural objects.

Generated on Mon Feb 12 2024 13:02:53 for PandA-2024.02 by doxygen 1.8.13