Nick Gasson

Are you using PSL in `--psl` comments or directly embedded in the VHDL with `--std=2008`?

You're passing the `--psl` analysis option as well right? If you don't pass that is should just ignore the PSL entirely.

I think the problem here is really that it advertises the `--psl` option when PSL support is not complete. I've removed that for now.

Is is possible to share some details about the generic `buf_bytes` (e.g. its type)? `rx_hdr_addr` is presumably a port that's assigned some expression that uses `buf_bytes`, could you share e.g....

Thanks for sharing this. It now gets as far as: ``` 0.00ns INFO cocotb Seeding Python random module with 1708192803 0.00ns ERROR cocotb cocotb testbench initialization failed. Exiting. Traceback (most...

Can you try running it under GDB to get a backtrace? E.g. `gdb --args nvc [..options..]` and then enter `bt` when it crashes.

Please also try with the latest master branch as the error fixed in #842 was similar to this.

> > A clear drawback is the memory usage (and therefore size of covdb). If e.g. running with `--include-mems`, NEORV32 contains about half-milion cover items that are just toggles on...

I'm pretty sure the resolution limit has always been `fs`, the smallest VHDL time unit. Is this a feature you often use in other simulators? I always thought it was...

I don't really want to track the original case of identifiers in addition to the normalised uppercase identifier so I've implemented this in a slightly hacky/best-effort way for declarations using...