По сообщению корпорации Intel (www.intel.ru), разработанный ею язык верификации ИС ForSpec принят на вооружение еще тремя компаниями - Synopsys, Verisity Design и Co-Design Automation, занимающимися автоматизацией проектирования электронных компонентов. Эти компании намереваются использовать ForSpec при разработке новых инструментальных средств верификации в области САПР электроники. Корпорация Intel, накопившая богатый опыт в сфере верификации, представила язык ForSpec на рассмотрение метрологической организации Accellera, которой поручено создание стандартного языка формализованной верификации характеристик ИС с его последующим утверждением IEEE.
Intel: (095) 721-4900.
