Mapping CIRCAL based Algorithms to Event Logic
Loading...
Authors
Elleithy, Khaled M.
Amin, Alaaeldin A.M.
Issue Date
1996-12
Type
Article
Language
en_US
Keywords
Engineering , CIRCAL , Algorithm
Alternative Title
Abstract
In this paper a new approach for implementing CIRCAL algorithms 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-acknowledgement protocol under 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.
Description
Citation
K. M. Elleithy, A. A. M. Amin, "Mapping CIRCAL based Algorithms to Event Logic," The Journal of University of Kuwait, no. 1, Dec. 1996.
Publisher
Academic Publication Council, Kuwait University