Идея простая - на микроконтроллере сделать модель для PROTEUS того компонента которогов PROTEUS нету.
Вы же знаете алгоритм работы TSOP ? Вот его и реализуйте на AVR - входной сигнал можно взять прямо с линии управляющей светодиодом или для наглядности оптопару использовать.