Є офіційним перевірки справді необхідні?

[jelydonut]

У яких ситуаціях буде синтез створення списку з'єднань не логічно еквівалентно RTL?

jelydonut

 

[bronzefury]

Звичайно так,

Напевно, не важливо на етапі проектування ви згадували.Але, я думаю, формальна верифікація дуже корисна, коли після розкладки Netlist ред потрібно зробити.Як ви напевно знаєте, після макета списку з'єднань, коли всі ворота були розміщені на смерть і з'єднувальні дроти були розгромлені.

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

 

[sam31]

Так!
Чому?
Верифікація інструмент допоможе нам знайти погані RTL коду, які викликають погані синтезатор результаті на початку циклу проектування>> економії часу вартість
Вам не потрібно після синтезу / макета моделювання, якщо ви зробите RTL моделювання формальна верифікація RTL проти синтезу / макет STA