| *** Variables *** |
| ${UART} sysbus.uart |
| ${URI} @https://dl.antmicro.com/projects/renode |
| ${LED_DELAY} 1 |
| |
| *** Keywords *** |
| Create Machine |
| [Arguments] ${elf} |
| |
| Execute Command mach create |
| Execute Command machine LoadPlatformDescription @platforms/boards/miv-board.repl |
| |
| Execute Command sysbus LoadELF ${URI}/${elf} |
| |
| *** Test Cases *** |
| Should Blink Led Using Systick |
| Create Machine riscv-systick-blinky.elf-s_125004-59e1fa0a46f86e8ccad8b5bbb4d92b8dfa009af3 |
| Create Terminal Tester ${UART} |
| |
| Create LED Tester sysbus.gpioOutputs.led0 defaultTimeout=${LED_DELAY} |
| |
| Start Emulation |
| |
| Wait For Line On Uart System timer Blinky Example. |
| |
| # because of very fast LED switching this ends very soon |
| Assert LED State true |
| Assert LED State false |
| Assert LED State true |
| Assert LED State false |
| Assert LED State true |
| Assert LED State false |
| Assert LED State true |
| Assert LED State false |
| Assert LED State true |
| Assert LED State false |
| |
| Should Blink Led Using CoreTimer |
| Create Machine riscv-interrupt-blinky.elf-s_135504-4fe164958c1fe3e89790f8d7d2824ba16182fa75 |
| Create Terminal Tester ${UART} |
| |
| Create LED Tester sysbus.gpioOutputs.led0 defaultTimeout=${LED_DELAY} |
| |
| Start Emulation |
| |
| Wait For Line On Uart CoreTIMER and external Interrupt Example. |
| |
| Assert LED State true |
| Assert LED State false |
| Assert LED State true |
| Assert LED State false |
| Assert LED State true |
| Assert LED State false |
| Assert LED State true |
| Assert LED State false |
| |
| Should Run FreeRTOS Sample |
| Create Machine riscv-freertos-sample.elf-s_208404-40208b240e2d718e999a533e084f022628aec5d6 |
| Create Terminal Tester ${UART} |
| |
| Start Emulation |
| |
| Wait For Line On Uart Sample Demonstration of FreeRTOS port for Microsemi RISC-V processor. |
| Wait For Line On Uart Task - 2 |
| Wait For Line On Uart Task - 1 |
| Wait For Line On Uart Task - 2 |
| Wait For Line On Uart Task - 1 |
| Wait For Line On Uart Task - 2 |
| Wait For Line On Uart Task - 1 |
| Wait For Line On Uart Task - 2 |
| Wait For Line On Uart Task - 1 |
| Wait For Line On Uart Task - 2 |
| Wait For Line On Uart Task - 1 |
| |
| Should Run LiteOS Port Sample |
| Create Machine riscv-liteos-port.elf-s_689820-e68d3bcf0a12c25daa66fc51e474281bcbed2fc7 |
| Create Terminal Tester ${UART} |
| |
| # this magic PerformanceInMips is required for the test to pass |
| # it is related to a bug in LiteOS (stack overflow and corruption) when interrupts happens in *wrong* moments |
| Execute Command sysbus.cpu PerformanceInMips 300 |
| Execute Command showAnalyzer ${UART} |
| |
| Start Emulation |
| |
| Wait For Line On Uart Los Inspect start. |
| Wait For Line On Uart Los Key example: please press the UserKey (SW2) key |
| |
| Test If Uart Is Idle 1 |
| |
| Execute Command sysbus.gpioInputs.user_switch_2 Toggle |
| Wait For Line On Uart Key test example |
| |
| Should Run ZephyrRTOS Shell Sample |
| Create Machine shell-demo-miv.elf-s_803248-ea4ddb074325b2cc1aae56800d099c7cf56e592a |
| Create Terminal Tester ${UART} |
| |
| Execute Command showAnalyzer ${UART} |
| |
| Start Emulation |
| Wait For Prompt On Uart uart:~ |
| Write Line To Uart version |
| Wait For Line On Uart Zephyr version 1.13.99 |
| |
| |
| Should Generate Interrupts On Gpio Rising Edge |
| Create Machine riscv-interrupt-blinky_gpio-interrupts-edge-positive.elf-s_135192-436f2656cbcff66f043ae6ba0b7977d0ee5e82a1 |
| Create Terminal Tester ${UART} |
| |
| Start Emulation |
| |
| Wait For Line On Uart CoreTIMER and external Interrupt Example. |
| Wait For Line On Uart Observe the LEDs blinking on the board. The LED patterns changes every time a timer interrupt occurs |
| |
| Test If Uart Is Idle 1 |
| |
| Execute Command sysbus.gpioInputs.user_switch_0 Toggle |
| Sleep 1s |
| Execute Command sysbus.gpioInputs.user_switch_1 Toggle |
| Sleep 1s |
| Test If Uart Is Idle 1 |
| |
| Execute Command sysbus.gpioInputs.user_switch_0 Toggle |
| Sleep 1s |
| Wait For Line On Uart GPIO1 |
| Test If Uart Is Idle 1 |
| |
| Execute Command sysbus.gpioInputs.user_switch_0 Toggle |
| Sleep 1s |
| Execute Command sysbus.gpioInputs.user_switch_1 Toggle |
| Sleep 1s |
| Wait For Line On Uart GPIO2 |
| |
| Should Generate Interrupts On Gpio Falling Edge |
| Create Machine riscv-interrupt-blinky_gpio-interrupts-edge-negative.elf-s_135192-19e453c25b09a2ecfeb7a8015588355f90ad8f02 |
| Create Terminal Tester ${UART} |
| |
| Start Emulation |
| |
| Wait For Line On Uart CoreTIMER and external Interrupt Example. |
| Wait For Line On Uart Observe the LEDs blinking on the board. The LED patterns changes every time a timer interrupt occurs |
| |
| Test If Uart Is Idle 1 |
| |
| Execute Command sysbus.gpioInputs.user_switch_0 Toggle |
| Wait For Line On Uart GPIO1 |
| Sleep 1s |
| |
| Execute Command sysbus.gpioInputs.user_switch_0 Toggle |
| Test If Uart Is Idle 1 |
| |
| Execute Command sysbus.gpioInputs.user_switch_1 Toggle |
| Wait For Line On Uart GPIO2 |
| Sleep 1s |
| |
| Execute Command sysbus.gpioInputs.user_switch_1 Toggle |
| Test If Uart Is Idle 1 |
| |
| Should Generate Interrupts On Gpio Both Edges |
| Create Machine riscv-interrupt-blinky_gpio-interrupts-edge-both.elf-s_135192-1afc01350e4f0e17e2e556796cf577d2768636ec |
| Create Terminal Tester ${UART} |
| |
| Start Emulation |
| |
| Wait For Line On Uart CoreTIMER and external Interrupt Example. |
| Wait For Line On Uart Observe the LEDs blinking on the board. The LED patterns changes every time a timer interrupt occurs |
| |
| Test If Uart Is Idle 1 |
| |
| Execute Command sysbus.gpioInputs.user_switch_0 Toggle |
| Wait For Line On Uart GPIO1 |
| Sleep 1s |
| |
| Execute Command sysbus.gpioInputs.user_switch_0 Toggle |
| Wait For Line On Uart GPIO1 |
| Sleep 1s |
| |
| Execute Command sysbus.gpioInputs.user_switch_1 Toggle |
| Wait For Line On Uart GPIO2 |
| Sleep 1s |
| |
| Execute Command sysbus.gpioInputs.user_switch_1 Toggle |
| Wait For Line On Uart GPIO2 |
| |
| Should Generate Interrupts On Gpio High Level |
| Create Machine riscv-interrupt-blinky_gpio-interrupts-level-high.elf-s_135168-e03e81b692982ad2f1f46085b9077fdfef62adf2 |
| Create Terminal Tester ${UART} |
| |
| Start Emulation |
| |
| Wait For Line On Uart CoreTIMER and external Interrupt Example. |
| Wait For Line On Uart Observe the LEDs blinking on the board. The LED patterns changes every time a timer interrupt occurs |
| |
| Wait For Line On Uart GPIO1 |
| Wait For Line On Uart GPIO2 |
| Wait For Line On Uart GPIO1 |
| Wait For Line On Uart GPIO2 |
| Wait For Line On Uart GPIO1 |
| Wait For Line On Uart GPIO2 |
| Wait For Line On Uart GPIO1 |
| Wait For Line On Uart GPIO2 |
| |
| Execute Command sysbus.gpioInputs.user_switch_0 Toggle |
| Sleep 1s |
| Execute Command sysbus.gpioInputs.user_switch_1 Toggle |
| Sleep 1s |
| Test If Uart Is Idle 1 |
| |
| Execute Command sysbus.gpioInputs.user_switch_0 Toggle |
| Sleep 1s |
| Execute Command sysbus.gpioInputs.user_switch_1 Toggle |
| Sleep 1s |
| |
| Wait For Line On Uart GPIO1 |
| Wait For Line On Uart GPIO2 |
| Wait For Line On Uart GPIO1 |
| Wait For Line On Uart GPIO2 |
| Wait For Line On Uart GPIO1 |
| Wait For Line On Uart GPIO2 |
| Wait For Line On Uart GPIO1 |
| Wait For Line On Uart GPIO2 |
| |
| Should Generate Interrupts On Gpio Low Level |
| Create Machine riscv-interrupt-blinky_gpio-interrupts-level-low.elf-s_135168-f570dad79ea5aa0bfe9aa1000f453f0f50f344df |
| Create Terminal Tester ${UART} |
| |
| Start Emulation |
| |
| Wait For Line On Uart CoreTIMER and external Interrupt Example. |
| Wait For Line On Uart Observe the LEDs blinking on the board. The LED patterns changes every time a timer interrupt occurs |
| |
| Test If Uart Is Idle 1 |
| |
| Execute Command sysbus.gpioInputs.user_switch_0 Toggle |
| Sleep 1s |
| Execute Command sysbus.gpioInputs.user_switch_1 Toggle |
| Sleep 1s |
| |
| Wait For Line On Uart GPIO1 |
| Wait For Line On Uart GPIO2 |
| Wait For Line On Uart GPIO1 |
| Wait For Line On Uart GPIO2 |
| Wait For Line On Uart GPIO1 |
| Wait For Line On Uart GPIO2 |
| Wait For Line On Uart GPIO1 |
| Wait For Line On Uart GPIO2 |
| |
| Execute Command sysbus.gpioInputs.user_switch_0 Toggle |
| Sleep 1s |
| Execute Command sysbus.gpioInputs.user_switch_1 Toggle |
| Sleep 1s |
| Test If Uart Is Idle 1 |
| |
| Execute Command sysbus.gpioInputs.user_switch_0 Toggle |
| Sleep 1s |
| Execute Command sysbus.gpioInputs.user_switch_1 Toggle |
| Sleep 1s |
| |
| Wait For Line On Uart GPIO1 |
| Wait For Line On Uart GPIO2 |
| Wait For Line On Uart GPIO1 |
| Wait For Line On Uart GPIO2 |
| Wait For Line On Uart GPIO1 |
| Wait For Line On Uart GPIO2 |
| Wait For Line On Uart GPIO1 |
| Wait For Line On Uart GPIO2 |
| |
