test

hdlin_infer_multibit default_all
hdlin_check_no_latch
verilogout_show_unconnected_pins
suppress_errors
verilogout_unconnected_prefix NET_UNCONNECTED_
write_sdc_output_lumped_net_capacitance
write_sec_outputnet_resistance

hdlin_module_name_limit
hdlin_shorten_log_module_name

analyze -format sverilog -lib USER -vcs "-f $FILELIST $DEFINE_VAR"
elaborate $top_module -lib USER

set_svf

set uniquify_naming_style "AAA"
uniquify -force

check_design > ../aaa.rpt

dont_touch
dont_use