Написал я, к примеру, процедуру умножения двух 10-битных чисел (с АЦП приходят такие) в 3 байта результата - для МК у которого нет аппаратного умножения (ATTiny13, в Атмел Студии 6). Проверил на нескольких примерах - работает. Захотел проверить для всего диапазона значений (вполне по силам, всего 10^6 вариантов) - и встрял. На асме могу накидать циклы - но там нет референса с чем сравнивать (умножения то нет). Могу на своем Блабе написать эмулятор этого восьмибитного контроллера, и это даже совсем не сложно, и проверять что угодно... Или можно создать Си-МК-проект, вызвать там мою асм-функцию, передавать ей входные параметры в нужные регистры, и сравнивать с тем, что посчитает компилятор по функции * ? Как это вообще делается?