| *** Comments *** |
| Tests for OpenTitan built at hw/opentitan-upstream |
| |
| *** Variables *** |
| ${UART} sysbus.uart0 |
| ${SHODAN_DIR} ${CURDIR}/../.. |
| ${ROOTDIR} @${SHODAN_DIR} |
| ${SW_TESTS_DIR} ${ROOTDIR}/out/opentitan/sw/build-out/sw/device/tests |
| ${AES_BIN} ${SW_TESTS_DIR}/aes_smoketest_prog_fpga_cw310.elf |
| ${CSRNG_BIN} ${SW_TESTS_DIR}/csrng_smoketest_prog_fpga_cw310.elf |
| ${FLASH_CTRL_BIN} ${SW_TESTS_DIR}/flash_ctrl_test_prog_fpga_cw310.elf |
| ${GPIO_BIN} ${SW_TESTS_DIR}/gpio_smoketest_prog_fpga_cw310.elf |
| ${HMAC_BIN} ${SW_TESTS_DIR}/hmac_smoketest_prog_fpga_cw310.elf |
| ${KMAC_BIN} ${SW_TESTS_DIR}/kmac_smoketest_prog_fpga_cw310.elf |
| ${KMAC_CSHAKE_BIN} ${SW_TESTS_DIR}/kmac_mode_cshake_test_prog_fpga_cw310.elf |
| ${KMAC_KMAC_BIN} ${SW_TESTS_DIR}/kmac_mode_kmac_test_prog_fpga_cw310.elf |
| ${LC_OTP_CFG} ${SW_TESTS_DIR}/lc_ctrl_otp_hw_cfg_test_prog_fpga_cw310.elf |
| ${RESET_BIN} ${SW_TESTS_DIR}/rstmgr_smoketest_prog_fpga_cw310.elf |
| ${SW_RESET_BIN} ${SW_TESTS_DIR}/rstmgr_sw_req_test_prog_fpga_cw310.elf |
| ${TEST_ROM_SCR_VMEM} ${ROOTDIR}/out/opentitan/sw/build-out/sw/device/boot_rom/test_rom_fpga_cw310.39.scr.vmem |
| ${TIMER_BIN} ${SW_TESTS_DIR}/rv_timer_smoketest_prog_fpga_cw310.elf |
| ${UART_BIN} ${SW_TESTS_DIR}/uart_smoketest_prog_fpga_cw310.elf |
| ${ALERT_HANDLER} ${SW_TESTS_DIR}/alert_renode_test_prog_fpga_cw310.elf |
| ${ALERT_HANDLER_PING} ${SW_TESTS_DIR}/alert_handler_ping_timeout_test_prog_fpga_cw310.elf |
| ${SPI_HOST} ${SW_TESTS_DIR}/spi_host_smoketest_prog_fpga_cw310.elf |
| ${AON_TIMER_IRQ_BIN} ${SW_TESTS_DIR}/aon_timer_irq_test_prog_fpga_cw310.elf |
| ${AON_TIMER_WDOG_SLEEP_BIN} ${SW_TESTS_DIR}/aon_timer_sleep_wdog_sleep_pause_test_prog_fpga_cw310.elf |
| ${AON_TIMER_BIN} ${SW_TESTS_DIR}/aon_timer_smoketest_prog_fpga_cw310.elf |
| ${AON_TIMER_WDOG_BITE_BIN} ${SW_TESTS_DIR}/aon_timer_wdog_bite_reset_test_prog_fpga_cw310.elf |
| ${ENTROPY_SRC_AST_REQ_BIN} ${SW_TESTS_DIR}/entropy_src_ast_rng_req_test_prog_fpga_cw310.elf |
| ${ENTROPY_SRC_FW_OVR_BIN} ${SW_TESTS_DIR}/entropy_src_fw_ovr_test_prog_fpga_cw310.elf |
| ${ENTROPY_SRC_KAT_BIN} ${SW_TESTS_DIR}/entropy_src_kat_test_prog_fpga_cw310.elf |
| ${SRAM_CTRL_BIN} ${SW_TESTS_DIR}/sram_ctrl_smoketest_prog_fpga_cw310.elf |
| ${OTBN_ECDSA_BIN} ${SW_TESTS_DIR}/otbn_ecdsa_op_irq_test_prog_fpga_cw310.elf |
| ${OTBN_IRQ_BIN} ${SW_TESTS_DIR}/otbn_irq_test_prog_fpga_cw310.elf |
| ${OTBN_SCRAMBLE_BIN} ${SW_TESTS_DIR}/otbn_mem_scramble_test_prog_fpga_cw310.elf |
| ${OTBN_RAND_BIN} ${SW_TESTS_DIR}/otbn_randomness_test_prog_fpga_cw310.elf |
| ${OTBN_SMOKETEST_BIN} ${SW_TESTS_DIR}/otbn_smoketest_prog_fpga_cw310.elf |
| ${OTBN_RSA_BIN} ${SW_TESTS_DIR}/otbn_rsa_test_prog_fpga_cw310.elf |
| ${OTBN_SIMPLE_SMOKETEST_BIN} ${SW_TESTS_DIR}/otbn_simple_smoke_test.elf |
| |
| ${HELLO_WORLD_BIN} ${ROOTDIR}/out/opentitan/sw/build-out/sw/device/examples/hello_world/hello_world_fpga_cw310.elf |
| |
| ${OTP_IMG_SCRIPT} ${SHODAN_DIR}/hw/opentitan-upstream/util/design/gen-otp-img.py |
| ${OTP_IMG_CFG} ${SHODAN_DIR}/sim/tests/otp_ctrl_img_smoketest.hjson |
| ${OTP_VMEM} ${SHODAN_DIR}/out/opentitan/sw/build-out/sw/device/otp_img/otp_img_smoketest.vmem |
| |
| ${LEDS}= SEPARATOR= |
| ... """ ${\n} |
| ... gpio: ${\n} |
| ... ${SPACE*4}0 -> led0@0 ${\n} |
| ... ${SPACE*4}1 -> led1@0 ${\n} |
| ... ${SPACE*4}2 -> led2@0 ${\n} |
| ... ${SPACE*4}3 -> led3@0 ${\n} |
| ... ${\n} |
| ... led0: Miscellaneous.LED @ gpio 0 ${\n} |
| ... led1: Miscellaneous.LED @ gpio 1 ${\n} |
| ... led2: Miscellaneous.LED @ gpio 2 ${\n} |
| ... led3: Miscellaneous.LED @ gpio 3 ${\n} |
| ... """ |
| |
| ${SPI_FLASH}= SEPARATOR= |
| ... """ ${\n} |
| ... spi_flash: Memory.MappedMemory ${\n} |
| ... ${SPACE*4}size: 0x1000000 ${\n} |
| ... ${\n} |
| ... mt25q: SPI.Micron_MT25Q @ spi_host0 0 ${\n} |
| ... ${SPACE*4}underlyingMemory: spi_flash ${\n} |
| ... """ |
| |
| *** Keywords *** |
| Setup Machine |
| Execute Command path set ${ROOTDIR} |
| Execute Command using sysbus |
| Execute Command mach create "EarlGrey" |
| Execute Command include @sim/config/shodan_infrastructure/AddressRangeStub.cs |
| Execute Command machine LoadPlatformDescription @sim/config/platforms/opentitan-earlgrey-cw310.repl |
| Execute Command showAnalyzer ${UART} |
| Execute Command machine LoadPlatformDescriptionFromString ${LEDS} |
| Execute Command machine LoadPlatformDescriptionFromString ${SPI_FLASH} |
| Execute Command sysbus.otp_ctrl LoadVmem @${OTP_VMEM} |
| Execute Command rom_ctrl LoadVmem ${TEST_ROM_SCR_VMEM} |
| |
| Set Default Uart Timeout 1 |
| Create Terminal Tester ${UART} |
| |
| Prepare Test |
| [Arguments] ${bin} |
| Execute Command $bin=${bin} |
| Setup Machine |
| Execute Command sysbus LoadELF $bin |
| Execute Command cpu0 PC 0x00008084 |
| |
| Execute Test |
| Start Emulation |
| Wait For Line On UART PASS |
| |
| Run Test |
| [Arguments] ${bin} |
| Prepare Test ${bin} |
| Execute Test |
| |
| Core Register Should Be Equal |
| [Arguments] ${idx} ${expected_value} |
| |
| ${val}= Execute Command otbn GetCoreRegister ${idx} |
| Should Be Equal As Numbers ${val} ${expected_value} Register x${idx} value mismatch (actual != expected) |
| |
| Wide Register Should Be Equal |
| [Arguments] ${idx} ${expected_value} |
| |
| ${val}= Execute Command otbn GetWideRegister ${idx} False |
| Should Be Equal ${val.strip()} ${expected_value} Register w${idx} value mismatch (actual != expected) |
| |
| *** Test Cases *** |
| |
| Build OTP Image |
| Run Process python3 ${OTP_IMG_SCRIPT} --img-cfg ${OTP_IMG_CFG} --out ${OTP_VMEM} |
| |
| Should Print To Uart |
| Setup Machine |
| Execute Command sysbus LoadELF ${HELLO_WORLD_BIN} |
| Execute Command cpu0 PC 0x00008084 |
| Start Emulation |
| |
| Wait For Line On Uart The LEDs show the lower nibble of the ASCII code of the last character. |
| |
| Provides initialization |
| |
| Should Echo On Uart |
| Requires initialization |
| |
| Write Line To Uart Testing testing 1-2-3 |
| |
| Provides working-uart |
| |
| Should Display Output on GPIO |
| Requires working-uart |
| |
| Execute Command emulation CreateLEDTester "led0" sysbus.gpio.led0 |
| Execute Command emulation CreateLEDTester "led1" sysbus.gpio.led1 |
| Execute Command emulation CreateLEDTester "led2" sysbus.gpio.led2 |
| Execute Command emulation CreateLEDTester "led3" sysbus.gpio.led3 |
| |
| Send Key To Uart 0x0 |
| |
| Execute Command led0 AssertState false 0.2 |
| Execute Command led1 AssertState false 0.2 |
| Execute Command led2 AssertState false 0.2 |
| Execute Command led3 AssertState false 0.2 |
| |
| Write Char On Uart B |
| # B is 0100 0010. Take the lower 4 bits. |
| |
| Execute Command led0 AssertState false 0.2 |
| Execute Command led1 AssertState true 0.2 |
| Execute Command led2 AssertState false 0.2 |
| Execute Command led3 AssertState false 0.2 |
| |
| Should Pass AES Smoketest |
| Run Test ${AES_BIN} |
| |
| Should Pass UART Smoketest |
| Run Test ${UART_BIN} |
| |
| Should Pass HMAC Smoketest |
| Run Test ${HMAC_BIN} |
| |
| Should Pass Flash Smoketest |
| Run Test ${FLASH_CTRL_BIN} |
| |
| Should Pass Timer Smoketest |
| Run Test ${TIMER_BIN} |
| |
| Should Pass KMAC Smoketest |
| Run Test ${KMAC_BIN} |
| |
| Should Pass KMAC CSHAKE Mode |
| Run Test ${KMAC_CSHAKE_BIN} |
| |
| Should Pass KMAC KMAC Mode |
| Run Test ${KMAC_KMAC_BIN} |
| |
| Should Pass Reset Smoketest |
| Run Test ${RESET_BIN} |
| |
| Should Pass Software Reset Test |
| Run Test ${SW_RESET_BIN} |
| |
| Should Pass Life Cycle Smoketest |
| Run Test ${LC_OTP_CFG} |
| |
| Should Pass CSRNG Smoketest |
| Run Test ${CSRNG_BIN} |
| |
| Should Pass GPIO Smoketest |
| Run Test ${GPIO_BIN} |
| |
| Should Pass Alert Handler Smoketest |
| Run Test ${ALERT_HANDLER} |
| |
| Should Pass Alert Handler Ping Smoketest |
| Run Test ${ALERT_HANDLER_PING} |
| |
| Should Pass SPI Host Smoketest |
| Run Test ${SPI_HOST} |
| |
| Should Pass Aon Timer Interrupt Smoketest |
| Run Test ${AON_TIMER_IRQ_BIN} |
| |
| Should Pass Aon Timer Watchdog Sleep Pause Smoketest |
| Run Test ${AON_TIMER_WDOG_SLEEP_BIN} |
| |
| Should Pass Aon Timer Smoketest |
| Run Test ${AON_TIMER_BIN} |
| |
| Should Pass Aon Timer Watchdog Bite Reset Smoketest |
| Run Test ${AON_TIMER_WDOG_BITE_BIN} |
| |
| Should Try To Reset On The System Reset Control Combo |
| Setup Machine |
| Create Log Tester 0 |
| Execute Command sysbus.sysrst_ctrl WriteDoubleWord 0x54 0x8 # Set combo0 to just pwrButton |
| Execute Command sysbus.sysrst_ctrl WriteDoubleWord 0x74 0x8 # Set combo0 action to rstReq |
| Execute Command sysbus.sysrst_ctrl WriteDoubleWord 0x30 0x40 # Invert the pwrButton input |
| # Expect error as this should work only when done by CPU |
| Wait For Log Entry Couldn't find the CPU requesting translation block restart. |
| Wait For Log Entry Software reset failed. |
| |
| Should Pass Entropy Source Analog Sensor Top Request Smoketest |
| Run Test ${ENTROPY_SRC_AST_REQ_BIN} |
| |
| Should Pass Entropy Source Firmware Override Smoketest |
| Run Test ${ENTROPY_SRC_FW_OVR_BIN} |
| |
| Should Pass Entropy Source Known Answer Test Smoketest |
| Run Test ${ENTROPY_SRC_KAT_BIN} |
| |
| Should Pass SRAM Controller Smoketest |
| Run Test ${SRAM_CTRL_BIN} |
| |
| Should Pass OTBN ECDSA Test |
| Run Test ${OTBN_ECDSA_BIN} |
| |
| Should Pass OTBN IRQ Test |
| Run Test ${OTBN_IRQ_BIN} |
| |
| Should Pass OTBN Memory Scramble Test |
| Prepare Test ${OTBN_SCRAMBLE_BIN} |
| Execute Command cpu0 NMIVectorAddress 0x2000047c |
| Execute Command cpu0 NMIVectorLength 1 |
| Execute Test |
| |
| Should Pass OTBN Randomness Test |
| Run Test ${OTBN_RAND_BIN} |
| |
| Should Pass OTBN RSA Test |
| Run Test ${OTBN_RSA_BIN} |
| |
| Should Pass OTBN Smoketest Test |
| Run Test ${OTBN_SMOKETEST_BIN} |
| |
| Should Pass OTBN Simple Smoketest Test |
| Create Log Tester 3 |
| Setup Machine |
| Execute Command sysbus.otbn FixedRandomPattern "0xAAAAAAAA99999999AAAAAAAA99999999AAAAAAAA99999999AAAAAAAA99999999" |
| |
| Execute Command sysbus.otbn KeyShare0 "0xDEADBEEFDEADBEEFDEADBEEFDEADBEEFDEADBEEFDEADBEEFDEADBEEFDEADBEEFDEADBEEFDEADBEEFDEADBEEFDEADBEEF" |
| Execute Command sysbus.otbn KeyShare1 "0xBAADF00DBAADF00DBAADF00DBAADF00DBAADF00DBAADF00DBAADF00DBAADF00DBAADF00DBAADF00DBAADF00DBAADF00D" |
| |
| Execute Command logLevel -1 sysbus.otbn |
| |
| # load program directly to OTBN |
| Execute Command sysbus.otbn LoadELF ${OTBN_SIMPLE_SMOKETEST_BIN} |
| |
| # trigger execution of the program |
| Execute Command allowPrivates true |
| Execute Command sysbus.otbn HandleCommand 0xd8 |
| |
| # wait for the program to end |
| Wait For Log Entry Execution finished |
| |
| # verify final state of registers |
| Core Register Should Be Equal 2 0xd0beb513 |
| Core Register Should Be Equal 3 0xa0be911a |
| Core Register Should Be Equal 4 0x717d462d |
| Core Register Should Be Equal 5 0xcfffdc07 |
| Core Register Should Be Equal 6 0xf0beb51b |
| Core Register Should Be Equal 7 0x80be9112 |
| Core Register Should Be Equal 8 0x70002409 |
| Core Register Should Be Equal 9 0xd0beb533 |
| Core Register Should Be Equal 10 0x00000510 |
| Core Register Should Be Equal 11 0xd0beb169 |
| Core Register Should Be Equal 12 0xfad44c00 |
| Core Register Should Be Equal 13 0x000685f5 |
| Core Register Should Be Equal 14 0xffa17d6a |
| Core Register Should Be Equal 15 0x4c000000 |
| Core Register Should Be Equal 16 0x00000034 |
| Core Register Should Be Equal 17 0xfffffff4 |
| Core Register Should Be Equal 18 0xfacefeed |
| Core Register Should Be Equal 19 0xd0beb533 |
| Core Register Should Be Equal 20 0x00000123 |
| Core Register Should Be Equal 21 0x00000123 |
| Core Register Should Be Equal 22 0xcafef010 |
| Core Register Should Be Equal 23 0x89c9b54f |
| Core Register Should Be Equal 24 0x00000052 |
| Core Register Should Be Equal 25 0x00000020 |
| Core Register Should Be Equal 26 0x00000016 |
| Core Register Should Be Equal 27 0x0000001a |
| Core Register Should Be Equal 28 0x00400000 |
| Core Register Should Be Equal 29 0x00018000 |
| Core Register Should Be Equal 30 0x00000000 |
| Core Register Should Be Equal 31 0x00000804 |
| |
| Wide Register Should Be Equal 0 0x37adadaef9dbff5e738800755466a52c67a8c2216978ad1b257694340f09b7c8 |
| Wide Register Should Be Equal 1 0x00000000000000000000000000000000baadf00dbaadf00dbaadf00dbaadf00d |
| Wide Register Should Be Equal 2 0x440659a832f54897440659a832f54898dd6208a5cc50f794dd6208a5cc50f791 |
| Wide Register Should Be Equal 3 0x23a776b0bbc2837034745ffa22168ae87245a2d00357f208431165e5ed103473 |
| Wide Register Should Be Equal 4 0xce52215b888f503cdf1f0aa4eee357b51cf04d7ad024bed4edbc1090b9dd0141 |
| Wide Register Should Be Equal 5 0xfafeeeaebbb9f9dfabebbfef99fdf9dfefbafaaff9bfd9ffbaeebbbbdbff9bdb |
| Wide Register Should Be Equal 6 0x28a88802000889908888a00a88189108828aa820099818088822aa2a11109898 |
| Wide Register Should Be Equal 7 0xd25666acbbb1704f23631fe511e568d76d30528ff027c1f732cc1191caef0343 |
| Wide Register Should Be Equal 8 0x870333f9ddd7162976364ab077830eb1386507da9641a791679944c4ac896525 |
| Wide Register Should Be Equal 9 0xd7c12b4df2c374c335d9da9bb4d6d555555554cccccccd55555554cccccccd55 |
| Wide Register Should Be Equal 10 0x050111511112d2ed5414401032ced2ed1045054fd30cf2cd45114443f0cd30f0 |
| Wide Register Should Be Equal 11 0xd75777fdccc4433c77775ff544b43bc47d7557dfc334b4c477dd55d5bbbc3433 |
| Wide Register Should Be Equal 12 0x2caccd53332aa9a2ccccb54aab1aa22ad2caad35299b1b2acd32ab2b22229a9a |
| Wide Register Should Be Equal 13 0xa1a554085564a69a1252555a43c8b58a4a25a045a689a3aa2089656597ba66a7 |
| Wide Register Should Be Equal 14 0x5ec45f47d09a8aecac10254c2c59e4068dba5ca7630e74e6bcee99917956327a |
| Wide Register Should Be Equal 15 0xdc58894eddd71629cb8ba00577830eb18dba5d2f9641a791bcee9a19ac896524 |
| Wide Register Should Be Equal 16 0xce52215b888f503cdf1f0aa4eee357b51cf04d7ad024bed4edbc1090b9dd0141 |
| Wide Register Should Be Equal 17 0x5555555533333333555555553333333355555555333333335555555533333331 |
| Wide Register Should Be Equal 18 0x23a7769fbbc2838134745fe922168a4ec79af82569be586e9866bb3b53769ada |
| Wide Register Should Be Equal 19 0x28a88800000889828888a0098818910a828aa801099818000000000000000000 |
| Wide Register Should Be Equal 20 0x78fccc062228e9d689c9b54f887cf14ec79af82569be57c3edbc10a1b9dd0130 |
| Wide Register Should Be Equal 21 0x78fccc062228e9d689c9b54f887cf1eeefbafabdf9bfd9eebaeebbbbdbff9bfa |
| Wide Register Should Be Equal 22 0x78fccc062228e9d689c9b54f887cf1eeefbafabdf9bfd9eebaeebbbbdbff9db7 |
| Wide Register Should Be Equal 23 0x78fccc062228e9d689c9b54f887cf1eeefbafabdf9bfd9eebaeebbbbdbff99f3 |
| Wide Register Should Be Equal 24 0xccccccccbbbbbbbbaaaaaaaafacefeeddeadbeefcafed00dd0beb5331234abcd |
| Wide Register Should Be Equal 25 0xccccccccbbbbbbbbaaaaaaaafacefeeddeadbeefcafed00dd0beb5331234abcd |
| Wide Register Should Be Equal 26 0x78fccc062228e9d689c9b54f887cf1eeefbafabdf9bfd9eebaeebbbbdbff9bfa |
| Wide Register Should Be Equal 27 0x28a88802000889908888a00a88189108828aa820099818088822aa2a11109898 |
| Wide Register Should Be Equal 28 0xd25666acbbb1704f23631fe511e568d76d30528ff027c1f732cc1191caef0343 |
| Wide Register Should Be Equal 29 0x4f0d4b819f24f0c164341d3c26628bdb5763bcdf63388709e0654fefeb0953c2 |
| Wide Register Should Be Equal 30 0x2167f87de9ee7ac7ffa3d88bab123192aee492924efa2ec9b55098e068ba2fa1 |
| Wide Register Should Be Equal 31 0x37adadaef9dbff5e738800755466a52c67a8c2216978ad1b257694340f09b7c8 |
