Bring-up GHDL functional coverage.
The aim of this task is to bring up functional coverage with GHDL. Main topics are:
- Write simple PSL cover statement into some of RTL codes.
- Execute test which activates this point.
- Show that PSL point was activated in a coverage output.
- Add PSL coverage gatherhing settings to config file
- Create PSL statement directly to directory with functional coverage without copying
To upload designs, you'll need to enable LFS. More information