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