ilang  1.1.4
ILAng: A Modeling and Verification Platform for SoCs
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Friends Macros
supplementary_info.h
1 
5 #ifndef SUPPLEMENTARY_INFO_H__
6 #define SUPPLEMENTARY_INFO_H__
7 
8 #include "nlohmann/json.hpp"
9 
10 #include <map>
11 #include <string>
12 
13 namespace ilang {
14 
17 
18  // ----------------------- TYPE ------------------------ //
19  struct reset_config_t {
23  unsigned reset_cycles;
26  // we anticipate in the reset sequence, you don't need a wide signal
27  std::vector<std::map<std::string, unsigned>> reset_sequence;
30  std::map<std::string, std::string> reset_state;
33  }; // struct reset_config_t
34 
35  // ----------------------- MEMBERS ------------------------ //
37  std::map<std::string, int> width_info;
41  typedef bool memory_export_type;
42 #define memory_export_type_internal false
43 #define memory_export_type_external true
44  std::map<std::string, memory_export_type> memory_export;
47  std::map<std::string, std::map<std::string, std::string>> memory_ports;
50 
51  // ----------------------- METHODS ------------------------ //
55  void FromJson(nlohmann::json& vmap);
56 }; // struct VlgTgtSupplementaryInfo
57 
58 }; // namespace ilang
59 
60 #endif // SUPPLEMENTARY_INFO_H__
reset_config_t cosa_yosys_reset_config
The reset annotation for CoSA &amp; Yosys (Jasper should be fine...)
Definition: supplementary_info.h:49
bool no_reset_after_starting_state
whether to enforce no reset constraint
Definition: supplementary_info.h:21
std::map< std::string, std::string > reset_state
Definition: supplementary_info.h:30
unsigned reset_cycles
how many cycles should reset signal holds
Definition: supplementary_info.h:23
void FromJson(nlohmann::json &vmap)
Parse annotations from Json.
the class to hold supplementary information
Definition: supplementary_info.h:16
Definition: supplementary_info.h:19
std::map< std::string, int > width_info
the width info
Definition: supplementary_info.h:37
std::map< std::string, std::map< std::string, std::string > > memory_ports
the port to keep : memory_name -&gt; (port and its connector)
Definition: supplementary_info.h:47
VlgTgtSupplementaryInfo()
Constructor - default.
std::map< std::string, memory_export_type > memory_export
the map of memory
Definition: supplementary_info.h:45
std::vector< std::map< std::string, unsigned > > reset_sequence
Definition: supplementary_info.h:27
reset_config_t()
Constructor, set default parameters.
Definition: supplementary_info.h:32
bool memory_export_type
Definition: supplementary_info.h:41