yosys -import
plugin -i sdc
# Import the commands from the plugins to the tcl interpreter
yosys -import

read_verilog counter2.v
read_verilog -specify -lib -D_EXPLICIT_CARRY +/xilinx/cells_sim.v
read_verilog -lib +/xilinx/cells_xtra.v
hierarchy -check -auto-top
# Start flow after library reading
synth_xilinx -vpr -flatten -abc9 -nosrl -nodsp -iopad -run prepare:check

# Read the design's timing constraints
read_sdc $::env(INPUT_SDC_FILE)

# Propagate the clocks
propagate_clocks

# Write the clocks to file
set fh [open counter2.txt w]
set clocks [get_clocks]
puts $fh $clocks
close $fh

# Write out the SDC file after the clock propagation step
write_sdc $::env(OUTPUT_SDC_FILE)