synopsys formality eco