4 #include "sw/device/lib/base/ibex.h"
8 #include "sw/device/lib/base/status.h"
10 #include "sw/device/lib/testing/test_framework/check.h"
14 #include "rv_core_ibex_regs.h"
16 OTTF_DEFINE_TEST_CONFIG();
18 static status_t ibex_entropy_test(
void) {
20 uint32_t rnd_data0 = ibex_rnd_data_read();
22 ibex_wait_rnd_valid();
23 uint32_t rnd_status = ibex_rnd_status_read();
25 RV_CORE_IBEX_RND_STATUS_RND_DATA_VALID_BIT));
27 uint32_t rnd_data1 = ibex_rnd_data_read();
28 TRY_CHECK(rnd_data0 != rnd_data1);
37 return status_ok(result);