Инструменты моделирования и верификации ПО для встраиваемых систем Опции

[gazpar]

Доброго времени суток, коллеги!

Собственно, интересует сабж, применительно к микроконтроллерам и SoC'ам (типа WiFi и BT модули), в особенности, инструменты моделирования.

Сам уже несколько итераций провёл, но результат неутешителен. Ничего, кроме Proteus и Imperas, мне не попалось.
Эти две системы позволяют отлаживать, практически, любой код. Причём, в Imperas можно свои архитектуры собирать.
Также есть MPLab, но он только для MicroChip. И есть Simulink генерирующий код в приложениях ТАУ, т.е. отладить протокол общения с CMOS сенсором не получится, если я правильно понимаю.

Прошу посоветовать подобный софт, если таковой имеется.

Заранее, благодарю за помощь!