40 Years of Computing at Newcastle

Department Technical Report Series No. 566

Partial Order Based Approach to Synthesis of Speed-Independent Circuits.

A. Semenov, A. Yakovlev, E. Pastor, M.A. Pena, J. Cortadella and L. Lavagno.

University of Newcastle upon Tyne. 1997.

Abstract

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 localises the behaviour 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.
Department Technical Report Series - 1997
Department Technical Report Series Index
Contents Page - 40 Years of Computing at Newcastle
Technical Report Abstract No. 566, 30 June 1997