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. Clark Barrett and Cesare Tinelli. 2018. Satisfiability modulo theories. Springer.
3. ABC Berkeley. 2009. A system for sequential synthesis and verification.
4. BOSC. [n. d.]. XiangShan-doc. https://github.com/OpenXiangShan/XiangShan
5. Zhenghai Cai. [n. d.]. Murphi2Chisel. https://github.com/murphi2chisel/Multi-verify-Engines-for-Cache-Coherence-Protocols-Murphi2Chisel