formality synopsys user guide