Ondrej Ille
Ondrej Ille
Multiple resources refer that OSVVM supports functional coverage, e.g.: [DOULOS](https://www.doulos.com/knowhow/vhdl/the-open-source-vhdl-verification-methodology-osvvm/) [OSVVM page](https://osvvm.org/archives/1897) It would be nice if NVC functional coverage could report this functional coverage too (as part of functional...
Currently code coverage is not reported for packages. Similar to: [Packages missing in waves](https://github.com/nickg/nvc/issues/901)
Some of the PSL built-in functions crash. E.g. `rose` and `fell` crash: ``` FELL_5_a : assert never (fell(b)); ``` crashes with: ``` make psl_fell nvc --std=08 --work=lib_psl_fell -a ../src/pkg.vhd ../src/sequencer.vhd...
Currently NVC fails on code that contains PSL `before` operator: ``` WITHOUT_ABORT_a : assert (always a -> next (b before a)); ``` with ``` ** Error: unexpected identifier while parsing...
A SERE that is nested withing another SERE can't be elaborated by NVC. Steps to reproduce: ``` git clone https://github.com/Blebowski/psl_with_ghdl cd psl_with_ghdl git checkout b514c001c934826661a9f4ff8f4415fd52112d45 cd sim make psl_cover ```...
PSL sequence repetition is not supported during elaboration: ``` -- psl SERE_0_c : cover {req; avalid; busy[->3]; adone} report "Address phase completed"; ``` When I try to elaborate, I receive:...
Implements the NVCs coverage API. Supports both `covPType` and `CoverageIDType`. The pointer to NVC coverage scope (`t_scope_handle`) now directly corresponds to OSVVM Vendor handle as was discussed in the NVC...
**Describe the problem/limitation you think should be addressed** It would be nice if there was an option to generate register map with AHB interface.
Hi, I have extended the parsing of Specify blocks to cover all forms of Path delays and sufficient amount of timing checks. With this, I am almost able to parse:...
This MR copies each source file to a stand-alone HTML file when generating code coverage report. The generated HTML file is then referenced from the "File" in the coverage hierarchy...