Publisher
Springer International Publishing
Reference18 articles.
1. Asanović, K., Avizienis, R., Bachrach, J., et al.: The rocket chip generator. Technical report UCB/EECS-2016-17, EECS Department, UC Berkeley (2016). http://www2.eecs.berkeley.edu/Pubs/TechRpts/2016/EECS-2016-17.html
2. Bachrach, J., Vo, H., Richards, B., et al.: Chisel: constructing hardware in a Scala embedded language. In: DAC, pp. 1212–1221. ACM (2012). https://doi.org/10.1145/2228360.2228584
3. Biere, A., Artho, C., Schuppan, V.: Liveness checking as safety checking. Electr. Notes Theor. Comput. Sci. 66(2), 160–177 (2002). https://doi.org/10.1016/S1571-0661(04)80410-9
4. Chinese Academy of Sciences, Institute of Computing Technology: Xiangshan CPU (2022). https://github.com/OpenXiangShan/XiangShan
5. Dobis, A., et al.: ChiselVerify: an open-source hardware verification library for chisel and scala. In: NorCAS, pp. 1–7. IEEE (2021). https://doi.org/10.1109/NorCAS53631.2021.9599869
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献