Computer software for the validation and verification of integrated circuit designs; and corresponding instructional manuals sold as a unit