Automated functional coverage directed for complex digital systems