read -format verilog ../../counter_netl.v
create_clock -period 3000 clock
report_timing > timing_prerte.rpt
target_library = { ncsulib25_worst_wl.db }
translate
report_timing > timing_prerte_wl.rpt
exit