Embeding SVA modules inside interfaces

In reply to Andreas38:

Your interfaces can have ports that work exactly like module ports.