5 #include "sw/device/lib/testing/edn_testutils.h"
7 #include "sw/device/lib/dif/dif_csrng_shared.h"
9 #include "sw/device/lib/testing/rand_testutils.h"
10 #include "sw/device/lib/testing/test_framework/check.h"
17 seed.
len = disable_rand ? 0
18 : rand_testutils_gen32_range(
20 for (
size_t i = 0; i < seed.
len; ++i) {
21 seed.
data[i] = rand_testutils_gen32();
30 unsigned int res_itval,
31 unsigned int glen_val) {
33 edn_testutils_seed_material_build(disable_rand);
35 edn_testutils_seed_material_build(disable_rand);
37 edn_testutils_seed_material_build(disable_rand);
42 unsigned int glen = glen_val ? glen_val
43 : (disable_rand || rand_testutils_gen32_range(0, 1))
45 : rand_testutils_gen32_range(2, 10);
47 unsigned int num_reqs_between_reseeds =
49 : (disable_rand || rand_testutils_gen32_range(0, 1))
51 : rand_testutils_gen32_range(3, 5);
56 .cmd = csrng_cmd_header_build(kCsrngAppCmdInstantiate,
60 .seed_material = seed0,
64 .cmd = csrng_cmd_header_build(kCsrngAppCmdReseed,
68 .seed_material = seed1,
72 .cmd = csrng_cmd_header_build(kCsrngAppCmdGenerate,
75 .seed_material = seed2,
77 .reseed_interval = num_reqs_between_reseeds,