Утверждения вступить в их собственную дизайн метод делает основной дебют на ЦАП 2002 - Новости - Автоматизация проектирования конференции 2002

Некоторые из самых больших статей в функциональной проверки на дизайн этой неделе Автоматизация конференции (КСР) в Новом Орлеане, является оптовая ассимиляции контроля "утверждения" на Инк Synopsys и Cadence Design Systems, Inc Обе компании взяли на себя обязательство прокат утверждения в их моделирования основных и формальные проверки среды.

Утверждения наверняка попали в основной, когда два крупнейших EDA компании в мире, твердо ставя их в центр своих функциональных предложений проверки. Утверждения этого заявления в RTL, что мандат поведения. Таким образом, разработчик может указ, что логика не, по сути, выйти за ее пределы и вызвать проблемы. Самой сложности все более крупных проектов и расширением присутствия третьих сторон ИС в них ткнул конструкторов чтобы узнать и полюбить эту технику.

Как кризис продолжается, и дизайн бюджетов получать постоянно сжал, однако, вопрос, является ли меньше, независимых компаний на первый план функциональной проверки, по крайней мере, за последние три года - Zero-In, настоящий намерениях, Verplex в, Averants - вскоре увидим все их евангелизации и стандартов, процесс участия категорически кооптирован, даже не большой выкуп проверить, чтобы показать для него.

С Cadence и Synopsys значительное влияние и маркетинга мышц, функциональные проверки с использованием утверждения будет раскатывать в массы в зависимости от их видения, которая предусматривает, говорят, для утверждения, что так же легко, как это возможно и с помощью инструментов пользователи уже знают. "Принятие первого из утверждений динамической точки зрения моделирования, а затем, после чего из стандартного Статический временной анализ методологии точки зрения, позволит сообществу основные дизайна для облегчения принятия кривой", сказал Майк O'Reilly, В. П. систем и функциональной проверки на Cadence. Cadence будет иметь утверждений, основанных на языке сахара принятые Accellera, который выйдет к осени.

Synopsys на прошлой неделе заявил, что предстоящие VCS 7,0 будет приветствовать утверждение основе проверки. "Мы пересматриваем VCS от моделирования HDL, чтобы быть платформой для смарт-контроля," сказал Фархад Hyat, вице-президент по маркетингу группы проверки технологий Synopsys. "VCS будет операционную систему для проверки."

Synopsys и Cadence есть мощный аргумент в награду обещает сделать использование утверждений легче. Даже по стандартизации весной этого года, методика носит сложный характер. Это были в руках высших эшелонов дизайн в течение некоторого времени и по-прежнему требует применения уникального языка проверки это едва ввода широкое распространение. Но по словам руководителей этих препятствий могут и должны быть преодолены.

Дино Caporossi, вице-президент по маркетингу в официальной проверки игрока Verplex, говорит утверждений являются полезными для всех, не только опытных пользователей. "Широкого круга пользователей будет полезно. Не только связи. Все инженеры должны проверить дрожания рук сигнала, например," сказал Caporossi ", хотя это зависит от того, какой уровень утверждения. Например, SGI, которая является одним из наших клиентов, использует более сложные утверждения, поскольку они ECC (коррекции ошибок схемы) я очень сложна и должна быть проверена в большей степени, чем большинство схем ".

Но Caporossi подчеркивает, что утверждения, но один кусок головоломки. "Вы должны каждый средств проверки, в вашем распоряжении, сказал он.

Он быстро добавил, что пользователи найдут утверждения особенно полезны. "Клиенты утверждают, что с помощью утверждения они могут получить в стабильной модели (так называемый золотым RTL) быстрее, потому что вы работаете утверждения очень рано, по крайней уровне RTL и найти подробную ошибок. Найдя более подробную ошибок раньше, вы снижаете вероятность того, что вниз по течению ошибка не будет найдена. ошибок и вниз по течению особенно отвратительной, потому что приходится переделывать так много шагов проектирования, когда вы их найдете.

"Утверждения и формальных проверок добавил страхование от respins", Caporossi сказал.

Тем не менее, Co-Design Automation, покровителей Superlog и несколько инструментов для этого, утверждают, что без общего и единого стандарта языка, реальные улучшения в сливной проверки времени и денег не придет. И совместно разработанное, говоря так, то не только из продавать больше продукции. Superlog завоевывает награды среди электронной почты пользователя Synopsys группа, и это время размытое в системе Verilog, версии 3.0, который только выиграл утверждения Советом директоров Accellera на прошлой неделе.

Dave Kelf, вице-президент по глобальному маркетингу в сотрудничестве-Design, говорит, что если EDA могут собраться вместе на один язык для разработки и проверки, а еще лучше усовершенствования методологии в магазине. "Еще более интересными являются методология усовершенствования, которые могут быть получены путем объединения полуформальный и формальных методов, с моделированием, связанной с испытательном стенде генераторов", Kelf сказал. "Это может быть достигнуто при использовании общей структуры языка, чтобы заставить всех этих инструментов. Утверждения являются ключевыми в обеспечении сплоченной методологии через эти инструменты.

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