#include <VHDL_writer.hpp>

Inheritance diagram for VHDL_writer:

Collaboration diagram for VHDL_writer:

[legend]

Public Member Functions
std::string	get_name () const override
	Return the name of the language writer. More...

std::string	get_extension () const override
	Return the filename extension associated with the VHDL_writer. More...

void	write_comment (const std::string &comment_string) override
	Print a comment. More...

std::string	type_converter (structural_type_descriptorRef Type) override
	Return a language based type string given a structural_type_descriptor. More...

std::string	type_converter_size (const structural_objectRef &cir) override
	Return a language based type string given a structural_type_descriptor for the range of the array. More...

std::string	may_slice_string (const structural_objectRef &cir)
	return the slice in case of a port owned by a port vector More...

void	write_library_declaration (const structural_objectRef &cir) override
	Write used library. More...

void	write_module_declaration (const structural_objectRef &cir) override
	Write the declaration of the module. More...

void	write_module_internal_declaration (const structural_objectRef &cir) override
	Write the declaration of internal objects of the module. More...

void	write_port_declaration (const structural_objectRef &cir, bool last_port_to_analyze) override
	Write the port declaration starting from a port object. More...

void	write_component_declaration (const structural_objectRef &cir) override
	Write the declaration of a component. More...

void	write_signal_declaration (const structural_objectRef &cir) override
	Write the declaration of a signal. More...

void	write_module_definition_begin (const structural_objectRef &cir) override
	Write the top constructor declaration. More...

void	write_module_instance_begin (const structural_objectRef &cir, const std::string &module_name, bool write_parametrization) override
	Write the initial part of the instance of a module. More...

void	write_module_instance_end (const structural_objectRef &cir) override
	Write the ending part of the instance of a module. More...

void	write_port_binding (const structural_objectRef &port, const structural_objectRef &object_bounded, bool first_port_analyzed) override
	Write the binding of a port. More...

void	write_vector_port_binding (const structural_objectRef &port, bool first_port_analyzed) override

void	write_module_definition_end (const structural_objectRef &cir) override
	Write the end part in a module declaration. More...

void	write_io_signal_post_fix (const structural_objectRef &port, const structural_objectRef &sig) override
	Write some code managing primary ports to signals connections. More...

void	write_io_signal_post_fix_vector (const structural_objectRef &port, const structural_objectRef &sig) override

void	write_module_parametrization (const structural_objectRef &cir) override
	Module can be parametrized with respect different features. More...

void	write_state_declaration (const structural_objectRef &cir, const std::list< std::string > &list_of_states, const std::string &reset_port, const std::string &reset_state, bool one_hot) override
	write the declaration of all the states of the finite state machine. More...

void	write_present_state_update (const structural_objectRef cir, const std::string &reset_state, const std::string &reset_port, const std::string &clock_port, const std::string &reset_type, bool connect_present_next_state_signals) override
	write the present_state update process More...

void	write_transition_output_functions (bool single_proc, unsigned int output_index, const structural_objectRef &cir, const std::string &reset_state, const std::string &reset_port, const std::string &start_port, const std::string &clock_port, std::vector< std::string >::const_iterator &first, std::vector< std::string >::const_iterator &end, bool, const std::map< unsigned int, std::map< std::string, std::set< unsigned int >>> &bypass_signals) override
	Write the transition and output functions. More...

void	write_NP_functionalities (const structural_objectRef &cir) override
	Write in the proper language the behavioral description of the module described in "Not Parsed" form. More...

void	write_assign (const std::string &op0, const std::string &op1) override

void	write_port_decl_header () override
	Write the header for port_decl. More...

void	write_port_decl_tail () override
	Write the tail for port_decl. More...

void	write_module_parametrization_decl (const structural_objectRef &cir) override
	Write the declaration of the module parameters. More...

	VHDL_writer (const technology_managerConstRef TM, const ParameterConstRef parameters)
	Constructor. More...

	~VHDL_writer () override
	Destructor. More...

