An FP-based Design Methodology for Problem-oriented Architectures
Panayiotis D. Tsanakas · The Computer Journal · 1989
A methodology based on functional programming for the systematic synthesis of problem-oriented architectures is presented. The different ways of sequencing the input data are shown to lead to a variety of alternative architectures for the same computational problem (with the same behavioural description). The finally selected architecture satisfies certain user-defined restrictions and maximises given performance criteria. The presented methodology is applicable to a wide range of computing problems and can be used in the process of designing specialised VLSI systems.