Examples of using PSL for functional and formal verification of VHDL with GHDL (and SymbiYosys)
vhdl
ghdl
psl
assertions
formal
yosys

.gitignore 75B

12345
  1. .DS_Store
  2. formal/work
  3. issues/work
  4. sim/work
  5. psl_with_ghdl.sublime-workspace