---
title: "GHDL synthesis and Yosys integration"
description: "GHDL synthesis and Yosys integration - Source: GHDL documentation, “Synthesis”. - URL: https://ghdl.github.io/ghdl/using/Synthesis.html - Accessed: 2026-07-10. GHDL documents --synth as its synthe…"
doc_version: 1
last_updated: 2026-10-15
canonical_url: "http://parc.yolo.scapegoat.dev/note/projects/2026/07/10/_assets/verisql-hw-report/sources/external/ghdl-synthesis"
---

# GHDL synthesis and Yosys integration

GHDL synthesis and Yosys integration - Source: GHDL documentation, “Synthesis”. - URL: https://ghdl.github.io/ghdl/using/Synthesis.html - Accessed: 2026-07-10. GHDL documents --synth as its synthe…

## Content

# GHDL synthesis and Yosys integration

- Source: GHDL documentation, “Synthesis”.
- URL: https://ghdl.github.io/ghdl/using/Synthesis.html
- Accessed: 2026-07-10.

GHDL documents `--synth` as its synthesis entry point. The GHDL-Yosys plugin maps GHDL’s internal representation into Yosys and can produce formal-analysis formats such as SMT2 and BTOR2. The documentation recommends checking a design with GHDL’s own synthesis command before running the Yosys flow. This matches the repository’s separation between `make vhdl-synth` and the later SymbiYosys targets.

## Sitemap

- [Home](http://parc.yolo.scapegoat.dev/)
- [Home markdown mirror](http://parc.yolo.scapegoat.dev/index.md)
- [Markdown sitemap](http://parc.yolo.scapegoat.dev/sitemap.md)