Partial Order Based Approach to Synthesis of Speed-Independent Circuits

摘要

The aim of this paper is to introduce a novel technique for synthesis of speed-independent circuits from their Signal Transition Graph specifications. The new method uses partial order in the form of the STG-unfolding segment to derive the logic implementation. It is based on a new notion of slice, which localizes the behavior of a particular signal instance in a structural fragment of the segment. Two approaches are explained in this paper: exact and approximation. Within the approximation approach two strategies for cover derivation are considered. The method is applied to synthesis in three main implementation architectures. The experimental results show the power of the approximation approach in comparison with the existing methods. (Copyright (c) 1997 University of Newcastle upon Tyne.)