## Computer-Based Tools For Regular Array Design (1989)

Venue: | in Systolic Array Processors |

Citations: | 17 - 9 self |

### BibTeX

@INPROCEEDINGS{Luk89computer-basedtools,

author = {Wayne Luk and Geraint Jones and Mary Sheeran},

title = {Computer-Based Tools For Regular Array Design},

booktitle = {in Systolic Array Processors},

year = {1989},

pages = {589--598},

publisher = {Prentice Hall}

}

### Years of Citing Articles

### OpenURL

### Abstract

. We present an overview of a prototype system based on a functional language for developing regular array circuits. The features of a simulator, floorplanner and expression transformer are discussed and illustrated. INTRODUCTION Implementing algorithms on a regular array of processors has many advantages. Besides offering an efficient realisation of parallel structures, regular patterns of interconnections also provide an opportunity for simplifying their description and their development. Various approaches for regular array design have been proposed; examples include methods based on dependence graphs [5], recurrence equations [14], and algebraic techniques [16]. This paper presents an overview of a prototype system for regular array development. The system is based on ¯FP [15], a functional language with mechanisms for abstracting spatial and temporal iteration. These abstractions result in a succinct and precise notation for specifying designs. Moreover, the explicit representat...

### Citations

582 |
A Document Preparation System
- Lamport, LaTeX
- 1986
(Show Context)
Citation Context ...g three formats: 1. a format that can be displayed on an ordinary text terminal and is suitable for a line printer, 2. a format for a bit-mapped screen using high-resolution graphics, 3. in L a T E X =-=[6] for-=-mat. The floorplanner also includes facilities for drawing particular parts of a circuit and for producing layouts to a specified level of detail. Expression transformer ��FP has many theorems for... |

470 |
Can programming be liberated from the von Neumann style?: A functional style and its algebra of programs
- Backus
- 1978
(Show Context)
Citation Context ...d expression transformation; these will be reviewed and demonstrated in the following sections. THE LANGUAGE Designs are represented as expressions in ��FP, a descendant of the functional language=-= FP [1]. Ob-=-jects in ��FP are either atoms (such as numbers) or tuples of objects: for instance the object h0; h1; 2ii is a 2-tuple containing the number 0 and the tuple h1; 2i. A stream is an infinite tuple ... |

159 |
Optimizing synchronous systems
- Leiserson, Saxe
- 1983
(Show Context)
Citation Context ...r The simulator is basically a behaviour-interpreter for ��FP expressions; it also contains various functions for generating constant or varying streams. Multi-phase clock systems and n-slow circu=-=its [7]-=- can be simulated by functions interleaving n streams or selecting every n th element of a stream; the latter can also be used for selecting specific cycles of simulation output. Stream functions are ... |

153 |
VLSZ Array processors
- Kung
- 1988
(Show Context)
Citation Context ...lso provide an opportunity for simplifying their description and their development. Various approaches for regular array design have been proposed; examples include methods based on dependence graphs =-=[5], re-=-currence equations [14], and algebraic techniques [16]. This paper presents an overview of a prototype system for regular array development. The system is based on ��FP [15], a functional language... |

80 |
Automatic synthesis of systolic arrays from uniform recurrent equations
- Quinton
- 1984
(Show Context)
Citation Context ... for simplifying their description and their development. Various approaches for regular array design have been proposed; examples include methods based on dependence graphs [5], recurrence equations =-=[14], an-=-d algebraic techniques [16]. This paper presents an overview of a prototype system for regular array development. The system is based on ��FP [15], a functional language with mechanisms for abstra... |

30 |
muFP, A language for VLSI Design
- Sheeran
- 1984
(Show Context)
Citation Context ...ed on dependence graphs [5], recurrence equations [14], and algebraic techniques [16]. This paper presents an overview of a prototype system for regular array development. The system is based on ���=-=�FP [15]-=-, a functional language with mechanisms for abstracting spatial and temporal iteration. These abstractions result in a succinct and precise notation for specifying designs. Moreover, the explicit repr... |

16 |
Designing regular array architectures using higher order functions
- Sheeran
- 1985
(Show Context)
Citation Context ...ion and their development. Various approaches for regular array design have been proposed; examples include methods based on dependence graphs [5], recurrence equations [14], and algebraic techniques =-=[16]. Th-=-is paper presents an overview of a prototype system for regular array development. The system is based on ��FP [15], a functional language with mechanisms for abstracting spatial and temporal iter... |

13 |
Hydra: Hardware Description in a Functional Language using Recursion Equations and High Order Combining Forms, The Fusion of Hardware Design and Veri
- O'Donnell
(Show Context)
Citation Context ...ice, and that the system facilitates the rapid exploration of choices in designing a circuit to perform a particular function. Similar benefits have been reported for other hardware development tools =-=[13, 12]-=- based on functional languages. Our work has provided a basis for a design environment which enables the costeffective production of regular array circuits. Current research is directed towards enhanc... |

