Help!

[bradyue]

Я не нанесених на карту точки, коли я роблю LEC (RTL Netlist В.С.) ...
в лог-файл, вона (ДФФ) друкується як НЕ-Mapped ...
але на терміналі, він (ДФФ) відображається у вигляді додаткового ...
Однак, як повідомляється NEQ немає!
Коли я перевірив Netlist, я знайшов ДФФ було знято за це була redudant ...
я повинен робити те спеціальний режим або просто її втратити?

 

[vikas_lakhanpal27]

є у даного ур falttening параметри належним чином?

Спробуйте цю команду на
Система набору режимі LEC-nomap
Карта ключових точках
comapre-seq_constant-seq_constant_feedback-повторити
Карта ключові ponits.

Можливо, це допоможе U але у shuld розібратися чому це відбувається.

 

[joe2moon]

Перевірте наступні ключові точки належать Golden (RTL) або переглянутого (ворота рівня Netlist) по-перше,
НЕ-нанесені на карту, і
Extra.По-друге, логіка еквівалентності інструментом перевірки перевіряє тільки "відображатися" ключових моментів.
Тому, будь ласка, переконайтеся, що всі бажані ключові моменти були складені карти, перш ніж порівнювати етап.

 

[bradyue]

Так, в режим установки, існує не-Mapped ключові моменти, як я говорив раніше.
У RTL, які реєструють не існує.
У Netlist, що регістр видалені інструментами.

Коли я anaylze RTL, я виявив, що reigster буде мати ніякого впливу на кожну СП.
Отже, я повинен ігнорувати які не відображаються-бали?

 

[silencer3]

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

Це допомагає вирішити більшість проблем.