2 results found Sort:

tmeissner
psl_with_ghdl tmeissner
4
65
lgpl-3.0
11
Examples of using PSL for functional and formal verification of VHDL with GHDL (and SymbiYosys)
psl ghdl vhdl yosys assertions symbiyosys formal-verification functional-coverage
Created 2020-05-02
115 commits to master branch, last one a day ago
vmunoz82
eda_tools vmunoz82
7
43
mit
2
A Dockerfile with a collections of ready to use open source EDA tools: Yosys, SimbiYosys (with Z3, boolector and Yices2), nextpnr-ice40, netxpnr-ecp5, nextpnr-gowin, Amaranth HDL, Silice and Verilator...
z3 eda gowin yosys nmigen silice yices2 amaranth boolector verilator dockerfile symbiyosys nextpnr-ecp5 nextpnr-ice40 openfpgaloader
Created 2020-12-07
10 commits to main branch, last one about a year ago