热门搜索:
ghdl/synth
ghdl
包含GHDL及综合、布局布线、形式化验证工具的即用型Docker镜像，适用于数字逻辑设计与FPGA开发。
4 次收藏下载次数: 0状态：社区镜像维护者：ghdl仓库类型：镜像最近更新：1 年前
GHDL综合工具集Docker镜像
镜像概述
本Docker镜像为即用型工具集，包含GHDL及多种数字逻辑设计与验证工具，旨在为FPGA开发、数字逻辑综合及形式化验证提供完整的开发环境。
核心功能与特性
- GHDL：VHDL语言分析器与综合工具，支持VHDL 93/02/08标准
- ghdlsynth-beta：GHDL的综合后端，实现VHDL到Verilog的转换
- Icestorm：Lattice iCE40 FPGA的开源工具链，包含位流生成器
- nextpnr：可移植的FPGA布局布线工具，支持多种FPGA架构
- Yosys：开源逻辑综合工具，支持Verilog、VHDL等硬件描述语言
- SymbiYosys：形式化验证框架，集成多种验证工具
使用场景
- FPGA设计流程中的逻辑综合与布局布线
- 数字逻辑设计的形式化验证
- VHDL/Verilog代码的分析与转换
- 开源FPGA工具链的学习与开发
使用方法
基本使用
通过以下命令启动容器并挂载本地工作目录：
bashdocker run -it -v $(pwd):/workdir ghdl/ghdl-synth-tools
工具调用示例
在容器内可直接使用集成的工具：
bash# 使用GHDL分析VHDL文件 ghdl -a design.vhdl # 使用Yosys进行逻辑综合 yosys -q -p "read_verilog design.v" # 使用nextpnr进行布局布线 nextpnr-ice40 --package tq144 --pcf constraints.pcf --json design.json --asc design.asc # 使用SymbiYosys进行形式化验证 sby -f verification.sby
更多配置
镜像的详细构建配置可参考https://github.com/ghdl/docker/tree/master/dockerfiles%E8%8E%B7%E5%8F%96%E6%9C%80%E6%96%B0%E4%BF%A1%E6%81%AF%E3%80%82
镜像拉取方式
您可以使用以下命令拉取该镜像。请将 <标签> 替换为具体的标签版本。如需查看所有可用标签版本，请访问 标签列表页面。
DockerHub 原生拉取命令
docker pull ghdl/synth:<标签>
更多 synth 镜像推荐
grafana/synthetic-monitoring-agent
grafana
Blackbox Exporter代理，用于执行Grafana Cloud Synthetic Monitoring服务的检查。
7 次收藏1亿+ 次下载
12 天前更新
datadog/synthetics-private-location-worker
datadog
用于合成监控私有位置工作器的Docker容器
14 次收藏1亿+ 次下载
1 个月前更新
newrelic/synthetics-minion
newrelic
Synthetics Containerized Private Minion
7 次收藏500万+ 次下载
1 年前更新
newrelic/synthetics-node-api-runtime
newrelic
用于运行合成监控API脚本的Node.js运行时环境，提供稳定的执行环境和必要依赖，支持API性能和可用性监控任务的部署与运行。
1000万+ 次下载
10 天前更新
newrelic/synthetics-job-manager
newrelic
暂无描述
2 次收藏500万+ 次下载
11 天前更新
newrelic/synthetics-ping-runtime
newrelic
合成监控ping测试的运行时环境，用于支持网络连通性检测的执行
1 次收藏100万+ 次下载
11 天前更新
轩辕镜像配置手册
探索更多轩辕镜像的使用方法，找到最适合您系统的配置方式
Docker 配置
登录仓库拉取
通过 Docker 登录认证访问私有仓库
专属域名拉取
无需登录使用专属域名
K8s Containerd
Kubernetes 集群配置 Containerd
K3s
K3s 轻量级 Kubernetes 镜像加速
Dev Containers
VS Code Dev Containers 配置
Podman
Podman 容器引擎配置
Singularity/Apptainer
HPC 科学计算容器配置
其他仓库配置
ghcr、Quay、nvcr 等镜像仓库
Harbor 镜像源配置
Harbor Proxy Repository 对接专属域名
Portainer 镜像源配置
Portainer Registries 加速拉取
Nexus 镜像源配置
Nexus3 Docker Proxy 内网缓存
系统配置
需要其他帮助？请查看我们的 常见问题Docker 镜像访问常见问题解答 或 提交工单
镜像拉取常见问题
使用与功能问题
配置了专属域名后，docker search 为什么会报错？
docker search 限制
Docker Hub 上有的镜像，为什么在轩辕镜像网站搜不到？
站内搜不到镜像
机器不能直连外网时，怎么用 docker save / load 迁镜像？
离线 save/load
docker pull 拉插件报错（plugin v1+json）怎么办？
插件要用 plugin install
WSL 里 Docker 拉镜像特别慢，怎么排查和优化？
WSL 拉取慢
轩辕镜像安全吗？如何用 digest 校验镜像没被篡改？
安全与 digest
第一次用轩辕镜像拉 Docker 镜像，要怎么登录和配置？
新手拉取配置
轩辕镜像合规吗？轩辕镜像的合规是怎么做的？
镜像合规机制
错误码与失败问题
docker pull 提示 manifest unknown 怎么办？
manifest unknown
docker pull 提示 no matching manifest 怎么办？
no matching manifest（架构）
镜像已拉取完成，却提示 invalid tar header 或 failed to register layer 怎么办？
invalid tar header（解压）
Docker pull 时 HTTPS / TLS 证书验证失败怎么办？
TLS 证书失败
Docker pull 时 DNS 解析超时或连不上仓库怎么办？
DNS 超时
docker 无法连接轩辕镜像域名怎么办？
域名连通性排查
Docker 拉取出现 410 Gone 怎么办？
410 Gone 排查
出现 402 或「流量用尽」提示怎么办？
402 与流量用尽
Docker 拉取提示 UNAUTHORIZED（401）怎么办？
401 认证失败
遇到 429 Too Many Requests（请求太频繁）怎么办？
429 限流
docker login 提示 Cannot autolaunch D-Bus，还算登录成功吗？
D-Bus 凭证提示
为什么会出现「单层超过 20GB」或 413，无法加速拉取？
413 与超大单层
账号 / 计费 / 权限
用户好评
来自真实用户的反馈，见证轩辕镜像的优质服务
oldzhang
运维工程师
Linux服务器
5
"Docker访问体验非常流畅，大镜像也能快速完成下载。"