Ответ: А "оболочка"? Т.е. программа , которая декодирует инфу, полученную от отлаживаемого проца по отладочному интерфейсу {JTAG}...Которая преобразует "СЫРУЮ" инфу в форму предстваления, понятную человеку? Она ведь тоже юзает модель проца..А если сделали ошибку при построении модели? Или в коде самой "оболочки"?