Abstract: We concentrate on the foundation of formal hardware construction and present a new hardware-centered concept and methodology. It is a development from, and also contract to, the traditional logic-centered approach. It introduces a higher-order variable construction model of hardware and the notion of generic construction schemes. We demonstrate how the model and the schemes formalize the construction (and verification as well) for a class of computers, as an example to illustrate our concepts and method.
ECS-LFCS-95-334, September 1995.
A version of this report appears in Springer-Verlag LNCS volume 1074.
This report is available in the following formats:Previous | Index | Next