HAL
ram_port_component.h
Go to the documentation of this file.
1 // MIT License
2 //
3 // Copyright (c) 2019 Ruhr University Bochum, Chair for Embedded Security. All Rights reserved.
4 // Copyright (c) 2019 Marc Fyrbiak, Sebastian Wallat, Max Hoffmann ("ORIGINAL AUTHORS"). All rights reserved.
5 // Copyright (c) 2021 Max Planck Institute for Security and Privacy. All Rights reserved.
6 // Copyright (c) 2021 Jörn Langheinrich, Julian Speith, Nils Albartus, René Walendy, Simon Klix ("ORIGINAL AUTHORS"). All Rights reserved.
7 //
8 // Permission is hereby granted, free of charge, to any person obtaining a copy
9 // of this software and associated documentation files (the "Software"), to deal
10 // in the Software without restriction, including without limitation the rights
11 // to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
12 // copies of the Software, and to permit persons to whom the Software is
13 // furnished to do so, subject to the following conditions:
14 //
15 // The above copyright notice and this permission notice shall be included in all
16 // copies or substantial portions of the Software.
17 //
18 // THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
19 // IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
20 // FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
21 // AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
22 // LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
23 // OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
24 // SOFTWARE.
25 
26 #pragma once
27 
30 
31 namespace hal
32 {
34  {
35  public:
46  RAMPortComponent(std::unique_ptr<GateTypeComponent> component,
47  const std::string& data_group,
48  const std::string& addr_group,
49  const BooleanFunction& clock_bf,
50  const BooleanFunction& enable_bf,
51  bool is_write);
52 
58  ComponentType get_type() const override;
59 
66  static bool is_class_of(const GateTypeComponent* component);
67 
75  std::vector<GateTypeComponent*> get_components(const std::function<bool(const GateTypeComponent*)>& filter = nullptr) const override;
76 
77  // TODO add tests for functions below
78 
84  const std::string& get_data_group() const;
85 
91  void set_data_group(const std::string& data_group);
92 
98  const std::string& get_address_group() const;
99 
105  void set_address_group(const std::string& addr_group);
106 
112  const BooleanFunction& get_clock_function() const;
113 
119  void set_clock_function(const BooleanFunction& clock_bf);
120 
126  const BooleanFunction& get_enable_function() const;
127 
133  void set_enable_function(const BooleanFunction& enable_bf);
134 
140  bool is_write_port() const;
141 
147  void set_write_port(bool is_write);
148 
149  private:
150  static constexpr ComponentType m_type = ComponentType::ram_port;
151  std::unique_ptr<GateTypeComponent> m_component = nullptr;
152 
153  std::string m_data_group = "";
154  std::string m_addr_group = "";
155  BooleanFunction m_clock_bf = BooleanFunction();
156  BooleanFunction m_enable_bf = BooleanFunction();
157  bool m_is_write;
158  };
159 } // namespace hal
void set_enable_function(const BooleanFunction &enable_bf)
void set_address_group(const std::string &addr_group)
void set_write_port(bool is_write)
const std::string & get_data_group() const
ComponentType get_type() const override
std::vector< GateTypeComponent * > get_components(const std::function< bool(const GateTypeComponent *)> &filter=nullptr) const override
const BooleanFunction & get_enable_function() const
static bool is_class_of(const GateTypeComponent *component)
const BooleanFunction & get_clock_function() const
const std::string & get_address_group() const
void set_clock_function(const BooleanFunction &clock_bf)
void set_data_group(const std::string &data_group)
RAMPortComponent(std::unique_ptr< GateTypeComponent > component, const std::string &data_group, const std::string &addr_group, const BooleanFunction &clock_bf, const BooleanFunction &enable_bf, bool is_write)