Conference Paper

Synthesizing Digital Signal Processing Algorithms from Formal Descriptions

Authors:
Khaled Elleithy at University of Bridgeport
Khaled Elleithy
Alaaeldin A Amin at King Fahd University of Petroleum and Minerals
Alaaeldin A Amin
Download citation
To read the full-text of this research, you can request a copy directly from the authors.

No full-text available

Request Full-text Paper PDF

To read the full-text of this research,
you can request a copy directly from the authors.

Mapping CIRCAL based algorithms to event logic
Article
Full-text available
  • Dec 1996
  • KUWAIT J SCI ENG
In this paper a new approach fro implementing CIRCAL algorithm using event logic is presented. A high- level description of an algorithm is expressed in CIRCAL, a formal parallel hardware description language. The approach employs a transition signaling convention and a request-acknowledgment protocol under the bundled data model. The mapping approach is a syntax-directed one that will parse various CIRCAL constructs to their corresponding event logic. The mapping methodology is illustrated by an example.
View
ResearchGate has not been able to resolve any references for this publication.