A Survey of Microcellular Research
Journal of the ACM (JACM)
COORDINATION OF ASYNCHRONOUS EVENTS
COORDINATION OF ASYNCHRONOUS EVENTS
IEEE Transactions on Computers
AFIPS '67 (Spring) Proceedings of the April 18-20, 1967, spring joint computer conference
Designing Control Logic for Counterflow Pipeline Processor Using Petri Nets
Formal Methods in System Design
Programmable Array Realizations of Synchronous Sequential Machines
IEEE Transactions on Computers
Hi-index | 0.01 |
The microprogrammed controls which have evolved following Wilkes' suggestion are for synchronous control structures. This paper presents a micro-programmable array for realizing an asynchronous control structure. The work presented here extends Jump's asynchronous control arrays to include many essential control capabilities which were lacking. The arrays realize structures which allow sequencing of operations, conditional branch, subroutine call, fork operation to create parallel processes, join of parallel processes, merging of control, and arbitration with semaphore primitives to achieve controlled access to limited resources. The control to be realized is specified as a Simple Petri net which is then translated into an array representation which represents the microprogram. The cellular array is then obtained by selecting cell configurations in accordance with the node of the array representation of the control. The circuits obtained are asynchronous and speed independent. The microprogrammed array is a cellular form of C, S, NOR, XOR synthesis of Petri Nets.