Functional coverage metrics are used to automatically record and analyze information to ascertain whether a particular test verified a give feature, greatly enhancing predictability
Functionality targeted by directed tests is knows
SystemVerilog and PSL coverage features are used to generate and then take recorded information back into the process to target additional verification efforts more effectively
Efficient use of resources by eliminating or reducing the use of redundant tests
