IP-cores, так ли они работают как нам хочется Опции

[vetal]

Интересует вопрос по тестированию ip на соответствие спецификации(оригиналу).
В данный момент интересует тестирование 51- ядра(bechavorial и rtl).
Как с этим быть?
Существует ли готовый набор тестов(программ для 51), которые можно запустить, и увидеть все инструкции правильно работают или нет?

[one_man_show]

Наверняка что-то подобное существует, иначе трудно выпускать ядра за деньги. А фирм, которые это делают и на этом живут - полно. У многих особенно с 51 начинается разговор.

Подумалось мне, что есть альтернативный вариант проверки, но неточный. Обратите внимание на примеры в альтиумовском Нексаре, там в ПЛИС засовывают свое 51 ядро, грузят его кодом, полученным на выходе Таксинга. Все есть в исходниках. Что если взять исходнинки, компильнуть отдельным от Нексара полноценным Таскингом или другим компилятором и пускануть на другом ядре и в другой ПЛИСине? Там в качестве примера есть достаточно навороченные с точки зрения использования 51 процессора проекты. Например, такие известные игры, как Арканоид и Пэкмэн на базе РТОС и все на С.