Verification of Random Number Generators for Embedded Machine Learning

Critical Embedded Systems Development Using Formal Methods and Statistical Reliability Metrics

“…We will independently re-evaluate these claims. Other RNG designs were considered, such as SBoNG [76], but they have already been shown not to be "random" [77] via SmallCrush. Final results for PCG32 when tested with SmallCrush PCG32 was tested three times each for consistency, just like previously with rand().…”