bool	has_output_prefix () const override

bool	check_keyword (const std::string &) const override

void	WriteBuiltin (const structural_objectConstRef component) override
	Write a builtin component. More...

void	write_header () override
	Write the header of vhdl file. More...

Public Member Functions inherited from language_writer
	language_writer (char open_char, char close_char, const ParameterConstRef parameters)
	Constructor. More...

virtual	~language_writer ()
	Destructor. More...

virtual void	write (const std::string &rawString)
	Writes a raw string into the stream. More...

const std::string	WriteString () const
	Dump the content of the write as a string. More...

void	WriteFile (const std::string &filename) const
	Write content to a file. More...

CustomSet< std::string >	GetHDLReservedNames () const
	Return the names of auxiliary signals which will be used by backend. More...

void	WriteLicense ()
	Write the license. More...

Static Public Member Functions
static bool	check_keyword_vhdl (const std::string &id)

Static Public Member Functions inherited from language_writer
static language_writerRef	create_writer (HDLWriter_Language language, const technology_managerConstRef TM, const ParameterConstRef parameters)
	Creates the specialization of the writer based on the desired language. More...

static unsigned int	bitnumber (unsigned long long n)
	Counts the number of bits in an unsigned int. More...

Protected Attributes
CustomOrderedSet< std::string >	list_of_comp_already_def

const technology_managerConstRef	TM
	The technology manager. More...

Protected Attributes inherited from language_writer
const IndentedOutputStreamRef	indented_output_stream
	Represents the stream we are currently writing to. More...

CustomOrderedSet< std::string >	list_of_lib
	list of library imported (e.g., includes). More...

CustomOrderedSet< std::string >	list_of_customized_gates
	list of customized gates More...

const ParameterConstRef	parameters
	the set of input parameters More...

int	debug_level
	debugging level of the class More...

Static Protected Attributes
static const std::set< std::string >	keywords

Additional Inherited Members
Protected Member Functions inherited from language_writer
std::string	encode_one_hot (unsigned int n_states, unsigned int val) const

Detailed Description

Definition at line 54 of file VHDL_writer.hpp.

Constructor & Destructor Documentation

◆ VHDL_writer()

VHDL_writer::VHDL_writer	(	const technology_managerConstRef	TM,
		const ParameterConstRef	parameters
	)

Constructor.

Parameters

TM	is the technology manager
parameters	is the set of input parameters

Definition at line 81 of file VHDL_writer.cpp.

References language_writer::debug_level, GET_CLASS, language_writer::parameters, and ~VHDL_writer().

Referenced by get_extension().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ ~VHDL_writer()

VHDL_writer::~VHDL_writer ( )

overridedefault

Destructor.

Referenced by get_extension(), and VHDL_writer().

Here is the caller graph for this function:

Member Function Documentation

◆ check_keyword()

bool VHDL_writer::check_keyword ( const std::string & id ) const

overridevirtual

Implements language_writer.

Definition at line 2161 of file VHDL_writer.cpp.

References check_keyword_vhdl().

Referenced by has_output_prefix().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ check_keyword_vhdl()

bool VHDL_writer::check_keyword_vhdl ( const std::string & id )

static

Definition at line 2166 of file VHDL_writer.cpp.

References keywords.

Referenced by check_keyword().

Here is the caller graph for this function:

◆ get_extension()

std::string VHDL_writer::get_extension ( ) const

inlineoverridevirtual

Return the filename extension associated with the VHDL_writer.

Implements language_writer.

Definition at line 77 of file VHDL_writer.hpp.