10 |
Relations + higher-order functions = hardware descriptions
- Jones, Sheeran
- 1987
(Show Context)
Citation Context ...another: (F ; G) x = G (F x) (we use reverse composition to conform with the convention that signals flow from left to right and also to preserve compatibility with relational description of circuits =-=[17]-=-). Construction, on the other hand, corresponds to broadcasting the input to each component of a composite circuit. The output will be a stream of n-tuples where n is the number of components in the c... |

8 |
The derivation of regular synchronous circuits
- Luk, Jones
- 1988
(Show Context)
Citation Context ... described at different levels of abstraction. EXPERIENCE AND EXTENSIONS The tools have been exercised on various word-level and bit-level regular array designs, including convolvers, rank evaluators =-=[9]-=-, multipliers [10], recursive filters [11], sorters [17], and motion estimators [4, 3]. One of the motion estimator circuits [3] is shortly due for fabrication. The tools have also been used for under... |

5 |
Specifying and developing regular heterogeneous designs
- Luk
- 1990
(Show Context)
Citation Context ...f regular array circuits. Current research is directed towards enhancing the completeness, effectiveness and robustness of our tools, and extending them to encompass relational [17] and heterogeneous =-=[8]-=- array descriptions. Other possible extensions include: improving the interface to designers and to other tools (such as conventional computer-aided design tools and theorem provers), and the developm... |

5 |
From specification to parametrised architectures
- Luk, Jones
- 1988
(Show Context)
Citation Context ...ferent levels of abstraction. EXPERIENCE AND EXTENSIONS The tools have been exercised on various word-level and bit-level regular array designs, including convolvers, rank evaluators [9], multipliers =-=[10]-=-, recursive filters [11], sorters [17], and motion estimators [4, 3]. One of the motion estimator circuits [3] is shortly due for fabrication. The tools have also been used for undergraduate and gradu... |

3 |
An array processor for video picture motion estimation
- Bhandal, Considine, et al.
- 1989
(Show Context)
Citation Context ...have been exercised on various word-level and bit-level regular array designs, including convolvers, rank evaluators [9], multipliers [10], recursive filters [11], sorters [17], and motion estimators =-=[4, 3]-=-. One of the motion estimator circuits [3] is shortly due for fabrication. The tools have also been used for undergraduate and graduate teaching. Although the current set of tools is intended for expe... |

3 |
FP: An Environment for the Multi-level Specification, Analysis, and Synthesis of Hardware Algorithms
- Patel, Schlag, et al.
- 1985
(Show Context)
Citation Context ...ice, and that the system facilitates the rapid exploration of choices in designing a circuit to perform a particular function. Similar benefits have been reported for other hardware development tools =-=[13, 12]-=- based on functional languages. Our work has provided a basis for a design environment which enables the costeffective production of regular array circuits. Current research is directed towards enhanc... |

2 |
An introduction to Orwell. Programming Research
- Wadler, Miller, et al.
- 1987
(Show Context)
Citation Context ...f ��FP to provide an integrated set of tools for capturing, exploring, refining and evaluating regular array designs. Various versions of the tools have been written in the functional language Orw=-=ell [18]-=-, whose simplicity and conciseness make it easy to investigate alternative implementations. We have prototyped facilities for simulation, floorplanning and expression transformation; these will be rev... |

1 |
Early feelings on muFP and the Orwell system
- Bhandal
- 1987
(Show Context)
Citation Context ... set of tools is intended for experimenting with different ways of interpreting and manipulating expressions in our notation rather than for use in a production environment, early designer experience =-=[2]-=- has been encouraging. It is confirmed that the simplicity and succinctness of our notation enable circuits to be described very elegantly and quickly with practice, and that the system facilitates th... |

1 |
Array architectures
- Bhandal, Griffin, et al.
- 1988
(Show Context)
Citation Context ...have been exercised on various word-level and bit-level regular array designs, including convolvers, rank evaluators [9], multipliers [10], recursive filters [11], sorters [17], and motion estimators =-=[4, 3]-=-. One of the motion estimator circuits [3] is shortly due for fabrication. The tools have also been used for undergraduate and graduate teaching. Although the current set of tools is intended for expe... |

1 |
Systolic recursive filters
- Luk, Jones
- 1988
(Show Context)
Citation Context ...tion. EXPERIENCE AND EXTENSIONS The tools have been exercised on various word-level and bit-level regular array designs, including convolvers, rank evaluators [9], multipliers [10], recursive filters =-=[11]-=-, sorters [17], and motion estimators [4, 3]. One of the motion estimator circuits [3] is shortly due for fabrication. The tools have also been used for undergraduate and graduate teaching. Although t... |