#ifndef VERILOG_GLOBAL_H
#define VERILOG_GLOBAL_H
/* global parameters for dumping synthesizable verilog */

#include <string>
#include "linkedlist.h"
#include "spice_types.h"

extern char* verilog_netlist_file_postfix;
extern float verilog_sim_timescale;
extern char* verilog_timing_preproc_flag; // the flag to enable timing definition during compilation
extern char* verilog_signal_init_preproc_flag; // the flag to enable signal initialization during compilation
extern char* verilog_formal_verification_preproc_flag; // the flag to enable formal verification during compilation
extern char* initial_simulation_flag;
extern char* autochecked_simulation_flag;
extern char* formal_simulation_flag;

extern char* default_verilog_dir_name;
extern char* default_src_dir_name;
extern char* default_lb_dir_name;
extern char* default_rr_dir_name;
extern char* default_submodule_dir_name;
extern char* default_tcl_dir_name;
extern char* default_sdc_dir_name;
extern char* default_msim_dir_name;
extern char* default_snpsfm_dir_name;
extern char* default_modelsim_dir_name;
extern char* default_report_timing_rpt_dir_name;
extern char* autocheck_testbench_postfix;

extern char* modelsim_project_name_postfix;
extern char* modelsim_proc_script_name_postfix;
extern char* modelsim_top_script_name_postfix;
extern char* modelsim_testbench_module_postfix;
extern char* modelsim_autocheck_testbench_module_postfix;
extern char* modelsim_simulation_time_unit;

extern char* formal_verification_top_module_postfix;
extern char* formal_verification_top_module_port_postfix;
extern char* formal_verification_top_module_uut_name;

// Formality script generation variables
extern char* formality_script_name_postfix;
extern char* formal_verification_top_postfix;
// End of Formality script generation variables

// Icarus variables and flag
extern char* icarus_simulator_flag;
// End of Icarus variables and flag

extern char* verilog_top_postfix;
extern char* formal_verification_verilog_file_postfix;
extern char* top_testbench_verilog_file_postfix;
extern char* autocheck_top_testbench_verilog_file_postfix; 
extern char* random_top_testbench_verilog_file_postfix; 
extern char* blif_testbench_verilog_file_postfix;
extern char* defines_verilog_file_name;
extern char* defines_verilog_simulation_file_name;
extern char* submodule_verilog_file_name;
extern char* logic_block_verilog_file_name;
extern char* luts_verilog_file_name;
extern char* routing_verilog_file_name;
extern char* muxes_verilog_file_name;
extern char* local_encoder_verilog_file_name;
extern char* memories_verilog_file_name;
extern char* wires_verilog_file_name;
extern char* essentials_verilog_file_name;
extern char* config_peripheral_verilog_file_name;
extern char* user_defined_template_verilog_file_name;

extern char* trpt_sb_file_name;
extern char* trpt_routing_file_name;

extern char* sdc_analysis_file_name;
extern char* sdc_break_loop_file_name;
extern char* sdc_clock_period_file_name;
extern char* sdc_constrain_routing_chan_file_name;
extern char* sdc_constrain_cb_file_name;
extern char* sdc_constrain_sb_file_name;
extern char* sdc_constrain_pb_type_file_name;
extern char* sdc_break_vertical_sbs_file_name;
extern char* sdc_break_horizontal_sbs_file_name;
extern char* sdc_restore_vertical_sbs_file_name;
extern char* sdc_restore_horizontal_sbs_file_name;

extern char* verilog_mux_basis_posfix;
extern char* verilog_mux_special_basis_posfix;
extern char* verilog_mem_posfix;
extern char* verilog_config_peripheral_prefix;

/* Prefix for subckt Verilog netlists */
extern char* grid_verilog_file_name_prefix;
extern char* chanx_verilog_file_name_prefix;
extern char* chany_verilog_file_name_prefix;
extern char* sb_verilog_file_name_prefix;
extern char* cbx_verilog_file_name_prefix;
extern char* cby_verilog_file_name_prefix;

extern t_spice_model* sram_verilog_model;

/* Input and Output Pad spice model. should be set as global */
extern t_spice_model* inpad_verilog_model;
extern t_spice_model* outpad_verilog_model;
extern t_spice_model* iopad_verilog_model;

/* Linked-list that stores all the configuration bits */
extern t_llist* conf_bits_head;

/* Linked-list that stores submodule Verilog file mames */
extern t_llist* grid_verilog_subckt_file_path_head;
extern t_llist* routing_verilog_subckt_file_path_head;
extern t_llist* submodule_verilog_subckt_file_path_head;

extern int verilog_default_signal_init_value;

extern char* top_netlist_bl_enable_port_name;
extern char* top_netlist_wl_enable_port_name;
extern char* top_netlist_bl_data_in_port_name;
extern char* top_netlist_addr_bl_port_name;
extern char* top_netlist_addr_wl_port_name;
extern char* top_netlist_array_bl_port_name;
extern char* top_netlist_array_wl_port_name;
extern char* top_netlist_array_blb_port_name;
extern char* top_netlist_array_wlb_port_name;
extern char* top_netlist_reserved_bl_port_postfix;
extern char* top_netlist_reserved_wl_port_postfix;
extern char* top_netlist_normal_bl_port_postfix;
extern char* top_netlist_normal_wl_port_postfix;
extern char* top_netlist_normal_blb_port_postfix;
extern char* top_netlist_normal_wlb_port_postfix;
extern char* top_netlist_scan_chain_head_prefix;

extern char* top_tb_reset_port_name;
extern char* top_tb_set_port_name;
extern char* top_tb_prog_reset_port_name;
extern char* top_tb_prog_set_port_name;
extern char* top_tb_config_done_port_name;
extern char* top_tb_op_clock_port_name;
extern char* top_tb_prog_clock_port_name;
extern char* top_tb_inout_reg_postfix;
extern char* top_tb_clock_reg_postfix;

enum e_dump_verilog_port_type {
VERILOG_PORT_INPUT,
VERILOG_PORT_OUTPUT,
VERILOG_PORT_INOUT,
VERILOG_PORT_WIRE,
VERILOG_PORT_REG,
VERILOG_PORT_CONKT,
NUM_VERILOG_PORT_TYPES
};
constexpr std::array<const char*, NUM_VERILOG_PORT_TYPES> VERILOG_PORT_TYPE_STRING = {{"input", "output", "inout", "wire", "reg", ""}}; /* string version of enum e_verilog_port_type */

enum e_verilog_tb_type {
VERILOG_TB_TOP,
VERILOG_TB_BLIF_TOP,
VERILOG_TB_AUTOCHECK_TOP,
VERILOG_TB_FORMAL_VERIFICATION
};

#endif