read -format verilog ../../counter_netl.v
create_clock -period 3000 clock
include counter.setload
report_timing > timing_postrte_caponly.rpt
include counter.setres
report_timing > timing_postrte_rc.rpt
exit