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 implementationusing approximationtechniques. 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.
Alexei L. Semenov, Alexandre Yakovlev, Enric Pasto