name.prj
#Data Inport Section

read_file -type sourcelist ./sranc_top.vc
read_file -type waiver lint.swl
set_option lib chip_lib results/chip_lib

##Common Options Section
set_option projectwdir ./results
set_option language_mode mixed
set_option projectcwd /qixin/proj_users/simba/ahb_soc_2/ahb_soc/impl/lint/work
set_option report_ip_waiver yes
set_option active_methodology /gixin/proj_users/simba/ahb_soc_2/ahb_soc/impl/lint/work/meth
set_option default_waiver_file lint.swl
set_option enable_gateslib_autocompile yes
set_option hdlin_translate_off_skip_text yes
set option hdlin_synthesis_off skip_text yes
set_option dw yes
set_option mthresh 99999
set_option nosavepolicy { advpolicy }
set_option enable_const_prop_thru_seq yes
set_option enable pgnetlist yes
set_option hdllibdu yes
set option report_style { sort_sevlabel_wt }
set_option work chip_lib
set_option enableSV yes
set_option sort yes
set_option sortmethod jaquar
set_option top sramc_top

##Goal Setup Section
current_methodology /qixin/proj_users/sinba/ahb_soc2/ahb_soc/impl/int/work/meth
current_goal lint/lint_rtl -top sramc_top