Мощная программа моделированя электронных схем, позволяет легко моделировать схемы на микроконтроллерах, в том числе с индикаторами. Очень полезна перед реальной сборкой схемы.

Вот здесь самоучитель и еще куча информации по Proteus.