| _advanced_param_ptr | ilang::VlgSglTgtGen | protected |
| _all_referred_vlg_names | ilang::VlgSglTgtGen | protected |
| _backend | ilang::VlgSglTgtGen | protected |
| _chc_target_t typedef | ilang::VlgSglTgtGen_Yosys | |
| _host | ilang::VlgSglTgtGen | protected |
| _idr | ilang::VlgSglTgtGen | protected |
| _ila_mod_inst_name | ilang::VlgSglTgtGen | protected |
| _instr_ptr | ilang::VlgSglTgtGen | protected |
| _output_path | ilang::VlgSglTgtGen | protected |
| _problems | ilang::VlgSglTgtGen_Yosys | protected |
| _sdr | ilang::VlgSglTgtGen | protected |
| _vext | ilang::VlgSglTgtGen | protected |
| _vlg_cfg | ilang::VlgSglTgtGen | protected |
| _vlg_mod_inst_name | ilang::VlgSglTgtGen | protected |
| _vtg_config | ilang::VlgSglTgtGen | protected |
| add_a_direct_assertion(const std::string &asst, const std::string &dspt) override | ilang::VlgSglTgtGen_Yosys | protectedvirtual |
| add_a_direct_assumption(const std::string &aspt, const std::string &dspt) override | ilang::VlgSglTgtGen_Yosys | protectedvirtual |
| add_an_assertion(const std::string &asst, const std::string &dspt) | ilang::VlgSglTgtGen | protectedvirtual |
| add_an_assumption(const std::string &aspt, const std::string &dspt) | ilang::VlgSglTgtGen | protectedvirtual |
| add_inv_obj_as_assertion(InvariantObject *inv_obj) | ilang::VlgSglTgtGen | protected |
| add_inv_obj_as_assumption(InvariantObject *inv_obj) | ilang::VlgSglTgtGen | protected |
| add_reg_cassign_assumption(const std::string &varname, const std::string &expression, int width, const std::string &cond, const std::string &dspt) | ilang::VlgSglTgtGen | protectedvirtual |
| add_rf_inv_as_assertion() | ilang::VlgSglTgtGen | protected |
| add_rf_inv_as_assumption() | ilang::VlgSglTgtGen | protected |
| add_wire_assign_assumption(const std::string &varname, const std::string &expression, const std::string &dspt) | ilang::VlgSglTgtGen | protectedvirtual |
| advanced_parameters_t typedef | ilang::VlgSglTgtGen_Yosys | |
| backend_selector typedef | ilang::VlgSglTgtGen | |
| bad_state_return(void) | ilang::VlgSglTgtGen | protected |
| BOTH enum value (defined in ilang::VlgSglTgtGen) | ilang::VlgSglTgtGen | |
| chc_target | ilang::VlgSglTgtGen_Yosys | protected |
| cnt_width | ilang::VlgSglTgtGen | protected |
| ConstructWrapper() | ilang::VlgSglTgtGen | virtual |
| ConstructWrapper_add_additional_mapping_control() | ilang::VlgSglTgtGen | protected |
| ConstructWrapper_add_condition_signals() | ilang::VlgSglTgtGen | protected |
| ConstructWrapper_add_cycle_count_moniter() | ilang::VlgSglTgtGen | protected |
| ConstructWrapper_add_helper_memory() | ilang::VlgSglTgtGen | protected |
| ConstructWrapper_add_ila_input() | ilang::VlgSglTgtGen | protected |
| ConstructWrapper_add_inv_assumption_or_assertion_target_instruction() | ilang::VlgSglTgtGen | protected |
| ConstructWrapper_add_inv_assumption_or_assertion_target_inv_syn_design_only() | ilang::VlgSglTgtGen | protected |
| ConstructWrapper_add_inv_assumption_or_assertion_target_invariant() | ilang::VlgSglTgtGen | protected |
| ConstructWrapper_add_module_instantiation() | ilang::VlgSglTgtGen | protected |
| ConstructWrapper_add_post_value_holder() | ilang::VlgSglTgtGen | protected |
| ConstructWrapper_add_post_value_holder_handle_obj(nlohmann::json &pv_cond_val, const std::string &pv_name, int width, bool create_reg) | ilang::VlgSglTgtGen | protected |
| ConstructWrapper_add_rf_assumptions() | ilang::VlgSglTgtGen | protected |
| ConstructWrapper_add_uf_constraints() | ilang::VlgSglTgtGen | protected |
| ConstructWrapper_add_varmap_assertions() | ilang::VlgSglTgtGen | protected |
| ConstructWrapper_add_varmap_assumptions() | ilang::VlgSglTgtGen | protected |
| ConstructWrapper_add_vlg_input_output() | ilang::VlgSglTgtGen | protected |
| ConstructWrapper_add_vlg_monitor() | ilang::VlgSglTgtGen | protected |
| ConstructWrapper_generate_header() | ilang::VlgSglTgtGen | protected |
| ConstructWrapper_get_ila_module_inst() | ilang::VlgSglTgtGen | protected |
| ConstructWrapper_inv_syn_cond_signals() | ilang::VlgSglTgtGen | protected |
| ConstructWrapper_inv_syn_connect_mem() | ilang::VlgSglTgtGen | protected |
| ConstructWrapper_register_extra_io_wire() | ilang::VlgSglTgtGen | protected |
| ConstructWrapper_reset_setup() | ilang::VlgSglTgtGen | protected |
| design_smt_info | ilang::VlgSglTgtGen_Yosys | protected |
| do_not_instantiate(void) override | ilang::VlgSglTgtGen_Yosys | inlinevirtual |
| empty_json | ilang::VlgSglTgtGen | protected |
| ex_info_t typedef | ilang::VlgSglTgtGen | |
| Export_ila_vlg(const std::string &ila_vlg_name) | ilang::VlgSglTgtGen | virtual |
| Export_mem(const std::string &mem_name) override | ilang::VlgSglTgtGen_Yosys | protectedvirtual |
| Export_modify_verilog() override | ilang::VlgSglTgtGen_Yosys | protectedvirtual |
| Export_problem(const std::string &extra_name) override | ilang::VlgSglTgtGen_Yosys | protectedvirtual |
| Export_script(const std::string &script_name) override | ilang::VlgSglTgtGen_Yosys | protectedvirtual |
| Export_wrapper(const std::string &wrapper_name) | ilang::VlgSglTgtGen | virtual |
| ExportAll(const std::string &wrapper_name, const std::string &ila_vlg_name, const std::string &script_name, const std::string &extra_name, const std::string &mem_name) override | ilang::VlgSglTgtGen_Yosys | virtual |
| fn_l_map_t typedef | ilang::VlgSglTgtGen_Yosys | |
| func_app_cnt_t typedef | ilang::VlgSglTgtGen | |
| func_cnt | ilang::VlgSglTgtGen | protected |
| generate_proof | ilang::VlgSglTgtGen_Yosys | protected |
| get_current_instruction_rf() | ilang::VlgSglTgtGen | protected |
| get_width(const ExprPtr &n) | ilang::VlgSglTgtGen | protectedstatic |
| GetDesignSmtInfo() const | ilang::VlgSglTgtGen_Yosys | |
| GetMemInfo(const std::string &ila_mem_name) const | ilang::VlgSglTgtGen | protected |
| GetStateVarMapExpr(const std::string &ila_state_name, nlohmann::json &m, bool is_assert=false) | ilang::VlgSglTgtGen | protected |
| handle_start_condition(nlohmann::json &dc) | ilang::VlgSglTgtGen | protected |
| has_confirmed_synthesized_invariant | ilang::VlgSglTgtGen | protected |
| has_flush | ilang::VlgSglTgtGen | protected |
| has_gussed_synthesized_invariant | ilang::VlgSglTgtGen | protected |
| has_rf_invariant | ilang::VlgSglTgtGen | protected |
| ila_file_name | ilang::VlgSglTgtGen | protected |
| IlaGetInput(const std::string &sname) const | ilang::VlgSglTgtGen | protected |
| IlaGetState(const std::string &sname) const | ilang::VlgSglTgtGen | protected |
| in_bad_state(void) const | ilang::VlgSglTgtGen | inline |
| info_t typedef | ilang::VlgSglTgtGen_Yosys | |
| INSTRUCTIONS enum value (defined in ilang::VlgSglTgtGen) | ilang::VlgSglTgtGen | |
| INV_SYN_DESIGN_ONLY enum value (defined in ilang::VlgSglTgtGen) | ilang::VlgSglTgtGen | |
| INVARIANTS enum value (defined in ilang::VlgSglTgtGen) | ilang::VlgSglTgtGen | |
| max_bound | ilang::VlgSglTgtGen | protected |
| ModifyCondExprAndRecordVlgName(const VarExtractor::token &t) | ilang::VlgSglTgtGen | protected |
| NA enum value (defined in ilang::VlgSglTgtGen) | ilang::VlgSglTgtGen | |
| new_mapping_id() | ilang::VlgSglTgtGen | protected |
| new_property_id() | ilang::VlgSglTgtGen | protected |
| PerStateMap(const std::string &ila_state_name_or_equ, const std::string &vlg_st_name) | ilang::VlgSglTgtGen | protected |
| PreExportProcess() override | ilang::VlgSglTgtGen_Yosys | protectedvirtual |
| prob_fname | ilang::VlgSglTgtGen_Yosys | protected |
| READY_BOUND enum value (defined in ilang::VlgSglTgtGen) | ilang::VlgSglTgtGen | |
| READY_SIGNAL enum value (defined in ilang::VlgSglTgtGen) | ilang::VlgSglTgtGen | |
| ready_type | ilang::VlgSglTgtGen | protected |
| ready_type_t enum name | ilang::VlgSglTgtGen | |
| ReplExpr(const std::string &expr, bool force_vlg_sts=false) | ilang::VlgSglTgtGen | protected |
| rf_cond | ilang::VlgSglTgtGen | protected |
| rf_vmap | ilang::VlgSglTgtGen | protected |
| run_script_name | ilang::VlgSglTgtGen_Yosys | protected |
| s_backend | ilang::VlgSglTgtGen_Yosys | protected |
| supplementary_info | ilang::VlgSglTgtGen | protected |
| synthesis_backend_selector typedef | ilang::VlgSglTgtGen | |
| target_type | ilang::VlgSglTgtGen | protected |
| target_type_t typedef | ilang::VlgSglTgtGen_Yosys | |
| top_file_name | ilang::VlgSglTgtGen | protected |
| top_mod_name | ilang::VlgSglTgtGen | protected |
| TryFindIlaInput(const std::string &sname) | ilang::VlgSglTgtGen | protected |
| TryFindIlaState(const std::string &sname) | ilang::VlgSglTgtGen | protected |
| TryFindIlaVarName(const std::string &sname) | ilang::VlgSglTgtGen | protected |
| TryFindVlgState(const std::string &sname) | ilang::VlgSglTgtGen | protected |
| TypeMatched(const ExprPtr &ila_var, const SignalInfoBase &vlg_var) | ilang::VlgSglTgtGen | protectedstatic |
| vlg_design_files | ilang::VlgSglTgtGen | protected |
| vlg_ila | ilang::VlgSglTgtGen | protected |
| vlg_include_files_path | ilang::VlgSglTgtGen | protected |
| vlg_info_ptr | ilang::VlgSglTgtGen | protected |
| vlg_wrapper | ilang::VlgSglTgtGen | protected |
| VlgSglTgtGen(const std::string &output_path, const InstrPtr &instr_ptr, const InstrLvlAbsPtr &ila_ptr, const VerilogGenerator::VlgGenConfig &config, nlohmann::json &_rf_vmap, nlohmann::json &_rf_cond, VlgTgtSupplementaryInfo &_supplementary_info, VerilogInfo *_vlg_info_ptr, const std::string &vlg_mod_inst_name, const std::string &ila_mod_inst_name, const std::string &wrapper_name, const std::vector< std::string > &implementation_srcs, const std::vector< std::string > &implementation_include_path, const vtg_config_t &vtg_config, backend_selector backend, const target_type_t &target_tp, advanced_parameters_t *adv_ptr) | ilang::VlgSglTgtGen | |
| VlgSglTgtGen_Yosys(const std::string &output_path, const InstrPtr &instr_ptr, const InstrLvlAbsPtr &ila_ptr, const VerilogGenerator::VlgGenConfig &config, nlohmann::json &_rf_vmap, nlohmann::json &_rf_cond, VlgTgtSupplementaryInfo &_sup_info, VerilogInfo *_vlg_info_ptr, const std::string &vlg_mod_inst_name, const std::string &ila_mod_inst_name, const std::string &wrapper_name, const std::vector< std::string > &implementation_srcs, const std::vector< std::string > &include_dirs, const vtg_config_t &vtg_config, backend_selector vbackend, const target_type_t &target_tp, advanced_parameters_t *adv_ptr, _chc_target_t chc_target) | ilang::VlgSglTgtGen_Yosys | |
| vtg_config_t typedef | ilang::VlgSglTgtGen | |
| ~VlgSglTgtGen() | ilang::VlgSglTgtGen | inlinevirtual |
| ~VlgSglTgtGen_Yosys() | ilang::VlgSglTgtGen_Yosys | virtual |
1.8.5
