Hi everyone
I've been trying to get some psl assertions to work with my design on
Modelsim, but nothing seems to work.

I have moved the psl assertions on a separate file (vunit), and I even
got this message when compiling on modelsim:

Loading vunit bla_unit

which made me think that I had got something.. but I have no assertions
on the Assertion view, and no messages on the console!

Does anyone have a sample code? something that works on modelsim ?
Thank you very much!


Here's my testing code:
vunit bla_unit(system (system)){
default clock is rising_edge(clk);
property test is never (sig1 and sig2);
assert test;
}