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

Этот высокопроизводительный анализ CDC

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

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

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

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

Эта проверка CDC

Избранные информационные документы

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

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

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

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

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

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

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

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

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

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