цікава проблема в конформному

[mic_huhu]

Привет, все

Я зіткнувся з таким дивним випадком.Коли я перевірив мій ЕКО Netlist проти мого первісного коду RTL, вони рівні!але два Netlist є нерівними і два RTL є занадто нерівними.чому?

Я спробував servial раз перевірити Netlist ОЕС.це правильно.

хто може сказати мені, чому?

спасибо

Джонні

 

[news]

Niedawno media poinformowały o sklepie internetowym Euro-24.com.pl, który inkasuje pieniądze, ale nie realizuje zamówień. W serwisie Opineo.pl klienci publikowali pełne emocji wpisy, prześcigając się w ostrzeżeniach przed zakupami w tym sklepie. Sprawą zajęła się policja, ale strona internetowa Euro-24.com.pl wciąż jest aktywna.

Read more...

 

[Guest]

двох виконаннях можуть бути функціонально рівні, але не може бути структурно рівні.

У функціональної перевірки, можна перевірити деякі умови.але може бути стільки логіка неперевіреною або нерівні

 

[mic_huhu]

але. дизайном двох різних за продуктивністю, що може бути доведено ПЛІС.

Модуль перевірки може перевірити його.Тому повна система перевірки не може?

Я кілька разів спробувати.Результати ж.

systhesised Netlist (прийшло від екологічних RTL) рівні з Netlist ОЕС.немає рівних з Netlist NonEco.