Какие умные люди

Когда есть экономический спад, умных компаний инновации. Они знают, что при неизбежных подъема следует, они должны быть готовы по последнему слову техники. Компании, которые используют самые передовые технологии EDA, даже во время экономического спада, будет готова быстрее, чем их конкуренты, следующее поколение продуктов, когда экономика набирает. Короче говоря, умные компании используют инновации отрасли EDA на топливо самостоятельно.

Так что, если эти проблемы EDA нововведений решить? Быстрый обзор инженеров и аналитиков, показывает, что проверка является самым большим вызовом. Соринг рассчитывает ворот сделали проверку ПС, ASICs и SOC конструкции более трудным и долгим, чем когда-либо. Система и полупроводниковых компаний оценка проверка может занять до 70 процентов цикла проектирования. Постоянные инновации в алгоритмы помогли повысить производительность традиционных тренажерах, но еще необходимо идти в ногу с прогрессом неустанные закона Мура. Чтобы остаться на опережение, инновационное мышление и технологий не требуется.

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

Чтобы понять, умный проверки, давайте рассмотрим каждый компонент, чтобы увидеть, как он будет способствовать ускорению процесса проверки. Во-первых, мирового класса тренажера должна быть в основе смарт-контроля. Тренажер высокопроизводительных HDL бы обеспечить быстрый и точный результат, а на симуляторе в одиночку не будет достаточно.

Покрытие метрик будет также иметь решающее значение для умных проверки, поскольку они предоставляют средства для измерения качества проверки. Они позволяют проектная группа знать, когда это необходимо делать больше, а также, если оно сделано достаточно.

Автоматизированные системы связи между покрытия двигатели и генерации тестов позволит разработчикам создавать тесты, которые реагируют на покрытие показателей и автоматически перенаправляет проверки в тех областях дизайна, которые не получают адекватного тестирования.

Расширенный анализ полуформальный бы дальнейшую помощь, предоставляя новому взглянуть на дизайн. Было бы генерировать высококачественные испытания, чтобы найти особенно труднодоступный ошибок. Формальная верификация бы улучшить этот процесс дальше, предоставляя исчерпывающие доказательства свойства структуры и повышения общего доверия к качеству конструкции.

Язык высших абстракции утверждение может еще больше укрепить умные проверки. После утверждения точное описание того, что поведение можно ожидать от данного входного, с использованием высших абстракции утверждения позволит пользователям, чтобы описать поведение системы с меньшим числом строк кода. Функций, которые традиционно приняты сотни строк кода могут быть написаны только с чаи линий утверждений. С самого начала этот кусок умные технологии контроля позволит сэкономить много времени и усилий.

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

Очевидно, что они умные.

Аарт де Гэс является председателем и главным исполнительным директором Synopsys инк