Questa One Sim Xact — це інноваційний формальний аналіз та автоматизація потоків, яка спрощує процес впровадження GLS, що призводить до кращої та повнішої перевірки підписання.
Questa One Sim Xact дозволяє набагато швидше запустити моделювання рівня воріт, автоматично усуваючи набридливі помилкові X, умови гонки з нульовою затримкою та помилки моделювання бібліотеки, одночасно ізолюючи важкодіагностичні проблеми підключення. Крім того, він підтримує вдосконалені інструменти відстеження реальних причин X.
Формально розширене логічне моделювання динамічно виконує аналіз X-песимізму, аналізує поширення X у паатах даних та логіку закритого годинника та ремонтує на льоту.
GLS з нульовою затримкою може демонструвати умови гонки, особливо в конструкціях із закритими лініями годинника та затримки. Генератор «псевдо-SDF» ефективно вирішує проблеми умов гонки без необхідності модифікувати бібліотеки клітин.
Аналіз поширення сила/випуску підтверджує, коли сили були оптимізовані і більше не виганяють будь-яку логіку вентилятора. Аналіз підключення знаходить модулі з некерованими входами, які створюють джерела X.
Questa One Sim Xact пропонує вдосконалену методологію для швидкого та легкого моделювання рівня воріт. Його запатентована технологія може ефективно аналізувати моделювання за допомогою комбінаторного аналізу, щоб визначити, чи є значення X на D-входах тригера хибними через X-песимізм чи реальні. Він автоматично усуває помилкові X, які дозволяють моделюванню рівня воріт давати правильні результати.
Siemens EDA пропонує підтримку клієнтів світового рівня для Questa One Sim та всіх наших продуктів.
Академія верифікації надає навички, необхідні для дозрівання можливостей функціонального процесу перевірки організації, забезпечуючи методологічний міст між пропозиціями високого рівня цінності та деталями низького рівня.
Щоб допомогти зрозуміти передові технології функціональної перевірки та як їх найбільш ефективно застосовувати, відвідайте наш блог, щоб отримати уявлення та оновлення щодо концепцій, цінностей, стандартів, методологій та прикладів.
