Partial order based approach to synthesis of speed-independent circuits.

This paper introduces 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 using approximation techniques. It is based on a new notion of slice, which localises the behaviour of a particular signal instance in a structural fragment of the segment. The experimental results show the power of the approximation approach in comparison with the existing methods.