References map, may_slice_string(), language_writer::parameters, type_converter(), type_converter_size(), VHDL_writer(), write_assign(), write_comment(), write_component_declaration(), write_io_signal_post_fix(), write_io_signal_post_fix_vector(), write_library_declaration(), write_module_declaration(), write_module_definition_begin(), write_module_definition_end(), write_module_instance_begin(), write_module_instance_end(), write_module_internal_declaration(), write_module_parametrization(), write_module_parametrization_decl(), write_NP_functionalities(), write_port_binding(), write_port_decl_header(), write_port_decl_tail(), write_port_declaration(), write_present_state_update(), write_signal_declaration(), write_state_declaration(), write_transition_output_functions(), write_vector_port_binding(), and ~VHDL_writer().

Here is the call graph for this function:

◆ get_name()

std::string VHDL_writer::get_name ( ) const

inlineoverridevirtual

Return the name of the language writer.

Implements language_writer.

Definition at line 70 of file VHDL_writer.hpp.

◆ has_output_prefix()

bool VHDL_writer::has_output_prefix ( ) const

inlineoverridevirtual

Implements language_writer.

Definition at line 250 of file VHDL_writer.hpp.

References check_keyword(), write_header(), and WriteBuiltin().

Here is the call graph for this function:

◆ may_slice_string()

std::string VHDL_writer::may_slice_string ( const structural_objectRef & cir )

return the slice in case of a port owned by a port vector

Parameters

port	is the port

Returns: a string in case of a port owned by a port vector

Definition at line 319 of file VHDL_writer.cpp.

Referenced by get_extension(), write_io_signal_post_fix(), and write_port_binding().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ type_converter()

std::string VHDL_writer::type_converter ( structural_type_descriptorRef Type )

overridevirtual

Return a language based type string given a structural_type_descriptor.

Parameters

Type	is the structural_type_descriptor.

Implements language_writer.

Definition at line 94 of file VHDL_writer.cpp.

Referenced by get_extension(), write_port_binding(), write_port_declaration(), and write_signal_declaration().

Here is the caller graph for this function:

◆ type_converter_size()

std::string VHDL_writer::type_converter_size ( const structural_objectRef & cir )

overridevirtual

Return a language based type string given a structural_type_descriptor for the range of the array.

In case of scalar type it return an empty string.

Parameters

cir	is the object for which the size has been computed.

Implements language_writer.

Definition at line 145 of file VHDL_writer.cpp.

Referenced by get_extension(), write_port_declaration(), and write_signal_declaration().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ write_assign()

void VHDL_writer::write_assign	(	const std::string &	op0,
		const std::string &	op1
	)

overridevirtual

Implements language_writer.

Definition at line 1982 of file VHDL_writer.cpp.

References THROW_ERROR.

Referenced by get_extension().

Here is the caller graph for this function:

◆ write_comment()

void VHDL_writer::write_comment ( const std::string & comment_string )

overridevirtual

Print a comment.

Parameters

comment_string is the string to be printed as a comment.

Implements language_writer.

Definition at line 89 of file VHDL_writer.cpp.

References IndentedOutputStream::Append(), and language_writer::indented_output_stream.

Referenced by get_extension(), write_component_declaration(), write_present_state_update(), write_state_declaration(), and write_transition_output_functions().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ write_component_declaration()

void VHDL_writer::write_component_declaration ( const structural_objectRef & cir )

overridevirtual

Write the declaration of a component.

Parameters

cir	is the component to be declared.

Implements language_writer.

Definition at line 544 of file VHDL_writer.cpp.

References IndentedOutputStream::Append(), IndentedOutputStream::Deindent(), structural_object::get_kind_text(), HDL_manager::get_mod_typename(), structural_object::get_path(), IndentedOutputStream::Indent(), language_writer::indented_output_stream, list_of_comp_already_def, lenet_tvm::mod, THROW_ASSERT, write_comment(), write_module_parametrization_decl(), and write_port_declaration().

Referenced by get_extension().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ write_header()

void VHDL_writer::write_header ( )

overridevirtual

Write the header of vhdl file.

Reimplemented from language_writer.

Definition at line 2244 of file VHDL_writer.cpp.

References IndentedOutputStream::Append(), and language_writer::indented_output_stream.

