Formal Modelling and Verification of an Asynchronous DLX Pipeline | IEEE Conference Publication | IEEE Xplore