Hi,
SV is now an IEEE standard and all 3 major vendors have varied level of support for it today. AFAIK, Cadence has the least for SV-Testbench against Mentor/SNPS. You need to check with your tool documentation. As far as E goes, E is being standardized, but not many vendors seem to be supporting - atleast not the main ones - no SNPS/Mentor. Hence for your case, you may want to start using SV-Design, Assertions - as much as NC supports, and slowly move to SV-Testbench.