Synopsys Formality_User_Guide2011.9