DocumentCode
285693
Title
High level synthesis of controllers for communication protocols
Author
Khan, Asjad M T ; Sait, Sadiq M. ; Beckhoff, Gerhard F.
Author_Institution
King Fahd Univ. of Pet. & Miner., Dhahran, Saudi Arabia
Volume
4
fYear
1992
fDate
3-6 May 1992
Firstpage
1741
Abstract
A method for implementing communication protocols in hardware is presented. A design automation system that accepts Petri net models of digital systems and produces VLSI layouts is proposed. It is assumed that the composite Petri net model of the protocol is available. A procedure for automatically detecting the entities of the communication protocol is given. This procedure has exponential complexity as it uses a reachability graph. No restrictions have been put on the Petri net model
Keywords
Petri nets; VLSI; circuit layout CAD; protocols; Petri net models; VLSI layouts; communication protocols; design automation system; digital systems; exponential complexity; hardware; high level synthesis of controllers; reachability graph; Communication system control; Design automation; Hardware; High level synthesis; Integrated circuit interconnections; Minerals; Petri nets; Petroleum; Protocols; Very large scale integration;
fLanguage
English
Publisher
ieee
Conference_Titel
Circuits and Systems, 1992. ISCAS '92. Proceedings., 1992 IEEE International Symposium on
Conference_Location
San Diego, CA
Print_ISBN
0-7803-0593-0
Type
conf
DOI
10.1109/ISCAS.1992.230419
Filename
230419
Link To Document