Khan, A.M.T. and Sait, Sadiq M. and Beckhoff, G.F. (1992) High level synthesis of controllers for communication protocols. Circuits and Systems, 1992. ISCAS '92. Proceedings., 1992 IEEE International Symposium on, 4.
![[img]](http://eprints.kfupm.edu.sa/style/images/fileicons/application_pdf.png)
| PDF 18Kb | |
![[img]](http://eprints.kfupm.edu.sa/style/images/fileicons/application_msword.png) | Microsoft Word 26Kb |
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
| Item Type: | Article |
|---|---|
| Date: | May 1992 |
| Date Type: | Publication |
| Subjects: | Computer |
| Divisions: | College Of Computer Sciences and Engineering > Computer Engineering Dept |
| Creators: | Khan, A.M.T. and Sait, Sadiq M. and Beckhoff, G.F. |
| Email: | UNSPECIFIED, sadiq@kfupm.edu.sa, UNSPECIFIED |
| ID Code: | 14753 |
| Deposited By: | KFUPM ePrints Admin |
| Deposited On: | 24 Jun 2008 16:48 |
| Last Modified: | 12 Apr 2011 13:17 |
Repository Staff Only: item control page