Dealing with Time Modelling Problems in Parallel Models
of Asynchronous Computer Architectures
G. Theodoropoulos, J.V. Woods
Abstract
Recently, there has been a resurgence of interest in asynchronous design
techniques. The research activity in this area has
pointed to the need for suitable techniques for modelling
and simulating asynchronous systems. The occam programming language
allows the rapid development of parallel
simulation models of asynchronous systems but its distributed nature
introduces time modelling problems. This paper presents the Program Driven Synchronization Protocol,
a novel technique for dealing with these problems.
Full
paper