Computer software, and user manuals sold as a unit, for use in the field of electronic design automation