Go functional model for a RISC-V asynchronous organisation — ARV | IEEE Conference Publication | IEEE Xplore