---

set_attribute statistics_log_data true /
set_attribute statistics_run_id <name> /
set_attribute init_hdl_search_path <вставить путь>
set_attribute init_lib_search_path <вставить путь>
elaborate <модуль>
syn_gen
write_hdl > <имя_generic_netlist.v>
syn_map
write_hdl > <имя_mapped_netlist.v>