School of Computer Science Intranet
G. Theodoropoulos, J.V. Woods
This paper discusses the time modelling problem in Register Transfer Level distributed simulation models of asynchronous architectures written in occam. The results presented in the paper confirm that even if preemptions are allowed to occur, the timing error is not significant and it is acceptable at this level of simulation.