Computer programs, recorded for use in verification of verifying the functionality of integrated circuit design; prerecorded magnetic datacarriers featuring computer instructions for use in verification of integrated circuit design; downloadable electronic publications in the nature ofguidebooks in the field of integrated circuit design;computer software applications, downloadable for use in verification of integrated circuit design; semiconductor memory units; semiconductor memory devices; c...