Компании Synopsys, Verisity Design и Co-Design Automation принимают на вооружение разработанный Intel язык верификации ForSpec

Корпорация Intel распространила сообщение о том, что разработанный ею язык функциональной верификации интегральных схем (ForSpec) принят на вооружение еще тремя компаниями, занимающимися автоматизацией проектирования электронных компонентов (САПР-электроника). Компании Synopsys, Verisity Design и Co-Design Automation намереваются использовать язык ForSpec в разработке новых инструментальных средств верификации в области САПР-электроники. Как сообщает московское представительство Intel, корпорация представила язык ForSpec на рассмотрение метрологической организации Accellera, которой поручена разработка стандартного языка формализованной верификации характеристик ИС с его последующим обсуждением и утверждением специалистами Института инженеров по электротехнике и электронике (IEEE). Грег Спиракис, вице-президент корпорации Intel и руководитель ее подразделения Design Technology, сказал что разработчики новых инструментальных средств и методики крайне нуждаются в стандартном языке формализованной верификации, появление которого позволило бы многократно использовать проверенные проектные решения и ускорило бы процесс интеграции инструментальных средств. Компания Synopsys намеревается использовать язык ForSpec в модернизации автоматизированного испытательного стенда VERA, результатом которой станет мощное решение по верификации, основанное на языке верификации аппаратных средств OpenVera. Этот язык с открытым исходным кодом обеспечивает взаимодействие разнообразных инструментальных средств, простоту применения комплексной методики верификации, открытое распространение интеллектуальной собственности в данной области. Обогащение этого открытого языка разработанными Intel возможностями формализованной верификации ForSpec существенно расширит функции как процесса верификации характеристик интегральных схем в целом, так и, в частности, таких высокопроизводительных моделирующих средств компании Synopsys, как VCS и Scirocco. Компания Verisity Design намерена встроить сегмент временной логики языка ForSpec в язык верификации e с целью разработки более мощной и рациональной методики верификации, сочетающей в себе возможности формализованной верификации Intel со средствами Specman Elite. Обеспечение работоспособности отличающихся высокой сложностью современных компьютерных систем, в том числе скомпонованных на одном кристалле, и крупных специализированных интегральных схем требует единых стандартов верификации заданных характеристик. Такие комплексные средства верификации призваны обеспечить оптимальные результаты благодаря сочетанию формализованной методики с применением технологий моделирования. Компания Co-Design Automation намеревается интегрировать временные логические структуры языка ForSpec в разработанный ею язык проектирования и верификации SUPERLOG. В результате будет создан мощный механизм верификации характеристик интегральных схем, которым смогут с легкостью воспользоваться как разработчики средств Verilog, так и специалисты по верификации. Язык SUPERLOG со встроенными средствами ForSpec послужит основой высокоэффективной комплексной методики моделирования и верификации, применимой на всех этапах процесса проектирования и проверки характеристик, который резко упрощается благодаря применению этой новой технологии. Одновременно компании Synopsys, Verisity и Co-Design Automation выразили готовность принять активное участие в дальнейшем совершенствовании нового языка формальной верификации характеристик интегральных схем ForSpec с тем, чтобы представить его организации Accellera на заключительном этапе процесса отбора стандартов.

Последняя редакция от 07.11.2001
1 Звезда2 Звезды3 Звезды4 Звезды5 Звезд (Пока оценок нет)
Загрузка...
Поделитесь в сетях!

Добавить комментарий

Ваш адрес email не будет опубликован. Обязательные поля помечены *

Максимальный размер загружаемого файла: 9 МБ. Вы можете загрузить: изображение. Ссылки на YouTube, Facebook, Twitter и другие сервисы, вставленные в текст комментария, будут автоматически встроены.