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

psl_with_ghdl.sublime-project 45B

12345678
  1. {
  2. "folders":
  3. [
  4. {
  5. "path": "."
  6. }
  7. ]
  8. }