Кто-нибудь пробовал моделировать работу микроконтроллеров в САПР типа OrCAD'а и ему подобных?

Я имею ввиду следующее:
Т.к. в библиотеках OrCAD'а есть элементы (жаль не все ) позволяющие собирать схемы (в пакете) и моделировать их работу (просмотр временных диаграм и др.), нет ли возможности включать в схему МК с написанными программами и отслеживать работу этих МК непосредственно в схеме? Конечно об встраивании в OrCAD отладчиков программ я не говорю, но что мешает, например генерировать элемент не основе программы на ассемблере, который полностью соответствует прошитому МК и включать этот элемент в схему?

Если кто-то с этим сталкивался, прошу отзовитесь!