Computer software for integrated circuit design verification and test development, and instruction and user manuals provided in connection therewith