Отечественная компания ЭРЕМЕКС ведет работы по созданию средств моделирования и функциональной верификации цифровых проектов. Ряд разработок компании используется при создании отечественных маршрутов проектирования микроэлектронной аппаратуры.