Going Формальные SoCs Платья для успеха

Чем можно объяснить успех прорыва EDA технологий, таких как официальные проверки даже в общей электронной промышленности спотыкается немного? Просто так: инструменты и методы, которые решают фундаментальные проблемы, часто путем пересмотра или пересмотра проблемы, всегда найдет нетерпеливых покупателей, ожидающих оснастки их.

И так с проверкой больших, сложных систем-на-чипов (на кристалле), многие, содержащие 10 и более миллионов транзисторов. Моделирование давно полагаться на проверку, но растущая сложность и масштабами SoCs сегодня делает его практически невозможно рассчитывать на моделирование в одиночку. Использование даже частичное векторных множеств, моделирование зачастую просто занимает слишком много времени для каждой итерации, предлагая дизайнерам неприятный выбор: растянуть цикла проектирования, выполнив достаточно векторов должна быть удобной и риск ошибки отсутствует логика, подтвердив менее тщательно. Большинство излишнюю осторожность. В самом деле, нынешние оценки в том, что, когда полагаясь исключительно на моделирование, 70 процентов из цикла проектирования сожжен по проверке.

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

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

Формальные методы предложить дизайнер гораздо более умный путь к проверке SOC. Вместо того, чтобы применение стимулов для дизайна и сравнивая свои ответы с ожидаемыми результатами, официальных исследований, проверки схемы математически доказать или опровергнуть его функциональные свойства. Огромные усилия, необходимые для создания функциональных испытаний векторов можно избежать, за исключением тех частей конструкции, когда моделирование имеет смысл, и тщательной проверки могут быть достигнуты в гораздо более короткие сроки, чем при использовании моделирования. В отличие от симуляции, которая лишь указывает на наличие ошибок, формальные проверки может доказать их отсутствие. Когда обнаруживается ошибка, формальных средств проверки автоматически генерировать борьбе примеры, демонстрирующие ошибки условиях. Это дает возможность дизайнерам полную проверку задачи быстрее и с гораздо более высоким уровнем доверия.

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

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

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

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

C. Michael Chang является президент и главный исполнительный директор компании Verplex Systems, Inc основана в Милпитасе, Калифорния