Automated functional coverage directed for complex digital systems | IEEE Conference Publication | IEEE Xplore