Avery is a leading provider of intelligent functional verification solutions.
Avery's wide range of proven VIP includes robust models, protocol checking, and compliance testsuites for PCI Express Gen3, USB 2.0/3.0, xHCI, UAS/BOT, AXI3/AXI4/ACE/AHB, MIPI UniPro/M-PHY/UFS, NVMe, SCSI Express, DDR4/DDR3/DDR2, LPDDR3/LPDDR2, ONFI/TOGGLE Flash, and SATA 3.0.
Avery offers automatic formal solutions including PropSYN for automatic microarchitecture-level assertion and coverage synthesis used to identify functional testing gaps and bugs, and SimXACT which performs X verification at RT and gate-levels including a patent pending solution to automatically eliminate of X pessimism from gate-level simulation speeding gate-level simulation bring-up.