我想对特定硬件生成的真随机数生成器(TRNG)数字进行验证，但我不习惯这样。
首先，我想通过经验方法测试真随机数生成器(TRNG)的一致性(也就是说，我想检查它们是否真的是真随机数(trn));我不知道是否可以用形式方法检查。
有关于这个主题的专门讲座吗?有什么建议吗?有这种经验方法测试的工具吗?
我建议您不要尝试复制现有的工具，因为这将是大量的工作。Marsaglia的Diehard测试应该可以工作，或者您可以使用dieharder，这是一个GPL重新实现。从网页:
diehard的主要目的(就像之前的diehard一样)是为了方便时间和测试(伪)随机数生成器，包括软件和硬件，用于研究和密码学中的各种目的。该工具完全建立在GSL的随机数生成器接口之上，并在其操作中使用各种其他GSL工具(例如sort, erfc, incomplete gamma, distribution generators)。