Software emulation supports fast emulation execution and
printf() to help verify the kernel’s functionalities. Users can check the output by examining design output files in the
Hardware constraints such as heap/stack sizes and program memory size are not verified in software emulator.
The following steps outline the procedure: