формальна верифікація сумніви

[spauls]

Припустимо, у вас є схема, як показано нижче.----- ------ Інвертор (D), F / F (д) ------- Інвертор (IN RTL)

І в чистий лист як інвертори змиваються так LEC не вдалося, але логіка така ж, як і я / р і о / р інвертується.

Як подолати це LEC, як LEC буде напевно не в основний вхід (тобто г в F / F).

Будь ласка, консультації.

 

[nand_gates]

Це може бути вирішена тільки шляхом LEC народів!
Контакт ур LEC технічної підтримки!Він може допомогти вам!
Вони мають багато незареєстрованих команди і змінні!

 

[luancao]

Не могли б ви описати випадок детально?

Я використовував багато LEC.Він повинен бути однаковим для - INV - ДФФ - INV - B і A - ДФФ - B.LEC перевірити те, що називається ключових моментів.тобто прем'єр введення, прем'єр-вихід, засувка, реєстрації, hardblock.

Таким чином, у вашому випадку, то, безумовно, пройде.Didyou порівняти RTL і GTL?Спробуйте простий випадок У --- --- ДФФ OUT в RTL.Ви отримаєте IN - ДФФ - BUF - OUT по додати налаштування BUF водіння клітини.Якщо він не міг пройти.Перевірте LEC сценарій.У самому справі, ви могли б просто використовувати приклад скрипта з LEC і змінити список RTL і GTL ім'я файлу.І встановити жорсткий список блоку в сценарії.Вона буде працювати.

 

[spauls]

Привіт,
Моя проблема вирішена, то стосовно зареєструватися хронометражу питання.