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