защо ние ще за функционална проверка

[ikru26]

Може ли някой ми кажеш за разликата между функционалните verificatiopn. официалната проверка и твърдението, базирани .. проверка и какви са средствата, използвани за него.

 

[barkha]

Функционална проверка е процес на проверка, че дизайн работи правилно, както е описано в архитектурно-функционални спецификации.Тя е насочена към логическата дизайна на продукта, и обикновено се приема, че физическата в процеса на проектиране е свързана.

В твърдението, базирани проверка, RTL твърдения са използвани за улавяне дизайн намерение в проверими форма, като дизайн е създаден, като предоставя преносим монитори, които проверяват за правилното поведение.По време на симулация, твърденията observability подобряване на покритието, като източник на грешка очевидна.Симулация Debug време се намалява значително.Като цели на официалния контрол, подобряване на твърденията за контролиране покритие.

Линк за добри статии --
http://www.techonline.com/community/ed_resource/feature_article/21077
http://www.synopsys.com/products/simulation/assertion_based_wp.html
http://www.ee.cooper.edu/courses/course_pages/past_courses/EE352/FV1.html
http://www.cs.virginia.edu/ ~ eas9d/papers/fmics.05.pdf

 

[SP]

Аз Tot има 2 вида за този аспект ...функционална проверка и проверка на времето ...

функционална проверка е просто да се провери дали продукцията е, както се очаква wthout разгледа въпроса времето

проверка на времето включва всичко ...

нали?

с уважение,
SP

 

[yjkwon57]

Здрасти.

Официално проверка може да се разглежда от две гледни точки: едната е модел проверка, а другият е равностойност проверка.Модел проверката е да се провери съответствието между спецификацията и дизайн.Еквивалентност проверката е да се провери оригинален дизайн и трансформира дизайн.Тук примерите на промяната в дизайна са синтезирани дизайн, обратно-анотирани, дизайн и т.н., че се получи разрешение от оригиналния дизайн, да речем, VHDL или Verilog HDL дизайн.

Между другото, като целта на симулацията е функционална проверка на логиката на проекта от гледна точка на функционалността.Функционалната симулация е много важно при проектирането поток в случай на някои изисква отстраняване на грешки.

 

[ikru26]

Така е функционална проверка и официални verificationa са същите ..

Какви са инструментите, използвани за различни проверки.