viktorinox_ifb Imported from Blogger

Hi Tudor, I tried your lib for checking SVA with SVUnit and it worked fine on my side. I’m facing issues when I try to reuse propertied from an interface (not a package). Is it supported ?

It compiles, but the behaviour is really strange and different from when importing from a package.

Example: expect(my_if.prop)

Are you allowed to use property from a different place than a package ?

Thanks,

Viktorinox