MicroTESK

h1. Oracle

Запуск подсистемы Oracle:

<pre>

-pt model_name binary_program trace options_path program_counter terminating_instr 

</pre>

Основные параметры:

# model_name - имя модели (minimips, riscv)

# binary_program - путь к программе в бинарном виде (*.bin, *.elf)

# trace - путь к файлу с трассой

# options_path - путь к настройкам для подсистемы (...)

Флаги:

* program_counter - указания счетчика команд в модели (default="PC"), например: "-pcn PC"

* terminating_instr - инструкция завершающая работу программы, например "-fi return"

h1. Simulator

Запуск подсистемы Simulator:

<pre> -s panda debug_sim_01_0000.bin -pcn PC -fi return

-s model_name binary_program program_counter terminating_instr 

</pre>

Основные параметры:

# model_name - имя модели (minimips, riscv)

# binary_program - путь к программе в бинарном виде (*.bin, *.elf)