Skip to main content
Эта страница переведена автоматически. Перейти к английской версии?
Ключевые функции

Этот анализ CDC Signoff Questa Signoff

Questa Signoff CDC использует автоматизированные усовершенствованные алгоритмы структурного анализа, оптимизированные для анализа на уровне шлюзов, а также автоматизированное использование информации об отказе и пути CDC, полученной из анализа Questa CDC RTL, для получения точных результатов с «низким уровнем шума».

Эти дизайнерские решения

Ресурсы CDC Questa Signoff

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

Статическая верификация

Предстоящие мероприятия и мероприятия по запросу

Просмотрите все доступные видеозаписи CDC, Lint и RDC на сайте Академия верификации.

Готовы сегодня с кем-нибудь поговорить?

Мы готовы ответить на ваши вопросы.

Напишите нам

Свяжитесь с нашим отделом продаж: 1-800-547-3000 или 1-503-685-8000

Узнайте больше

Академия верификации

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

Блог о горизонтах верификации

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

Горизонты проверки

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