Nick Gasson

> > That said I've been pretty happy with my solution of just converting all requested identifiers to uppercase in cocotb. Yes if they can live with that it would...

> Also, the PSL support is very early state and I don't know what are @nickg plans in this regard. If you follow the discussion in the PSL issue, I...

I would rather keep it as a flat array. I think you can just allocate N/32 sequential tags and then refer to them by the index of the first one.

> > Was the intention to solve the problem of above? WIth this new implementation, I think it could be sufficient to simply append the "new" tag to the most...

The -9 thing is probably those processes being killed due to out-of-memory. I think we need to scale the number of background compile threads based on the load average of...

I managed to install it and used the SmartGen tool to generate an EDAC core, but not sure what options I should choose. Can you have a look at this...

So is this the same test where GHDL finishes in 20 minutes but NVC takes 50+? I tried a simple testbench for the RAM based on the settings above and...

> I haven't used NVC on this iteration of the design before, but I used it on another iteration of it about a year a go and then NVC was...

The "code buffer exhausted" warning should be gone now but I'd still like to get to the bottom of what caused the performance regression.

Section 9.3 of the 2008 LRM says "The index range of an array aggregate that has an others choice shall be determinable from the context". It then goes on to...