High level synthesis of controllers for communication protocols
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...
Saved in:
| Main Author: | |
|---|---|
| Other Authors: | , , |
| Format: | article |
| Published: |
1992
|
| Subjects: | |
| Online Access: | https://eprints.kfupm.edu.sa/id/eprint/14753/1/14753_1.pdf https://eprints.kfupm.edu.sa/id/eprint/14753/2/14753_2.doc |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Summary: | 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 |
|---|