Referenced by has_output_prefix().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ write_io_signal_post_fix()

void VHDL_writer::write_io_signal_post_fix	(	const structural_objectRef &	port,
		const structural_objectRef &	sig
	)

overridevirtual

Write some code managing primary ports to signals connections.

Parameters

port	is the primary port for which this problem happens.
sig	is the attached signal.

Implements language_writer.

Definition at line 995 of file VHDL_writer.cpp.

References IndentedOutputStream::Append(), structural_type_descriptor::BOOL, constant_o_K, HDL_manager::convert_to_identifier(), structural_object::get_id(), structural_object::get_kind(), structural_object::get_owner(), GET_TYPE_SIZE, language_writer::indented_output_stream, structural_type_descriptor::INT, may_slice_string(), port_o_K, port_vector_o_K, signal_o_K, signal_vector_o_K, THROW_ASSERT, structural_type_descriptor::UINT, and structural_type_descriptor::VECTOR_BOOL.

Referenced by get_extension().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ write_io_signal_post_fix_vector()

void VHDL_writer::write_io_signal_post_fix_vector	(	const structural_objectRef &	port,
		const structural_objectRef &	sig
	)

overridevirtual

Implements language_writer.

Definition at line 1118 of file VHDL_writer.cpp.

References IndentedOutputStream::Append(), structural_type_descriptor::BOOL, HDL_manager::convert_to_identifier(), structural_object::get_id(), structural_object::get_kind(), structural_object::get_owner(), language_writer::indented_output_stream, structural_type_descriptor::INT, port_vector_o_K, signal_vector_o_K, THROW_ASSERT, structural_type_descriptor::UINT, and structural_type_descriptor::VECTOR_BOOL.

Referenced by get_extension().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ write_library_declaration()

void VHDL_writer::write_library_declaration ( const structural_objectRef & cir )

overridevirtual

Write used library.

Parameters

cir	is the component for which the library declarations are written.

Implements language_writer.

Definition at line 456 of file VHDL_writer.cpp.

References IndentedOutputStream::Append(), channel_o_K, component_o_K, structural_object::get_kind(), language_writer::indented_output_stream, NP_functionality::IP_LIBRARY, and THROW_ASSERT.

Referenced by get_extension().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ write_module_declaration()

void VHDL_writer::write_module_declaration ( const structural_objectRef & cir )

overridevirtual

Write the declaration of the module.

Parameters

cir	is the module to be written.

Implements language_writer.

Definition at line 483 of file VHDL_writer.cpp.

References IndentedOutputStream::Append(), channel_o_K, component_o_K, HDL_manager::convert_to_identifier(), structural_object::get_kind(), GET_TYPE_NAME, language_writer::indented_output_stream, list_of_comp_already_def, and THROW_ASSERT.

Referenced by get_extension().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ write_module_definition_begin()

void VHDL_writer::write_module_definition_begin ( const structural_objectRef & cir )

overridevirtual

Write the top constructor declaration.

Parameters

cir	is the top component to be declared.

Implements language_writer.

Definition at line 656 of file VHDL_writer.cpp.

References IndentedOutputStream::Append(), IndentedOutputStream::Deindent(), IndentedOutputStream::Indent(), and language_writer::indented_output_stream.

Referenced by get_extension().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ write_module_definition_end()

void VHDL_writer::write_module_definition_end ( const structural_objectRef & cir )

overridevirtual

Write the end part in a module declaration.

Parameters

cir	is the top component to be declared.

Implements language_writer.

Definition at line 684 of file VHDL_writer.cpp.

References IndentedOutputStream::Append(), channel_o_K, component_o_K, HDL_manager::convert_to_identifier(), IndentedOutputStream::Deindent(), structural_object::get_kind(), GET_TYPE_NAME, language_writer::indented_output_stream, and THROW_ASSERT.

Referenced by get_extension().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ write_module_instance_begin()

