A Survey of Some Theoretical Aspects of Multiprocessing
ACM Computing Surveys (CSUR)
A computation model with data flow sequencing
A computation model with data flow sequencing
Flow of control, resource allocation, and the proper termination of programs
Flow of control, resource allocation, and the proper termination of programs
A unifying notation and analysis of modular register-transfer (rt) control.
A unifying notation and analysis of modular register-transfer (rt) control.
Computer structures: Readings and examples (McGraw-Hill computer science series)
Computer structures: Readings and examples (McGraw-Hill computer science series)
Deterministic systems design from functional specifications
DAC '81 Proceedings of the 18th Design Automation Conference
Current research in computer networks: a personal view
ACM SIGCOMM Computer Communication Review
The CMU RT-CAD system: an innovative approach to computer aided design
AFIPS '76 Proceedings of the June 7-10, 1976, national computer conference and exposition
Hi-index | 0.00 |
A distinguishing feature of modular design from ad hoc design is the establishment of an intermodule protocol to which all modules adhere. The problem of representing and analyzing intermodule protocol for the control portion of register transfer level systems is outlined. An introduction to two existing graph models of computation indicates that existing register transfer level module sets are representable by various "token flow" models. A single model that is capable of representing the token flow models and some of its analytical properties are illustrated by example. Finally, three examples of deadlocks in existing modules sets are presented. These deadlocks were uncovered by the analytic properties of the new model. One example is due to incorrect interconnection of modules at the user level. The other two illustrate incorrect signaling conventions between modules necessitating a redesign of some modules.