computer software for verifying the testability of computer circuits and systems and documentation for computer software sold as a unit