Formality®InstallationNotesVersionD-2010.03March8,20101TheseinstallationnotespresentinformationaboutinstallingFormalityversionD-2010.03inthefollowingsections:•MediaAvailabilityandSupportedPlatforms•DiskSpaceandMemoryRequirements•InstallingtheSoftware•SettingUptheUserEnvironment•VerifyingtheFormalityInstallationNote:Theinstallationinstructionsinthischapterarethemostup-to-dateavailableatthetimeofproduction.However,changesmighthaveoccurred.Forthelatestinstallationinformation,seetheproductreleasenotesordocumentation.ToobtainthelatestproductInstallationGuide,gotohttp://www.synopsys.com/install.Fordetailedlicensingsetupandtroubleshootingassistance,seetheLicensingQuickStartGuideat.http://www.synopsys.com/licensing.Copyright©2010Synopsys,Inc.Allrightsreserved.Seehttp://www.synopsys.com/Company/Pages/Copyright.aspxforadditionaltermsandconditions.FormalityInstallationNotesVersionD-2010.03MediaAvailabilityandSupportedPlatformsFormalityisavailablebyelectronicsoftwaretransfer(EST)downloaduponinitialsoftwarerelease,andatalaterdateonDVD(orCDdependingonimagesize).Table1showsthesupportedcomputeplatforms,operatingsystems,Synopsysplatformkeywords,andwindowingenvironmentsforthisrelease.Table1SupportedPlatforms,OperatingSystems,andKeywordsComputeOperatingsystemSynopsysplatformDesktopplatformkeywordwindowingenvironmentx86_64RedHatEnterpriseLinuxv4,51amd64(64-bitmode)2GNOMElinux(32-bitmode)2x86_64SUSELinuxEnterpriseServerv9,101suse64(64-bitmode)KDEsuse32(32-bitmode)x86_64Solaris10x86sol64(64-bitmode)CDEx86sol32(32-bitmode)x86RedHatEnterpriseLinuxv4,51linux(32-bitmode)2GNOMEx86SUSELinuxEnterpriseServerv9,101suse32(32-bitmode)KDESunSPARCSolaris9,101sparc64(64-bitmode)CDEsparcOS5(32-bitmode)1.Binary-compatiblehardwareplatformoroperatingsystem.Note,however,thatbinarycompatibilityisnotguaranteed.Seehttp://www.synopsys.com/qscforthelatestonsupportedplatforms,includingrequiredOSpatches.2.The32-bit(x86)and64-bit(x86_64)Linuxsoftwareisbinar