void VHDL_writer::write_module_instance_begin	(	const structural_objectRef &	cir,
		const std::string &	module_name,
		bool	write_parametrization
	)

overridevirtual

Write the initial part of the instance of a module.

Parameters

module_name	is the name of the module to be instanced. It has to be specified since VHDL and verilog can print in different ways
cir	is the module to be instanced.

Implements language_writer.

Definition at line 663 of file VHDL_writer.cpp.

References IndentedOutputStream::Append(), channel_o_K, component_o_K, HDL_manager::convert_to_identifier(), structural_object::get_id(), structural_object::get_kind(), IndentedOutputStream::Indent(), language_writer::indented_output_stream, THROW_ASSERT, and write_module_parametrization().

Referenced by get_extension().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ write_module_instance_end()

void VHDL_writer::write_module_instance_end ( const structural_objectRef & cir )

overridevirtual

Write the ending part of the instance of a module.

Parameters

cir	is the module to be instanced.

Implements language_writer.

Definition at line 678 of file VHDL_writer.cpp.

References IndentedOutputStream::Append(), IndentedOutputStream::Deindent(), and language_writer::indented_output_stream.

Referenced by get_extension().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ write_module_internal_declaration()

void VHDL_writer::write_module_internal_declaration ( const structural_objectRef & cir )

overridevirtual

Write the declaration of internal objects of the module.

Parameters

cir	is the module to be written.

Implements language_writer.

Definition at line 491 of file VHDL_writer.cpp.

References IndentedOutputStream::Append(), channel_o_K, component_o_K, HDL_manager::convert_to_identifier(), structural_object::get_kind(), GET_TYPE_NAME, IndentedOutputStream::Indent(), language_writer::indented_output_stream, and THROW_ASSERT.

Referenced by get_extension().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ write_module_parametrization()

void VHDL_writer::write_module_parametrization ( const structural_objectRef & cir )

overridevirtual

Module can be parametrized with respect different features.

Port vectors are parametrized with the number of port associated, while ports are parametrized in case the type is a integer with the number of bits. The id of the module is modified by adding the parameters at its end. For example an AND_GATE with a port_vector of 2 will be declared as: AND_GATE_2. Moreover, a multiplier with the first input of four bits, the second input with eight bits and an output of twelve bits will be declared as: MULT_4_8_12. Note that parametrization has a meaning only in case the functionality come from the STD technology library.

Parameters

cir	is the component to be declared.

writing memory-related parameters

Generic of owner module

If we reach this point actual parameter of current module is formal parameter of owner module of type memory Since memory parameters are integer and parameter of current module is std_logic_vector conversion has to be added We need to know the size of the generic (name), but this is not possible examining only the current generic At the moment his pattern has been encountered only in constant_value, so we use information about another generic that we know exist int that module

Implements language_writer.

Definition at line 1161 of file VHDL_writer.cpp.

Referenced by get_extension(), and write_module_instance_begin().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ write_module_parametrization_decl()

void VHDL_writer::write_module_parametrization_decl ( const structural_objectRef & cir )

overridevirtual

Write the declaration of the module parameters.

writing memory-related parameters

in case first_it is false at least one parameter has used.

Implements language_writer.

Definition at line 2031 of file VHDL_writer.cpp.

Referenced by get_extension(), and write_component_declaration().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ write_NP_functionalities()

void VHDL_writer::write_NP_functionalities ( const structural_objectRef & cir )

overridevirtual

Write in the proper language the behavioral description of the module described in "Not Parsed" form.

Parameters

cir	is the component.

manage reset by preprocessing the behavioral description

Implements language_writer.

Definition at line 1987 of file VHDL_writer.cpp.

References IndentedOutputStream::Append(), HDL_manager::convert_to_identifier(), NP_functionality::get_NP_functionality(), GET_TYPE_NAME, language_writer::indented_output_stream, lenet_tvm::mod, language_writer::parameters, RESET_PORT_NAME, THROW_ASSERT, and NP_functionality::VHDL_PROVIDED.

