Computer software for use in designing integrated circuits and reference manuals provided therewith