A Frame-Work for High Level Synthesis of Digital Architectures From μ–Recursive Algorithms
No Thumbnail Available
Authors
Elleithy, Khaled M.
Bayoumi, Magdy A.
Issue Date
1990
Type
Article
Language
en_US
Keywords
Computer science , Algorithm
Alternative Title
Abstract
The major drawback of reported high level synthesis techniques is their limited applicability to a specific class of algorithms without extendibility to general algorithms and the lack of a formal approach to prove the correctness of the such techniques. In this paper, we introduce a novel approach for high level synthesis from μ-recursive algorithms. Two features are provided by the approach: completeness and correctness. Completeness means the ability to use the approach for any general algorithm. Correctness is achieved by using a set of transformations that are proved to be correct. A formal framework for the synthesis procedure has been developed which can be easily automated. A given algorithm will be represented in a new developed language termed Algorithm Specification Language (ASL). ASL has the ability to describe any general algorithm. An automatic procedure is used to transform an ASL representation into a specific realization specification using a correctness preserving set of transformations. The realization format is based on representing the digital architectures by a Realization Specification Language (RSL).
Description
Sadly we cannot post a copy of this proceedings as we are only allowed to post a pre-print copy, which we do not have. To access this article use the information from the WorldCat link to below to request the article through inter-library loan from your local library.
Citation
Publisher
ACM Publishing