Agnisys
Agnisys Inc (основана в 2006) является разработчиком решений для автоматизации проектирования электроники, инструменты для разработки и проверки IP, систем-на-чипе (SoC), ASIC и FPGA. В мае 2009 года Agnisys выпустила новый класс приложений, которые преобразуются текстовый процессор в инструмент EDA. Приложение называется IDesignSpec, и он управляет дизайном регистров без необходимости использования языка или традиционного GUI. Еще один инструмент, созданный Agnisys, называется IVerifySpec, предназначен для верификации сложных SoC и был выпущен в июле 2009 года. В январе 2010 года Agnisys была первой компанией, объявившей о поддержке Mentor OVM Register package 1,0.