MDG-Based Verification of the Look-Aside Interface | IEEE Conference Publication | IEEE Xplore