我正在尝试下载Rocket芯片生成器并构建一个 使用发电机的火箭核心RTL。指导是相对的 简单，如下面的链接。我只需输入几个 命令行。 https://github.com/ucb-bar/rocket-chip
然而，当我最终尝试生成verilog文件时 在所有配置之后命令'make verilog'，我卡住了 到以下似乎与之相关的错误 sbt依赖。
[info]解析com.typesafe.sbt＃sbt-ghpages; 0.5.3 ... [错误]服务器 access错误：sun.security.validator.ValidatorException：PKIX路径 建筑失败： sun.security.provider.certpath.SunCertPathBuilderException：无法 找到有效的证书路径到请求的目标url =〜[error]服务器 access错误：sun.security.validator.ValidatorException：PKIX路径 建筑失败： sun.security.provider.certpath.SunCertPathBuilderException：无法 找到有效的证书路径到请求的目标url =〜[error]服务器 access错误：sun.security.validator.ValidatorException：PKIX路径 建筑失败： sun.security.provider.certpath.SunCertPathBuilderException：无法 找到所请求目标的有效证书路径url = https：〜
......................
[error]（*：update）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个链接，在堆栈溢出中是一个菜鸟。
事实上，我没有找到上面列出的回购网站，甚至没有找到我的 网页浏览器。有人知道如何建造火箭芯片吗？