Rendezvous-based MoC for untimed TLM

Transaction level modeling (TLM) is increasingly been touted as the next abstraction level for SoC design after the register-transfer level. The benefits of this new approach are many and find its applications in verification, software validation and architectural exploration. As the TLM systems are modeled as a set of parallel processes, issues of communication, synchronization, and timing are essential to understand, analyze and verify for overall system behavior -choosing an appropriate Model of Computation (MoC) for this purpose becomes important.