A proposal for transaction-level verification with Component Wrapper Language | IEEE Conference Publication | IEEE Xplore