Tarek Verification System's technology saves error-prone coding and debugging from the verification process by transforming both the DUT and the verification environment into a set of objects under the user's control. In Tarek's scheme, brand new test suites are created automatically by simply associating of the objects with proper values in many different ways. The methodology raises the technical bar from the verification process, which enables verification engineers as well as designers unfamiliar with software to create thorough tests easily with amazing productivity gains. Another level of automated randomization tool produces meaningful random tests with specific constraints to capture the behavior of the ASIC.