Официално Проверка

[vlsi_freak]

Здравейте всички,

Какъв е смисълът и ще помогне за официална проверка?
В кой етап FV е сторил?Има ли някаква връзка с функционални проверка.?

с уважение,
каприз

 

[mailsrikanth007]

FV прави проверка за еквивалентност между две дизайни.Ако дизайнът е функционално проверени след това някакви допълнителни модификации на този дизайн е официално потвърден с оригинален дизайн.Това предотвратява многократни функционална проверка.

FV обикновено се извършва след DFT, BIST вмъкване да се избегне функционална проверка отново.В DFT, BIST логиката е изключено и netlist без DFT, BIST е официално потвърден с DFT, BIST добавя netlist.

FV отнема по-малко време в сравнение с функционална проверка и е широко използван в индустрии.

 

[koggestone]

имайте предвид, че понятието "официална проверка" (FV) се използва за 2 неща
- Равностойността проверка
- Проверка на имота

"равностойността проверка" (известен още като ЕО) Използва се сравни един часа RTL модел мача друга RTL модел 100%.напр.Кейдънс LEC, Synopsys формалност."Имоти проверка" се използва, за да се уверите, че вашите твърдения са валидни 100%.
напр.Джаспър Дизайн Tool, Synopsys Magellan, недвижими намерение средство,
и т.н. ...

Функционална проверка не е 100%
Официално Проверка е 100% съвпадение.

 

[Nandy]

Официално проверката е да се провери дали DesignA == DesignB, но те могат да имат лошо функции дори и те са равни.Така функционална проверка (VCS / ModelSim) трябва да бъдат изпълнени за проверка на един от тях не е правилна функции.И тичам официална проверка, за да проверите другият е равен на функцията-правилното един.
Функционална проверка не е практика да се пускат в големи размери netlist.Значи ти тичам функционална проверка на RTL и използването fomal проверка за да се провери RTL = Netlist

 

[vmittal]

Просто правя малко googling на "официална проверка,
така и вие ще откриете, че това
е в общи линии категоризирани като:
1.Еквивалентност проверка (инструменти като формалност) - най-често се използва за проверка на еквивалентността между RTL & съответните netlist
2.Модел проверка (инструменти като Magellan) - най-често се използва за RTL функционална проверка
3.Теоремата, доказващи