Title :
A model of a microprogrammed functional-oriented computing unit
Author :
Alderighi, Monica ; Sechi, G.R.
Author_Institution :
Istituto di Fisica Cosmica e Tecnol. Relative, CNR, Milano, Italy
Abstract :
Computing physics is a discipline of computer science the aim of which is to model automatic computing. The basic idea is to use a collection of formal theories for describing mechanisms and reasoning about them scientifically, while formulating the problems to be used as design specifications by means of new functions and, in general, new conceptual and formalizable tools. A design problem must be formulated to define the desired solution as a compound expression, prove that it describes the computation to be designed for all possible cases and input data, and derive the corresponding mechanism. The authors present a case for which it is possible to specify compound expressions and their corresponding mechanisms. It concerns the modeling of a computing unit for the AFP functional language. The paper shows (1) the data structure suitable to represent AFP programs and their reduction, and (2) how from AFP program definition it is possible to derive the model of a computing unit performing arithmetic operations, of more than elementary complexity
Keywords :
automata theory; data structures; functional programming; microprogramming; programming theory; AFP functional language; arithmetic operations; automatic computing; compound expression; computer science; computing unit; data structure; design specifications; formal theories; microprogrammed functional-oriented computing unit; Arithmetic; Computer science; Data structures; Hardware; Impedance; Page description languages; Physics computing; Production; Registers; Software tools;
Conference_Titel :
Microprogramming and Microarchitecture. Micro 23. Proceedings of the 23rd Annual Workshop and Symposium., Workshop on
Conference_Location :
Orlando, FL
Print_ISBN :
0-8186-2124-9
DOI :
10.1109/MICRO.1990.151456
