formality synopsys