ПАУЗА Технологии
| Тип компании | Частный |
|---|---|
| Штаб-квартира | Санта-Клара, Калифорния , США |
| Веб-сайт | www |
JEDA Technologies, Inc. («JEDA») — поставщик программных продуктов для передовой отрасли автоматизации электронного проектирования (EDA), в частности для автоматизации проверки на уровне электронной системы (ESL). Продукты JEDA применяются для проектирования моделей, написанных на C, C++, SystemC, для измерения, проверки и улучшения качества. Штаб-квартира компании находится в Санта-Кларе, штат Калифорния, а офисы исследований и разработок находятся в Китае.
История
[ редактировать ]Компания была основана в 2002 году.
Основателями компании стали создатели и изобретатели языка проверки оборудования Vera .
Ссылки
[ редактировать ]- «Проверка соответствия TLM-2.0 — зачем беспокоиться?» , NASCUG, 2009 г.
- «ИНСТРУМЕНТ ПОКРЫТИЯ КОДА JEDA ДЛЯ ПРОЕКТИРОВАНИЯ СИСТЕМ ESL» , OSCI , 2007 г.
- «ПАКЕТ ИНСТРУМЕНТОВ ВАЛИДАЦИИ JEDA ДЛЯ СНИЖЕНИЯ РИСКОВ ПРОЕКТА ESL» , OSCI , 2008 г.
- «Библиотека поддерживает SystemC» , EETimes, 2007 г.
- «Утверждения транзакций расширяют возможности пакета Jeda NSCa» , EETimes , 2006 г.
- «Утверждения SystemC становятся «родными»» , EETimes, 2006 г.