A Novel Tool for Synthesis by Direct Mapping of Asynchronous Circuits from Extended STG Specifications

摘要

In this paper we propose a novel tool called Dirmap to the synthesis, by direct mapping, of asynchronous controllers, described by the Extended Signal Transition Graph (XSTG) Specification. The XSTG specification combines the strengths of the XBM specifications and of the STG, while the direct mapping method presents the advantages of simplicity, requiring little computational effort and thus allowing synthesizing large specifications without any knowledge of the asynchronous logic.