Referenced by get_extension().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ write_port_binding()

void VHDL_writer::write_port_binding	(	const structural_objectRef &	port,
		const structural_objectRef &	object_bounded,
		bool	first_port_analyzed
	)

overridevirtual

Write the binding of a port.

It follows the name binding style.

Parameters

port	is the port to be bounded.
top	is the component owner of the component that has the port to be bounded.

This conversion is needed since vector of bool are mapped on VECTOR_UINT

Implements language_writer.

Definition at line 809 of file VHDL_writer.cpp.

Referenced by get_extension().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ write_port_decl_header()

void VHDL_writer::write_port_decl_header ( )

overridevirtual

Write the header for port_decl.

Implements language_writer.

Definition at line 2019 of file VHDL_writer.cpp.

References IndentedOutputStream::Append(), IndentedOutputStream::Indent(), and language_writer::indented_output_stream.

Referenced by get_extension().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ write_port_decl_tail()

void VHDL_writer::write_port_decl_tail ( )

overridevirtual

Write the tail for port_decl.

Implements language_writer.

Definition at line 2025 of file VHDL_writer.cpp.

References IndentedOutputStream::Append(), IndentedOutputStream::Deindent(), and language_writer::indented_output_stream.

Referenced by get_extension().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ write_port_declaration()

void VHDL_writer::write_port_declaration	(	const structural_objectRef &	cir,
		bool	last_port_to_analyze
	)

overridevirtual

Write the port declaration starting from a port object.

Parameters

cir	is the port to be written.

Implements language_writer.

Definition at line 502 of file VHDL_writer.cpp.

References IndentedOutputStream::Append(), HDL_manager::convert_to_identifier(), structural_object::get_id(), structural_object::get_kind(), structural_object::get_typeRef(), language_writer::indented_output_stream, port_o_K, port_vector_o_K, THROW_ASSERT, THROW_ERROR, type_converter(), and type_converter_size().

Referenced by get_extension(), and write_component_declaration().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ write_present_state_update()

void VHDL_writer::write_present_state_update	(	const structural_objectRef	cir,
		const std::string &	reset_state,
		const std::string &	reset_port,
		const std::string &	clock_port,
		const std::string &	reset_type,
		bool	connect_present_next_state_signals
	)

overridevirtual

write the present_state update process

Parameters

reset_state	is the reset state.
reset_port	is the reset port.
clock_port	is the clock port.
reset_type	when true the FSM will have an synchronous reset

Implements language_writer.

Definition at line 1465 of file VHDL_writer.cpp.

References IndentedOutputStream::Append(), IndentedOutputStream::Deindent(), IndentedOutputStream::Indent(), language_writer::indented_output_stream, language_writer::parameters, and write_comment().

Referenced by get_extension().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ write_signal_declaration()

void VHDL_writer::write_signal_declaration ( const structural_objectRef & cir )

overridevirtual

Write the declaration of a signal.

Parameters

cir	is the signal to be declared.

Implements language_writer.

Definition at line 630 of file VHDL_writer.cpp.

References IndentedOutputStream::Append(), structural_type_descriptor::BOOL, HDL_manager::convert_to_identifier(), structural_object::get_id(), structural_object::get_kind(), structural_object::get_typeRef(), language_writer::indented_output_stream, signal_o_K, signal_vector_o_K, structural_type_descriptor::size, STR, THROW_UNREACHABLE, structural_type_descriptor::type, type_converter(), type_converter_size(), structural_type_descriptor::VECTOR_BOOL, and structural_type_descriptor::vector_size.

Referenced by get_extension().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ write_state_declaration()

void VHDL_writer::write_state_declaration	(	const structural_objectRef &	cir,
		const std::list< std::string > &	list_of_states,
		const std::string &	reset_port,
		const std::string &	reset_state,
		bool	one_hot
	)

overridevirtual

write the declaration of all the states of the finite state machine.

