Разработана новая процедура построения цифровой части контроллера USB
интерфейса с использованием синтезируемых утверждений, которая дает
возможность увеличения видимости внутренних сигналов реконфигурируемой
вычислительной (РВ) системы. Разработан метод тестирования цифровых
схем с несколькими областями тактовой частоты, в котором синтезируемые
утверждения внедрены в каждый блок синхронизаций сигналов, проходящих
через разные области тактового сигнала для обнаружения неправильного
поведения синхронизаторов. Предложен метод использования частичнго
перепрограммирования ПЛИС для снижения количества дополнительных
ресурсов и увеличения скорости прототипа. Предложенные методы значительно
упрощают процесс нахождения причин ошибок и дают возможность вычисления
функционального охвата с использованием 15 ... 16% дополнительных ПЛИС
ресурсов и незначительным снижением скорости прототипа. TAID Instrumentor
дает возможность снизить количество дополнительных ресурсов среды
тестирования с помощью частичного перепрограммирования ПЛИС
и в итоге увеличить скорость прототипа.