Building and deploying container images for open source EDA @eine
#23 2 0 · 2020/11/23 hdl/containers · tags: debian, docker, podman, ghdl, yosys, nextpnr, gtkwave, icestorm, prjtrellis, symbiyosys, z3
Examples of using PSL for functional and formal verification of VHDL with GHDL (and SymbiYosys) @tmeissner
#5 3 0 · 2020/08/18 tmeissner/psl_with_ghdl · tags: psl, ghdl, yosys, verification, formal-verification, assertions, symbiyosys, functional-coverage