Tarek's revolutionary 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. With Draco, 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. Tarek’s test case automation solution shifts user paradigm vertically in the verification automation industry.

The PCIE-VR supports all the PCI Express standards, 1.0a, 1.1, and Gen2 Final. All PCIE designs, such as root complex, switches, end points, and bridges, are supported at both Register-Transfer Level (RTL) and Electronic System Level (ESL). To integrate a PCIE design, PCIE-VR uses standard interfaces, such as serial, PIPE, 8/10b, and parallel. A compliance test suite that implements the PCIE compliance checklist from PCI-SIG is also included.

The SATA-VR is full compliance with the latest Sata 2.6 standard. Its automatic state machine exercisers enable the shortest possible verification time with full coverage at the physical and data link layers. Its 1510D compatible DMA engines and a de-facto standard ATA/ATAPI driver enables the most efficient verification automation at the transport and command layers.

The SERDES-VR is serdes verification IP with 8b/10b encoder and decoder. It supports various protocols such as PCI-Express, SATA, Fibre Channel, various Ethernet protocols, Display port, Infiniband, Sonet and so on. On top of serial interface, parallel interfaces are implemented for maximizing portability.