Цитата(des333 @ Mar 23 2009, 21:10)

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

) модификации , то решение задачи видится в моделировании с максимальным покрытием исходного проекта, а потом в сравнении полученных результатов, это можно сделать в modelsim, active-hdl или любом другом симуляторе, естественно если проект большой задача не из легких.