Avery’ s products automate the functional verification of ASIC/SOCs and systems. Avery’ s initial product, called VCK, is a new solution in functional verification automation that delivers greatly enhanced verification environment which automates test generation and functional coverage measurement and analysis. VCK is based on new high-performance simulation and coverage measurement engine, Verilog verification language extensions and powerful automated test generation capabilities, and robust dynamic debug facilities aimed at detecting hardware implementation specific bugs faster and earlier.