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
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;
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
DOI :
10.1109/ISCAS.1992.230419
