How to convert vhdl to other formats

[tmeissner]

ref: https://github.com/ghdl/ghdl/issues/1174#issuecomment-700057762
tags: [ghdl, ghdl-yosys-plugin, yosys, synthesis, verilog, btor2, smt2, edif, firrtl]

I made a list of "How to convert vhdl to ..." in hopes it gets indexed by the search engines. All commands are similar, they are listed so common search phrases get indexed.

The format translation can be done with the yosys's write_*commands. Therefore, in order to them to work, ghdl, yosys and ghdl-yosys-plugin have to be installed (make sure they are updated).

In the following examples, ghdl is being used, in what I believe, is the most straightforward way. See ghdl-yosys-plugin#usage for a workflow more adequate for larger projects.