Questa One Sim Xact позволяет значительно ускорить моделирование на уровне ворот, автоматически устраняя надоедливые ложные X, условия гонки с нулевой задержкой и ошибки библиотечного моделирования, а также устраняя проблемы с подключением, которые трудно диагностировать. Кроме того, он поддерживает усовершенствованные инструменты отслеживания основных причин Real X.
Расширенное формальное логическое моделирование динамически выполняет анализ X-пессимизма, анализирует распространение X по путям передачи данных и логике замкнутых тактовых импульсов и выполняет ремонт «на лету».
GLS с нулевой задержкой может продемонстрировать условия гонки, особенно в моделях с закрытой синхронизацией и линиями задержки. Генератор «Pseudo-SDF» эффективно решает проблемы гоночных состояний без необходимости модификации библиотек ячеек.
Анализ распределения силы и высвобождения подтверждает, что силы были оптимизированы и больше не управляют логикой раздува. Анализ связности позволяет выявить модули с неуправляемыми входными данными, которые создают источники X.
Questa One Sim Xact предлагает усовершенствованную методологию быстрого и простого моделирования на уровне ворот. Запатентованная технология позволяет эффективно анализировать моделирование с помощью комбинаторного анализа, чтобы определить, являются ли значения X на D-входах триггера ложными из-за пессимизма X или реальными. Он автоматически устраняет ложные X, что позволяет моделированию на уровне затвора давать правильные результаты.
Компания Siemens eda предлагает поддержку клиентов мирового уровня по этому симулятору и всем нашим продуктам.
Академия верификации предоставляет навыки, необходимые для развития функциональных возможностей организации в области процесса верификации, обеспечивая методологический мост между ценностными предложениями высокого уровня и низкоуровневыми деталями.
Чтобы лучше понять передовые технологии функциональной верификации и способы их наиболее эффективного применения, посетите наш блог, где вы найдете информацию о концепциях, ценностях, стандартах, методологиях и примерах.
