A METHOD TO CONVERT CONCURRENT EFSMS WITH MULTI-RENDEZVOUS INTO SYNCHRONOUS SEQUENTIAL-CIRCUIT

In this paper, we propose a technique to synthesize a hardware circuit from a protocol specification consisting of several concurrent EFSMs with multi-rendezvous specified among their subsets. In our class, eac h multi-rendezvous can be specified among more than two EFSMs, and sev eral multi-rendezvous can be specified for different combinations of E FSMs. In the proposed technique, using the information such as current states of EFSMs, input values at external gates and guard expressions . we compose a circuit to evaluate, whether each multi-rendezvous can be executed. If several exclusive multi-rendezvous get executable simu ltaneously for some combinations of EFSMs, ive select one of them acco rding to the priority order given in advance. We compose such a circui t as a combinational logic circuit so that it works fast. By applying our technique to Abracadabra protocol specified in LOTOS, it is confir med that the derived circuit handles multi-rendezvous efficiently.