Эквивалентность двух схем, Если ли подобные утилиты? Опции

[des333]

Существуют ли программы, позволяющие сравнить функциональность нескольких проектов и сделать вывод об их эквивалентности?

[SM]

Ну елки-палки, как это нету таких программ?

Formality® is an equivalence-checking (EC) solution that uses formal, static techniques to determine if two versions of a design are functionally equivalent. EC tools verify large designs quickly and completely without the use of test vectors. Formality supports all major hardware description languages, database formats, flows, and implementation design optimizations to provide the most comprehensive verification solution available

http://www.synopsys.com/tools/verification.../formality.aspx

И никого не трогает, что сравнивается, netlist vs исходник или исходник1 vs исходник2, или нетлист1 vs нетлист2

особенно не представляю если схемы нарисованы в shematic editor и с использованием генератора готовых ядер (например CoreGenerator в Xilinx ISE)

А что тут представлять-то? Синтезировать, да сравнить нетлисты формальной верификацией.

[vitan]

Formality® is an equivalence-checking (EC) solution that uses formal, static techniques to determine if two versions of a design are functionally equivalent. EC tools verify large designs quickly and completely without the use of test vectors. Formality supports all major hardware description languages, database formats, flows, and implementation design optimizations to provide the most comprehensive verification solution available

Вроде бы, спрашивают про разные проекты, а не про две версии одного и того же...