Computer programs for designing and testing integrated circuits; electronic databases recorded on computer media in the field of design and testing of integrated circuits

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