Перевірка електричних правил і вичерпна класифікація помилок

Перевидано Платоном

читають: 0

Мета команд дизайнерів SoC — записати свій проект і отримати робочий кремній з першої спроби, не виявляючи жодних помилок у кремнії. Для досягнення цієї високої мети потрібні всі типи спеціалізованих перевірок і перевірок на етапі проектування, щоб запобігти помилкам. Існують перевірки на системному рівні, рівні RTL, рівні затвора, рівні транзистора та рівнях фізичної компонування. Однією з нових компаній EDA є Aniah, і вони зосереджені на перевірці правильності конструкцій IC на рівні транзисторів за допомогою перевірки електричних правил (ERC) за допомогою формальних методів і розумної кластеризації помилок.

Під час ERC офіційний інструмент може помилково повідомляти про «хибні спрацьовування», і це помилкові помилки, про які не слід було повідомляти. Справжні помилки проектування, які не виявляються, називаються «хибними негативами», тому ідеальний формальний інструмент має нуль помилкових негативів. Формальний інструмент Aniah ERC називається OneCheck, і я щойно прочитав їхній офіційний документ, щоб швидше дізнатися, як він працює.

Aniah OneCheck ERC можна запускати на проекті в кількох місцях для потоків IC для перевірки як аналогових, так і цифрових схем:

Потік інструменту Aniah мін — Aniah Tool Flow

Деякі поширені недоліки дизайну, які виявляють офіційні перевіряючі, включають:

Відсутні перемикачі рівня
Плаваючі ворота
Високоімпедансні стани
Плаваючий навал
Витік діода
Електричне перенапруження

Помилкові помилки

Є чотири типові класи хибних помилок, якими можна обдурити інструмент ERC, тому наведені нижче приклади ілюструють проблеми.

1. Специфічна топологія

Наступна схема має два домени потужності – VDD, Vin; між ними очікується перемикач рівня, і тут помилкові прапорці помилки транзисторів M2 і M3, тому що їхні ворота підключені до мережі A і мережі 1, які живляться від Vin, а не VDD. Транзистори M0 і M1 фактично контролюють рівень «1».

2. Аналоговий шлях

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

3. Логічно неможливий шлях

Інвертор M1, M2 керується сигналом нижчого діапазону. Коли мережа 3 дорівнює «1», тоді M2 знижує вихідну мережу 2 до «0», але хибна помилка повідомляє про логічний шлях через M3 і M1.

Помилкова помилка - неможливий шлях — Помилкова помилка – неможливий шлях

4. Відсутнє джерело живлення в налаштуваннях

Коли ланцюг кільцевого генератора потребує регульованого значення живлення 1.2 В, але регулятор має значення живлення 2.5 В, тоді може бути повідомлено про помилкову помилку для електричного перенапруження.

Помилкова помилка – відсутній джерело живлення в налаштуваннях

OneCheck

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

Ваша команда проектувальників схем може почати використовувати OneCheck після введення перших схемних списків мереж, навіть до того, як буде запущено будь-яке моделювання. Фактичний час роботи OneCheck досить швидкий, як правило, лише кілька секунд на конструкціях зі змішаним сигналом із понад 10 мільйонами транзисторів і понад 10,000 XNUMX різних сценаріїв живлення.

1. Специфічна топологія
OneCheck виявляє помилкові помилки, пов’язані з топологією, як-от відсутність перемикачів рівня, виконуючи псевдоелектричний аналіз для моделювання напруг і струмів.

2. Аналоговий шлях
За допомогою Aniah OneCheck користувач може ідентифікувати та фільтрувати хибні помилки будь-якої опорної мережі струму чи напруги.

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

4. Відсутнє джерело живлення в налаштуваннях
Усі помилки, пов’язані з відсутністю джерела живлення, групуються разом, тому користувачі можуть легко оновити налаштування джерела живлення.

Підсумки

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

Чому б не спробувати OneCheck на деяких із ваших найбільших проектів IC, адже процес оцінювання безкоштовний і простий.

Прочитайте повну 11-сторінкову Білу книгу з Аня онлайн.

Блоги, пов'язані

Поділитися цим дописом через: