EDA Коса принять Intel, ForSpec '

Корпорация Intel в Санта-Клара, Калифорния, убедил 3 EDA компании, которые удерживают технологическое лидерство в функциональные инструменты проверки принять его "утверждение язык", или ForSpec.

Synopsys, Verisity Дизайн и сотрудничеству автоматизации проектирования все согласились принять ForSpec за свое будущее инструменты контроля. 3 компании Synopsys соперничать Инк и Verisity Дизайн инк яростно - для ума долю в использовании их собственного Языки проверки, Вера, е и Superlog, соответственно, писать на высоком уровне испытательные стенды, которые автоматизируют процесс ведения чип моделирования через ее функциональных шагов. Этот аспект микросхем мучительно сложный, часто принимая месяцев и, по некоторым оценкам, более 70 процентов бюджета проекта и рабочей силы.

Утверждение язык используется для генерации второй официальной проверки называется собственности проверки. Первое поколение эквивалентности проверки и в настоящее время основной.

Greg Spirakis, вице-президент дизайн технологии в Intel, сказал, что чип гигант пытается развивать свой подход к EDA и поделиться своим собственным опытом дизайна. Spirakis и Intel вызвало большой фурор на автоматизации проектирования июне прошлого года конференции, совещания мире EDA, заявив, проектировщиков должны объединиться вокруг проектирования баз данных OpenAccess.

"Причиной для принятия объявление (около ForSpec) является то, что это общеизвестно, что мы представили эту (стандарты тела) Accellera", Spirakis сказал. "И мы хотели бы работать с одним из ключевых поставщиков, чтобы заставить их сесть за это, а не пусть этот перелом дизайна сообщества. Это (поставщик поддержки) не вступают в противоречие, но полностью в его поддержку".

Spirakis говорили тенденции EDA на осколок и расходятся, когда он имеет возможность для достижения консенсуса.

"Там в пример, и я не хочу сказать, что это такая же большая, например, но это, конечно, очень аналогично. Когда промышленность сделала переход от схемы к RTL, промышленности сломана, так что теперь есть VHDL и есть Verilog, Есть и вариации на них.

"Сегодня, если вы посмотрите на отрасли, если вы хотите тренажера, вы должны выбрать ваш тренажер и вашим поставщиком на основании которых HDL вы ... В официальном эквивалентности инструменты контроля, это важно ли вы использовать VHDL или Verilog в вашем дизайне .

"То, что мы говорим о том, есть еще один переход происходит, и мы работаем в рамках EDA и с другими поставщиками голову, что ГРП," Spirakis сказал. И это больше, чем теоретические для Intel, поскольку она находилась на последнем перекрестке язык дизайна, что Intel взяла свой маршрут и получили огромную внутреннюю задачу поддержки.

"Да, Intel все еще имеет свое собственное HDL. Вот почему мы в полной мере понять проблемы, когда есть несколько Языки бегать. Тогда мы были одной из первых перейти (в HDL), а в то время мы считали, что собственные преимущества ... Теперь мы чувствуем, как Intel и отрасли лучше обслуживаться, если мы согласимся на уровень ".

Intel уже представила ForSpec формальной организации по стандартам, Accellera, которая зафрахтовала с определением стандартных официальных языка проверки имущества для рассмотрения, принятия и последующей передачи в IEEE.

Synopsys будет включать в себя язык ForSpec в OpenVera. Вера 5,0 будет объявлено примерно через две недели, но Spirakis сказал ForSpec не входит в эту версию. Verisity планирует внедрить временную часть логики ForSpec в электронной проверки языка. Сотрудничество автоматизации проектирования согласился объединить ForSpec временные конструкции в Superlog, что разработка и проверка языка.