- Insight - Formal Analysis tool, Development Tool-Software
- PCI-Xactor, Development Tool-Software

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.
2 Atwood Lane
Andover,, MA MA 01810
United States
Phone: (978)689-7286
Fax: (978)258-5889
http://www.avery-design.com