Офіційне Контрольна

V

vlsi_freak

Guest
Привіт Все,

У чому полягає сенс і допомогти формальних перевірки?
На якому етапі
Ф.В. це зробити?Чи є які-небудь
зв'язку з функціональної перевірці.?

привіт,
чудак

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

Ф.В. зазвичай робиться після DFT, BIST вставки, щоб уникнути перевірки функціональних знову.У DFT, BIST логіка інвалідів та netlist без DFT, BIST офіційно перевірені з DFT, BIST вставити netlist.

Ф. В. займає менше часу в порівнянні з функціональної перевірки і широко використовується в промисловості.

 
зазначити, що термін "формальна перевірка" (FV) використовується для 2 речі
- Перевірка еквівалентності
-
Основні перевірки

"Перевірка еквівалентності" (ака EC) використовується порівняти одну модель RTL матчів іншого RTL моделі 100%.напр.Каденції LEC, Synopsys формальність."Майно перевірку" використовується, щоб переконатися, що ваші заяви є дійсними 100%.
напр.Джаспер Дизайн Tool, Synopsys Магелан, Real наміри інструмент,
і т.д. ...

Функціональні Перевірка не на 100%
Офіційне Перевірка 100% матч.

 
Формальна перевірка полягає в тому, щоб перевірити, якщо DesignA == DesignB, але вони можуть бути неправильно функції навіть вони рівні.Так функціональної перевірки (VCS / ModelSim)
повинна бути запущена для перевірки один з них правильний функцій.І запустити формальної перевірки ще раз, щоб перевірити інший дорівнює функції-правильним.
Функціональна перевірка не є практичним запускати на величезних розмірів netlist.Таким чином ви запускає функціональної перевірки на RTL і використання fomal перевірки перевірити RTL = Netlist

 
Просто виконайте пошук в Google по мало офіційних перевірки ', і ви побачите, що вона широко класифікувати як:
1.Еквівалентність перевірки (інструменти, як формальність) - зазвичай використовується для перевірки еквівалентності між RTL
І відповідний netlist
2.Типової перевірки (інструменти, як "Магелан") - зазвичай використовується для RTL функціональної перевірки
3.Доказ теорем

 

Welcome to EDABoard.com

Sponsor

Back
Top