W dniu sobota, 2 lutego 2019 04:30:52 UTC+1 użytkownik gnuarm.del...@gmail.com napisał:
> I know there are some open source simulation tools for Verilog and/or VHDL... I can't recall which or if there are simulators for both languages. I believe there are significant shortcomings in any case.
>
> I'm pretty sure there is an open source tool for backend place and route and bit stream generation of the Lattice iCE40 devices, well, some of them anyway. I don't recall what they use for synthesis front end.
>
> Are there other FOSS synthesis tools for either Verilog or VHDL? What are the limitations?
>
>
> Rick C.
>
> - Tesla referral code - https://ts.la/richard11209
I think that currently the most successful project is Yosys. It supports Lattice and Xilinx 7 series FPGAs.
https://github.com/YosysHQ/yosys
There's also very nice frontend for Yosys - SymbiYosys, which can be used for formal verification of RTL code. It supports only Verilog in free version, but also VHDL in paid version.
https://github.com/YosysHQ/SymbiYosys
There's also very preliminary VHDL frontend for Yosys based on GHDL:
https://github.com/tgingold/ghdlsynth-beta
Adrian
Reply by Philipp Klaus Krause●February 3, 20192019-02-03
Am 02.02.19 um 04:30 schrieb gnuarm.deletethisbit@gmail.com:
> I know there are some open source simulation tools for Verilog and/or VHDL... I can't recall which or if there are simulators for both languages. I believe there are significant shortcomings in any case.
>
> I'm pretty sure there is an open source tool for backend place and route and bit stream generation of the Lattice iCE40 devices, well, some of them anyway. I don't recall what they use for synthesis front end.
>
> Are there other FOSS synthesis tools for either Verilog or VHDL? What are the limitations?
I guess the most well-known free simulators are GHDL and Icarus Verilog.
Icarus Verilog used to have some synthesis support, but it was dropped.
yosys is a well-known current synthesis tool (targeting Xilinx 7-Series
and Lattice iCE40 and ASIC).
I once used a flow based on Berkely vl2mv, vis, abc, Icarus Verilog to
get to a simulated ASIC from Verilog.
I guess there is a lot more out there.
Philipp
Reply by Nicolas Matringe●February 2, 20192019-02-02
Hello Rick
On 02/02/2019 04:30, gnuarm.deletethisbit@gmail.com wrote:
> I know there are some open source simulation tools for Verilog and/or VHDL... I can't recall which or if there are simulators for both languages. I believe there are significant shortcomings in any case.
>
> I'm pretty sure there is an open source tool for backend place and route and bit stream generation of the Lattice iCE40 devices, well, some of them anyway. I don't recall what they use for synthesis front end.
>
> Are there other FOSS synthesis tools for either Verilog or VHDL? What are the limitations?
I know there are some open source simulation tools for Verilog and/or VHDL... I can't recall which or if there are simulators for both languages. I believe there are significant shortcomings in any case.
I'm pretty sure there is an open source tool for backend place and route and bit stream generation of the Lattice iCE40 devices, well, some of them anyway. I don't recall what they use for synthesis front end.
Are there other FOSS synthesis tools for either Verilog or VHDL? What are the limitations?
Rick C.
- Tesla referral code - https://ts.la/richard11209