| *** Comments *** |
| Tests for OpenTitan built at hw/opentitan-upstream |
| *** Settings *** |
| Suite Setup Setup |
| Suite Teardown Teardown |
| Test Setup Reset Emulation |
| Test Teardown Test Teardown |
| Resource ${RENODEKEYWORDS} |
| |
| *** 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 |
| ${CSRNG_BIN} ${ROOTDIR}/out/opentitan/sw/build-out/sw/device/tests/csrng_smoketest_prog_fpga_cw310 |
| ${FLASH_CTRL_BIN} ${ROOTDIR}/out/opentitan/sw/build-out/sw/device/tests/flash_ctrl_test_prog_fpga_cw310 |
| ${GPIO_BIN} ${ROOTDIR}/out/opentitan/sw/build-out/sw/device/tests/gpio_smoketest_prog_fpga_cw310 |
| ${HMAC_BIN} ${ROOTDIR}/out/opentitan/sw/build-out/sw/device/tests/hmac_smoketest_prog_fpga_cw310 |
| ${KMAC_BIN} ${ROOTDIR}/out/opentitan/sw/build-out/sw/device/tests/kmac_smoketest_prog_fpga_cw310 |
| ${KMAC_CSHAKE_BIN} ${ROOTDIR}/out/opentitan/sw/build-out/sw/device/tests/kmac_mode_cshake_test_prog_fpga_cw310 |
| ${KMAC_KMAC_BIN} ${ROOTDIR}/out/opentitan/sw/build-out/sw/device/tests/kmac_mode_kmac_test_prog_fpga_cw310 |
| ${LC_OTP_CFG} ${ROOTDIR}/out/opentitan/sw/build-out/sw/device/tests/lc_ctrl_otp_hw_cfg_test_prog_fpga_cw310 |
| ${RESET_BIN} ${ROOTDIR}/out/opentitan/sw/build-out/sw/device/tests/rstmgr_smoketest_prog_fpga_cw310 |
| ${SW_RESET_BIN} ${ROOTDIR}/out/opentitan/sw/build-out/sw/device/tests/rstmgr_sw_req_test_prog_fpga_cw310 |
| ${TEST_ROM_SCR_VMEM} ${ROOTDIR}/out/opentitan/sw/build-out/sw/device/boot_rom/test_rom_fpga_cw310.scr.39.vmem |
| ${TIMER_BIN} ${ROOTDIR}/out/opentitan/sw/build-out/sw/device/tests/rv_timer_smoketest_prog_fpga_cw310 |
| ${UART_BIN} ${ROOTDIR}/out/opentitan/sw/build-out/sw/device/tests/uart_smoketest_prog_fpga_cw310 |
| ${ALERT_HANDLER} ${ROOTDIR}/out/opentitan/sw/build-out/sw/device/tests/alert_renode_test_prog_fpga_cw310 |
| ${ALERT_HANDLER_PING} ${ROOTDIR}/out/opentitan/sw/build-out/sw/device/tests/alert_handler_ping_timeout_test_prog_fpga_cw310 |
| ${SPI_HOST} ${ROOTDIR}/out/opentitan/sw/build-out/sw/device/tests/spi_host_smoketest_prog_fpga_cw310 |
| ${AON_TIMER_IRQ_BIN} ${ROOTDIR}/out/opentitan/sw/build-out/sw/device/tests/aon_timer_irq_test_prog_fpga_cw310 |
| ${AON_TIMER_WDOG_SLEEP_BIN} ${ROOTDIR}/out/opentitan/sw/build-out/sw/device/tests/aon_timer_sleep_wdog_sleep_pause_test_prog_fpga_cw310 |
| ${AON_TIMER_BIN} ${ROOTDIR}/out/opentitan/sw/build-out/sw/device/tests/aon_timer_smoketest_prog_fpga_cw310 |
| ${AON_TIMER_WDOG_BITE_BIN} ${ROOTDIR}/out/opentitan/sw/build-out/sw/device/tests/aon_timer_wdog_bite_reset_test_prog_fpga_cw310 |
| ${ENTROPY_SRC_AST_REQ_BIN} ${ROOTDIR}/out/opentitan/sw/build-out/sw/device/tests/entropy_src_ast_rng_req_test_prog_fpga_cw310 |
| ${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 |
| |
| ${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}8 -> led0@0 ${\n} |
| ... ${SPACE*4}9 -> led1@0 ${\n} |
| ... ${SPACE*4}10 -> led2@0 ${\n} |
| ... ${SPACE*4}11 -> led3@0 ${\n} |
| ... ${SPACE*4}12 -> led4@0 ${\n} |
| ... ${SPACE*4}13 -> led5@0 ${\n} |
| ... ${SPACE*4}14 -> led6@0 ${\n} |
| ... ${SPACE*4}15 -> led7@0 ${\n} |
| ... ${\n} |
| ... led0: Miscellaneous.LED @ gpio 8 ${\n} |
| ... led1: Miscellaneous.LED @ gpio 9 ${\n} |
| ... led2: Miscellaneous.LED @ gpio 10 ${\n} |
| ... led3: Miscellaneous.LED @ gpio 11 ${\n} |
| ... led4: Miscellaneous.LED @ gpio 12 ${\n} |
| ... led5: Miscellaneous.LED @ gpio 13 ${\n} |
| ... led6: Miscellaneous.LED @ gpio 14 ${\n} |
| ... led7: Miscellaneous.LED @ gpio 15 ${\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 sysbus SilenceRange <0x40050000 0x2000> |
| 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 As Numbers ${val} ${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 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 |
| |
| # This test is can only work with hello-world patched with LED fix. |
| # Output pins are configured to 0x00FF: https://github.com/lowRISC/opentitan/blob/1e86ba2a238dc26c2111d325ee7645b0e65058e5/sw/device/examples/hello_world/hello_world.c#L66 , |
| # while chars are outputed to 0xFF00: https://github.com/lowRISC/opentitan/blob/1e86ba2a238dc26c2111d325ee7645b0e65058e5/sw/device/examples/demos.c#L88 |
| 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 |
| |
| Execute Command emulation CreateLEDTester "led4" sysbus.gpio.led4 |
| Execute Command emulation CreateLEDTester "led5" sysbus.gpio.led5 |
| Execute Command emulation CreateLEDTester "led6" sysbus.gpio.led6 |
| Execute Command emulation CreateLEDTester "led7" sysbus.gpio.led7 |
| |
| 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 |
| |
| Execute Command led4 AssertState false 0.2 |
| Execute Command led5 AssertState false 0.2 |
| Execute Command led6 AssertState false 0.2 |
| Execute Command led7 AssertState false 0.2 |
| |
| Write Char On Uart B |
| # B is 0100 0010 |
| |
| 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 |
| |
| Execute Command led4 AssertState false 0.2 |
| Execute Command led5 AssertState false 0.2 |
| Execute Command led6 AssertState true 0.2 |
| Execute Command led7 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 reset. |
| |
| 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 |
| 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 |
