A proposal for transaction-level verification with component wrapper language | IEEE Conference Publication | IEEE Xplore