我正在尝试下载 Rocket 芯片生成器并使用该生成器构建 Rocket 核心 RTL。指导比较简单，如下链接所示。我只需要输入几行命令。 https://github.com/ucb-bar/rocket-chip
但是，当我最终尝试在所有配置后通过命令“make verilog”生成verilog 文件时，我遇到了以下错误，该错误似乎与 sbt 依赖项有关。
[信息] 解决 com.typesafe.sbt#sbt-ghpages;0.5.3 ... [错误] 服务器访问错误：sun.security.validator.ValidatorException：PKIX 路径构建失败：sun.security.provider.certpath.SunCertPathBuilderException：无法找到请求目标 url=~ [错误] 服务器访问错误：sun.security.validator.ValidatorException：PKIX 路径构建失败：sun.security.provider.certpath.SunCertPathBuilderException：无法找到请求的有效证书路径目标 url=~[错误] 服务器访问错误：sun.security.validator.ValidatorException：PKIX 路径构建失败：sun.security.provider.certpath.SunCertPathBuilderException：无法找到请求目标 url=https:~ 的有效证书路径
…………………………………………………………………………………………………………………………
[错误]（*：更新）sbt.ResolveException：未解决的依赖项：com.typesafe.sbt#sbt-ghpages;0.5.3：未找到[错误]未解决的依赖项：com.typesafe.sbt#sbt-site;0.8.1 ：未找到 [错误] 未解决的依赖项：com.eed3si9n#sbt-buildinfo;0.5.0：未找到
请注意，我将 URL 替换为“~”标记，因为我无法通过这篇文章编写超过 2 个链接，因为我是堆栈溢出中的菜鸟。
事实上，我没有找到上面列出的回购网站，甚至在我的网络浏览器上也没有。有人知道如何制造火箭芯片吗？