Public Types
using	backend_selector = VlgVerifTgtGenBase::backend_selector
	Type of the backend.

using	synthesis_backend_selector = VlgVerifTgtGenBase::synthesis_backend_selector
	Type of the synthesis backend.

using	vtg_config_t = VlgVerifTgtGenBase::vtg_config_t
	Type of configuration.

Public Member Functions
	VerilogVerificationTargetGenerator (const std::vector< std::string > &implementation_include_path, const std::vector< std::string > &implementation_srcs, const std::string &implementation_top_module, const std::string &refinement_variable_mapping, const std::string &refinement_conditions, const std::string &output_path, const InstrLvlAbsPtr &ila_ptr, backend_selector backend, const vtg_config_t &vtg_config=vtg_config_t(), const VerilogGenerator::VlgGenConfig &config=VerilogGenerator::VlgGenConfig())

void	GenerateTargets (void)
	export all targets

bool	in_bad_state (void) const
	return true if the generator's in a bad state and cannot proceed.

std::string	GetVlgModuleInstanceName (void) const
	get vlg-module instance name

Constructor & Destructor Documentation

ilang::VerilogVerificationTargetGenerator::VerilogVerificationTargetGenerator	(	const std::vector< std::string > &	implementation_include_path,
		const std::vector< std::string > &	implementation_srcs,
		const std::string &	implementation_top_module,
		const std::string &	refinement_variable_mapping,
		const std::string &	refinement_conditions,
		const std::string &	output_path,
		const InstrLvlAbsPtr &	ila_ptr,
		backend_selector	backend,
		const vtg_config_t &	vtg_config = `vtg_config_t()`,
		const VerilogGenerator::VlgGenConfig &	config = `VerilogGenerator::VlgGenConfig()`
	)

Parameters

[in]	implementation's	include path (if it uses `include)
[in]	verilog's	path, currently we only handle situation where all in the same folder
[in]	name	of the top module of the implementation, leave "" to allow auto analysis
[in]	where	to get variable mapping
[in]	where	to get refinement relation
[in]	output	path (ila-verilog, wrapper-verilog, problem.txt, run-verify-by-???, modify-impl, it there is )
[in]	pointer	to the ila
[in]	the	backend selector
[in]	(optional)	the default configuration for outputing verilog

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

Public Types