4DBC7DF0-2F73-4249-964B-D6AD82A109F4A4A: Asynchronous design for analogue electronicsResearch GrantEP/L025507/1798CB33D-C79E-4578-83F2-72606407192CEPSRCINCOME_ACTUAL57452456A07B27-7D48-4913-82CA-E08E07929FDDFormal Design and Verification of an Asynchronous SRAM Controllerdb616daa7a0c32277caf3e7b68afd26aKhomenko V2017-01-01http://dx.doi.org/10.1109/acsd.2017.12http://dx.doi.org/10.1109/acsd.2017.12Conference/Paper/Proceeding/Abstract5a81bc3feb5669.77850944