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