Parameters

list_of_states is the list of all the states.

adjust in case states are not consecutive

Implements language_writer.

Definition at line 1395 of file VHDL_writer.cpp.

References IndentedOutputStream::Append(), language_writer::bitnumber(), language_writer::encode_one_hot(), language_writer::indented_output_stream, max, NumberToBinaryString(), language_writer::parameters, STATE_NAME_PREFIX, STR, and write_comment().

Referenced by get_extension().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ write_transition_output_functions()

void VHDL_writer::write_transition_output_functions	(	bool	single_proc,
		unsigned int	output_index,
		const structural_objectRef &	cir,
		const std::string &	reset_state,
		const std::string &	reset_port,
		const std::string &	start_port,
		const std::string &	clock_port,
		std::vector< std::string >::const_iterator &	first,
		std::vector< std::string >::const_iterator &	end,
		bool	,
		const std::map< unsigned int, std::map< std::string, std::set< unsigned int >>> &	bypass_signals
	)

overridevirtual

Write the transition and output functions.

Parameters

cir	is the component.
reset_port	is the reset port.
clock_port	is the clock port.
first	if the first iterator of the state table.
end	if the end iterator of the state table.
n_states	is the number of states.

get the default output of the reset state

set the defaults

get the present state

get the current output

check if we can skip this state or transitions

really useful for one-hot encoding

Implements language_writer.

Definition at line 1520 of file VHDL_writer.cpp.

References IndentedOutputStream::Append(), HDL_manager::convert_to_identifier(), language_writer::debug_level, DEBUG_LEVEL_VERY_PEDANTIC, IndentedOutputStream::Deindent(), IndentedOutputStream::Indent(), INDENT_DBG_MEX, language_writer::indented_output_stream, lenet_tvm::mod, NEXT_STATE_PORT_NAME, NumberToBinaryString(), PRESENT_STATE_PORT_NAME, starts_with(), STR, THROW_ASSERT, THROW_ERROR, and write_comment().

Referenced by get_extension().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ write_vector_port_binding()

void VHDL_writer::write_vector_port_binding	(	const structural_objectRef &	port,
		bool	first_port_analyzed
	)

overridevirtual

Implements language_writer.

Definition at line 693 of file VHDL_writer.cpp.

References IndentedOutputStream::Append(), structural_type_descriptor::BOOL, constant_o_K, HDL_manager::convert_to_identifier(), language_writer::debug_level, DEBUG_LEVEL_VERY_PEDANTIC, IndentedOutputStream::Deindent(), structural_object::get_id(), structural_object::get_kind(), structural_object::get_owner(), GET_TYPE_SIZE, IndentedOutputStream::Indent(), INDENT_DBG_MEX, language_writer::indented_output_stream, port_o_K, port_vector_o_K, signal_o_K, signal_vector_o_K, STR, THROW_ASSERT, THROW_UNREACHABLE, and structural_type_descriptor::VECTOR_BOOL.

Referenced by get_extension().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ WriteBuiltin()

void VHDL_writer::WriteBuiltin ( const structural_objectConstRef component )

overridevirtual

Write a builtin component.

Parameters

component is the component to be printed

Implements language_writer.

Definition at line 2171 of file VHDL_writer.cpp.

References AND_GATE_STD, IndentedOutputStream::Append(), HDL_manager::convert_to_identifier(), language_writer::debug_level, DEBUG_LEVEL_VERY_PEDANTIC, GET_TYPE_NAME, INDENT_DBG_MEX, language_writer::indented_output_stream, lenet_tvm::mod, OR_GATE_STD, port_o_K, port_vector_o_K, STR, THROW_ASSERT, and THROW_UNREACHABLE.

Referenced by has_output_prefix().

Here is the call graph for this function:

Here is the caller graph for this function:

Field Documentation

◆ keywords

const std::set< std::string > VHDL_writer::keywords

staticprotected

Initial value:

