Формалност, никога не спира, да завърши

[ywguo]

Здравей, аз изтичах RTL срещу netlist формална проверка с помощта на формалност. Той никога не е завършен. Тя винаги се спря на статута проверка. Дизайнът съдържа много множители и adders. Имах дори някои блокове като черна кутия, за да намали сложността. Той спря на статута проверка след повече от 10 часа. Той ме накара да разочарован. Всички коментари / съвети са много оценявам. Благодарение Yawei

 

[jkfoo]

опитайте се да работи много по-стабилна версия на формалност, 2004.06-SP3, за да видите дали това е ОК.

 

[zeese]

Проверете таймаут граница. Тъй като вие казахте, след 10 часа, той спря, това означава, таймаут ви лимит е 10 часа. Можете да го настроите за произволен брой минути / часове или дори неограничен. Не мога да си спомня какво е командата. Проверете solvnet или ръководство.

 

[stormwolf]

Проверете constriant, специалност за определени именуване правило.

 

[newcpu]

Вие не са споменати много множители и adders. Били ли сте използвали DC ултра за синтез? Ако сте използвали ултра функция, това означава, множители и adders може да бъде divieded и комбинирани отново. Тогава формалност може спря, защото някои несигурни несъответствия.

 

[stormwolf]

Имам използват comform преди, ако е като това, което newcpu каза, се нуждаят от нова функция, за да направите това, можете да прочетете документ за умножава и ехидна сравни употребата които разполагат.