ilang::VlgTgtSupplementaryInfo::reset_config_t Struct Reference

Public Member Functions
	reset_config_t ()
	Constructor, set default parameters.

Public Attributes
bool	no_reset_after_starting_state
	whether to enforce no reset constraint
unsigned	reset_cycles
	how many cycles should reset signal holds
std::vector< std::map < std::string, unsigned > >	reset_sequence
std::map< std::string, std::string >	reset_state

Member Data Documentation

std::vector<std::map<std::string, unsigned> > ilang::VlgTgtSupplementaryInfo::reset_config_t::reset_sequence

the reset sequence: list of (signal name -> value) map (not supported yet)

std::map<std::string, std::string> ilang::VlgTgtSupplementaryInfo::reset_config_t::reset_state

Future work: reset state: signame -> signal value (valid vlog expr) (not supported yet)

---

The documentation for this struct was generated from the following file:

• supplementary_info.h