= {
    "ABS",          "ACCESS",     "AFTER",   "ALIAS",     "ALL",       "AND",
    "ARCHITECTURE", "ARRAY",      "ASSERT",  "ATTRIBUTE", "BEGIN",     "BLOCK",
    "BODY",         "BUFFER",     "BUS",     "CASE",      "COMPONENT", "CONFIGURATION",
    "CONSTANT",     "DISCONNECT", "DOWNTO",  "ELSE",      "ELSIF",     "END",
    "ENTITY",       "EXIT",       "FILE",    "FOR",       "FUNCTION",  "GENERATE",
    "GENERIC",      "GROUP",      "GUARDED", "IF",        "IMPURE",    "IN",
    "INERTIAL",     "INOUT",      "IS",      "LABEL",     "LIBRARY",   "LINKAGE",
    "LITERAL",      "LOOP",       "MAP",     "MOD",       "NAND",      "NEW",
    "NEXT",         "NOR",        "NOT",     "NULL",      "OF",        "ON",
    "OPEN",         "OR",         "OTHERS",  "OUT",       "PACKAGE",   "PORT",
    "POSTPONED",    "PROCEDURE",  "PROCESS", "PURE",      "RANGE",     "RECORD",
    "REGISTER",     "REJECT",     "REM",     "RETURN",    "ROL",       "ROR",
    "SELECT",       "SEVERITY",   "SIGNAL",  "SHARED",    "SLA",       "SLI",
    "SRA",          "SRL",        "SUBTYPE", "THEN",      "TO",        "TRANSPORT",
    "TYPE",         "UNAFFECTED", "UNITS",   "UNTIL",     "USE",       "VARIABLE",
    "WAIT",         "WHEN",       "WHILE",   "WITH",      "XNOR",      "XOR"}

Definition at line 57 of file VHDL_writer.hpp.

Referenced by check_keyword_vhdl().

◆ list_of_comp_already_def

CustomOrderedSet<std::string> VHDL_writer::list_of_comp_already_def

protected

Definition at line 59 of file VHDL_writer.hpp.

Referenced by write_component_declaration(), and write_module_declaration().

◆ TM

const technology_managerConstRef VHDL_writer::TM

protected

The technology manager.

Definition at line 62 of file VHDL_writer.hpp.

Referenced by write_module_parametrization(), and write_module_parametrization_decl().

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

/workspace/src/design_flows/backend/ToHDL/writer/VHDL_writer.hpp
/workspace/src/design_flows/backend/ToHDL/writer/VHDL_writer.cpp

Public Member Functions

Static Public Member Functions

Protected Attributes

Static Protected Attributes

Additional Inherited Members

Detailed Description

Constructor & Destructor Documentation

◆ VHDL_writer()

◆ ~VHDL_writer()

Member Function Documentation

◆ check_keyword()

◆ check_keyword_vhdl()

◆ get_extension()

◆ get_name()

◆ has_output_prefix()

◆ may_slice_string()

◆ type_converter()

◆ type_converter_size()

◆ write_assign()

◆ write_comment()

◆ write_component_declaration()

◆ write_header()

◆ write_io_signal_post_fix()

◆ write_io_signal_post_fix_vector()

◆ write_library_declaration()

◆ write_module_declaration()

◆ write_module_definition_begin()

◆ write_module_definition_end()

◆ write_module_instance_begin()

◆ write_module_instance_end()

◆ write_module_internal_declaration()

◆ write_module_parametrization()

◆ write_module_parametrization_decl()

◆ write_NP_functionalities()

◆ write_port_binding()

◆ write_port_decl_header()

◆ write_port_decl_tail()

◆ write_port_declaration()

◆ write_present_state_update()

◆ write_signal_declaration()

◆ write_state_declaration()

◆ write_transition_output_functions()

◆ write_vector_port_binding()

◆ WriteBuiltin()

Field Documentation

◆ keywords

◆ list_of_comp_already_def

◆ TM