Цитата(cdg @ Mar 24 2009, 13:08)
Смотря о какой эквивалентности речь?
Если имеется ввиду функциональная эквивалентность, например когда несколько кусков проекта модифицировались, но при этом функциональность не подлежала(так задумывалось, что не должна была подежать
) модификации , то решение задачи видится в моделировании с максимальным покрытием исходного проекта, а потом в сравнении полученных результатов, это можно сделать в modelsim, active-hdl или любом другом симуляторе, естественно если проект большой задача не из легких.
Вот потому и спрашиваю, что не из легких.
Вы правильно поняли, именно о модификации и идет речь.
Просто, на мой взгляд проверить, что проект работает так, как он задумывался, намного сложнее, чем проверить, что он работает аналогично другому проекту(могу ошибаться).
Поэтому удивило, что таких утилит нет.
Сообщение отредактировал des333 - Mar 24 2009, 16:11
Эквивалентность двух схем, Если ли подобные утилиты?
Mar 23 2009, 18:10
