1. Krste Asanovic, Rimas Avizienis, Jonathan Bachrach, Scott Beamer, David Biancolin, Christopher Celio, Henry Cook, Daniel Dabbelt, John Hauser, Adam Izraelevitz, 2016. The rocket chip generator. EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS-2016-17 4 (2016), 6–2.
2. Intel Corporation.1999. Pentium processor specification update.
3. Coverage directed test generation for functional verification using bayesian networks
4. DifuzzRTL: Differential Fuzz Testing to Find CPU Bugs
5. RFUZZ