Spike模拟器简介

使用sbt run运行chisel-example项目时出现sbt.librarymanagement.ResolveException: Error downloading org.scala-lang.modules:scala-xml_2.12:1.0.6错误

论文基本信息

题目：Effective Processor Verification with Logic Fuzzer Enhanced Co-simulation

发表情况：MICRO 2021(CCF-A)

作者：Nursultan Kabylkas, Tommy Thorn, Shreesha Srinath$^∗$, Polychronis Xekalakis$^∗$, Jose Renau

作者所属单位：加州大学圣克鲁斯分校，Esperanto Technologies，Intel，Nvidia

​ 最近在研究DiFuzzRTL，其发现了Rocket Chip中出现的一个问题Instruction retired count not increased when ebreak其中出现了Instruction retired这个名词不是很明白，搜集了一些资料记录一下这个名词的含义，并且解释一下这个错误出现的具体原因。为了面向更多人本文将解释的更加通俗一些。

Ubuntu 2022.04版本安装libsdl2-dev出现E: Error, pkgProblemResolver::Resolve generated breaks, this may be caused by held packages.

最近在研究DiFuzzRTL和RFuzz两个用于挖CPU漏洞的模糊器都需要用到Verilator仿真软件，遂记录一下软件安装过程。