sim:tests: Add OT OTBN test
Match https://github.com/renode/renode/commit/f0f96da2a07ba3e6827f66ee1c38440c4040ffa5
Change-Id: Ic905b20d49f1acf43028ad893790a1d7e6c15a9c
diff --git a/opentitan_peripherals_test.robot b/opentitan_peripherals_test.robot
index d1a8578..d979848 100644
--- a/opentitan_peripherals_test.robot
+++ b/opentitan_peripherals_test.robot
@@ -9,6 +9,7 @@
*** Variables ***
${UART} sysbus.uart0
+${URL} @https://dl.antmicro.com/projects/renode
${SHODAN_DIR} ${CURDIR}/../..
${ROOTDIR} @${SHODAN_DIR}
${AES_BIN} ${ROOTDIR}/out/opentitan/sw/build-out/sw/device/tests/aes_smoketest_prog_fpga_cw310
@@ -36,6 +37,13 @@
${ENTROPY_SRC_FW_OVR_BIN} ${ROOTDIR}/out/opentitan/sw/build-out/sw/device/tests/entropy_src_fw_ovr_test_prog_fpga_cw310
${ENTROPY_SRC_KAT_BIN} ${ROOTDIR}/out/opentitan/sw/build-out/sw/device/tests/entropy_src_kat_test_prog_fpga_cw310
${SRAM_CTRL_BIN} ${ROOTDIR}/out/opentitan/sw/build-out/sw/device/tests/sram_ctrl_smoketest_prog_fpga_cw310
+${OTBN_ECDSA_BIN} ${ROOTDIR}/out/opentitan/sw/build-out/sw/device/tests/otbn_ecdsa_op_irq_test_prog_fpga_cw310
+${OTBN_IRQ_BIN} ${ROOTDIR}/out/opentitan/sw/build-out/sw/device/tests/otbn_irq_test_prog_fpga_cw310
+${OTBN_SCRAMBLE_BIN} ${ROOTDIR}/out/opentitan/sw/build-out/sw/device/tests/otbn_mem_scramble_test_prog_fpga_cw310
+${OTBN_RAND_BIN} ${ROOTDIR}/out/opentitan/sw/build-out/sw/device/tests/otbn_randomness_test_prog_fpga_cw310
+${OTBN_SMOKETEST_BIN} ${ROOTDIR}/out/opentitan/sw/build-out/sw/device/tests/otbn_smoketest_prog_fpga_cw310
+${OTBN_RSA_BIN} ${ROOTDIR}/out/opentitan/sw/build-out/sw/device/tests/otbn_rsa_test_prog_fpga_cw310
+${OTBN_SIMPLE_SMOKETEST_BIN} ${URL}/open_titan-earlgrey--otbn_simple_smoketest.elf-s_9180-eafc18be3506e30cc6c255942156b35e4cbda0d9
${HELLO_WORLD_BIN} ${ROOTDIR}/out/opentitan/sw/build-out/sw/device/examples/hello_world/hello_world_fpga_cw310.elf
@@ -91,16 +99,34 @@
Set Default Uart Timeout 1
Create Terminal Tester ${UART}
-Run Test
+Prepare Test
[Arguments] ${bin}
Execute Command $bin=${bin}
Setup Machine
Execute Command sysbus LoadELF $bin
Execute Command cpu0 PC 0x00008084
- Start Emulation
+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 As Numbers ${val} ${expected_value} Register w${idx} value mismatch (actual != expected)
+
*** Test Cases ***
Build OTP Image
@@ -244,3 +270,108 @@
Should Pass SRAM Controller Smoketest
Run Test ${SRAM_CTRL_BIN}
+
+Should Pass OTBN ECDSA Test
+ Prepare Test ${OTBN_ECDSA_BIN}
+ Execute Command otbn FixedRandomPattern "0x0"
+ Execute Test
+
+Should Pass OTBN IRQ Test
+ Run Test ${OTBN_IRQ_BIN}
+
+Should Pass OTBN Memory Scramble Test
+ Prepare Test ${OTBN_SCRAMBLE_BIN}
+ Execute Command cpu0 MaximumBlockSize 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
+ Execute Command include @scripts/single-node/opentitan-earlgrey.resc
+ 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 0x37adadae_f9dbff5e_73880075_5466a52c_67a8c221_6978ad1b_25769434_0f09b7c8
+ Wide Register Should Be Equal 1 0x00000000_00000000_00000000_00000000_baadf00d_baadf00d_baadf00d_baadf00d
+ Wide Register Should Be Equal 2 0x440659a8_32f54897_440659a8_32f54898_dd6208a5_cc50f794_dd6208a5_cc50f791
+ Wide Register Should Be Equal 3 0x23a776b0_bbc28370_34745ffa_22168ae8_7245a2d0_0357f208_431165e5_ed103473
+ Wide Register Should Be Equal 4 0xce52215b_888f503c_df1f0aa4_eee357b5_1cf04d7a_d024bed4_edbc1090_b9dd0141
+ Wide Register Should Be Equal 5 0xfafeeeae_bbb9f9df_abebbfef_99fdf9df_efbafaaf_f9bfd9ff_baeebbbb_dbff9bdb
+ Wide Register Should Be Equal 6 0x28a88802_00088990_8888a00a_88189108_828aa820_09981808_8822aa2a_11109898
+ Wide Register Should Be Equal 7 0xd25666ac_bbb1704f_23631fe5_11e568d7_6d30528f_f027c1f7_32cc1191_caef0343
+ Wide Register Should Be Equal 8 0x870333f9_ddd71629_76364ab0_77830eb1_386507da_9641a791_679944c4_ac896525
+ Wide Register Should Be Equal 9 0xd7c12b4d_f2c374c3_35d9da9b_b4d6d555_555554cc_cccccd55_555554cc_cccccd55
+ Wide Register Should Be Equal 10 0x05011151_1112d2ed_54144010_32ced2ed_1045054f_d30cf2cd_45114443_f0cd30f0
+ Wide Register Should Be Equal 11 0xd75777fd_ccc4433c_77775ff5_44b43bc4_7d7557df_c334b4c4_77dd55d5_bbbc3433
+ Wide Register Should Be Equal 12 0x2caccd53_332aa9a2_ccccb54a_ab1aa22a_d2caad35_299b1b2a_cd32ab2b_22229a9a
+ Wide Register Should Be Equal 13 0xa1a55408_5564a69a_1252555a_43c8b58a_4a25a045_a689a3aa_20896565_97ba66a7
+ Wide Register Should Be Equal 14 0x5ec45f47_d09a8aec_ac10254c_2c59e406_8dba5ca7_630e74e6_bcee9991_7956327a
+ Wide Register Should Be Equal 15 0xdc58894e_ddd71629_cb8ba005_77830eb1_8dba5d2f_9641a791_bcee9a19_ac896524
+ Wide Register Should Be Equal 16 0xce52215b_888f503c_df1f0aa4_eee357b5_1cf04d7a_d024bed4_edbc1090_b9dd0141
+ Wide Register Should Be Equal 17 0x55555555_33333333_55555555_33333333_55555555_33333333_55555555_33333331
+ Wide Register Should Be Equal 18 0x23a7769f_bbc28381_34745fe9_22168a4e_c79af825_69be586e_9866bb3b_53769ada
+ Wide Register Should Be Equal 19 0x28a88800_00088982_8888a009_8818910a_828aa801_09981800_00000000_00000000
+ Wide Register Should Be Equal 20 0x78fccc06_2228e9d6_89c9b54f_887cf14e_c79af825_69be57c3_edbc10a1_b9dd0130
+ Wide Register Should Be Equal 21 0x78fccc06_2228e9d6_89c9b54f_887cf1ee_efbafabd_f9bfd9ee_baeebbbb_dbff9bfa
+ Wide Register Should Be Equal 22 0x78fccc06_2228e9d6_89c9b54f_887cf1ee_efbafabd_f9bfd9ee_baeebbbb_dbff9db7
+ Wide Register Should Be Equal 23 0x78fccc06_2228e9d6_89c9b54f_887cf1ee_efbafabd_f9bfd9ee_baeebbbb_dbff99f3
+ Wide Register Should Be Equal 24 0xcccccccc_bbbbbbbb_aaaaaaaa_facefeed_deadbeef_cafed00d_d0beb533_1234abcd
+ Wide Register Should Be Equal 25 0xcccccccc_bbbbbbbb_aaaaaaaa_facefeed_deadbeef_cafed00d_d0beb533_1234abcd
+ Wide Register Should Be Equal 26 0x78fccc06_2228e9d6_89c9b54f_887cf1ee_efbafabd_f9bfd9ee_baeebbbb_dbff9bfa
+ Wide Register Should Be Equal 27 0x28a88802_00088990_8888a00a_88189108_828aa820_09981808_8822aa2a_11109898
+ Wide Register Should Be Equal 28 0xd25666ac_bbb1704f_23631fe5_11e568d7_6d30528f_f027c1f7_32cc1191_caef0343
+ Wide Register Should Be Equal 29 0x4f0d4b81_9f24f0c1_64341d3c_26628bdb_5763bcdf_63388709_e0654fef_eb0953c2
+ Wide Register Should Be Equal 30 0x2167f87d_e9ee7ac7_ffa3d88b_ab123192_aee49292_4efa2ec9_b55098e0_68ba2fa1
+ Wide Register Should Be Equal 31 0x37adadae_f9dbff5e_73880075_5466a52c_67a8c221_6978ad1b_25769434_0f09b7c8
