In: IEICE Trans. on Fundamentals in Electronics, Communications and Computers, Vol. E83-A, No. 11, pages 2203-2211. 2000.
Abstract: The paper introduces a high-level synthesis framework to synthesize asynchronous circuits, especially speed-independent circuits from a concurrent programming language ALEPH. ALEPH is a high-level concurrent algorithm specification that can model complex concurrent control flows, logical and arithmetic computations, and communications in an easy way. This specification language has been developed to be translated into a Petri net. The major contribution of this paper is the generation of globally optimized correct circuits while preserving neat formalism in the specification.
Keywords: ALEPH, Petri nets, concurrent algorithm specifications, concurrent programs, programming languages, speed-independent circuits.