Questa Equivalent RTL

На цьому вебінарі ви дізнаєтеся, чому формальна перевірка є ключовим компонентом для успіху в епоху Next Normal, де успіх першого проходження кремнію має вирішальне значення, а забезпечення якості у вашому циклі перевірки є важливим.

На цьому вебінарі ми обговоримо такі методи: Основна абстракція, налаштування та оптимізація обмежень, незалежність даних та недетермінізм. Ці методи прості в застосуванні, підвищуючи ефективність формального аналізу.

На цьому вебінарі ми покажемо, як, маючи трохи знань дизайну та передбачливості з вашого боку, ви можете використати ці два принципи (DI та ND), щоб скоротити свій офіційний аналіз на лічені хвилини проти годин.

На цьому вебінарі ми покажемо вам, як використовувати стандартний код перевірки властивостей IEEE (SVA) та готові формальні інструменти для швидкої та вичерпної перевірки передачі даних через DUT, що відповідає специфікації.

На цьому вебінарі ви дізнаєтеся типи конструкцій DUT, які зазвичай викликають проблеми з формальним аналізом, і як застосовувати перевірені часом методи, щоб безпечно абстрагувати їх, щоб офіційна перевірка могла швидко завершитися.

На цьому вебінарі ми покажемо вам, як написати оптимальні обмеження для формального аналізу; і як навмисно недообмежувати та надмірно обмежувати аналіз, щоб дізнатися більше про ефективність обмежень.

На цьому вебінарі ви дізнаєтеся, як перевірка впровадження FPGA може прискорити процес проектування, зменшити тестування в лабораторії, забезпечити агресивне використання оптимізації та різко зменшити ризики після виробництва.

Захист апаратного забезпечення так само важливий, як захист програмного забезпечення від кібератак. Ця сесія продемонструє ранню перевірку безпеки на невеликому модулі інтелектуальної власності (IP), призначеному для інтеграції ІС.

На цьому вебінарі ви отримаєте розуміння автоматичних формальних додатків, які можна використовувати для вирішення поточних проблем проектування та перевірки, які зазвичай спостерігаються при розробці конструкцій ASIC та FPGA.

На цьому вебінарі ми покажемо, як використовувати автоматизований, формальний потік, що забезпечує повне охоплення державного простору ваших реєстрів, вичерпно перевіряти поведінку та будь-яку незаконну поведінку, не вивчаючи формальну.

На цьому вебінарі ми детально розглянемо формальну методологію, зосередившись на ABC формальних: (А) абстракція, (Б) пошук помилок та будівельні докази та (C) висвітлення в контексті перевірки власності.

На цьому вебінарі ви побачите, як зручні офіційні програми прогресують до перших кроків офіційної перевірки власності; практична ідея вичерпної формальної перевірки на рівні модуля до обіцянки розвитку, керованого майном.

На цьому вебінарі ми поділимося вичерпною статичною та формальною методологією, яка використовує автоматизовану програму Questa X-Check, яка дозволяє командам дизайнерів усунути проблеми «X» на початку процесу проектування RTL.

На цьому вебінарі ви дізнаєтеся, як використовувати формальний аналіз, щоб знайти та виправити якомога більше функціональних помилок, в кінцевому підсумку покращуючи якість вашого кінцевого продукту та зменшивши ризик повторних обертань.

На цьому вебінарі ви дізнаєтесь, чому застосування формального на початку розробки скорочує загальний цикл перевірки, знаходячи та виправляючи більшість помилок під час розробки, а не пізно в грі перевірки.