Synopsys Synplify Pro for Microsemi Edition Command Reference January 2020 synplify pro tcl synthesis command for FPGA constraint command