Questa Core targets designers who need high-performance simulation and access to assertion-based verification. The Questa Core version provides support for standard RTL (register transfer level) languages along with SystemVerilog assertions and PSL (property specification language) assertions, advanced code coverage and integrated debug. Questa Prime includes all the functionality of the Questa Core version and adds support for functional coverage, full OVM/UVM (open verification methodology/universal verification methodology) and SystemVerilog support for testbench creation and implementation as well as full verification management capabilities.