The improvement for transaction level verification functional coverage | IEEE Conference Publication | IEEE Xplore