Abstraction of Hardware Construction

Li-Guo Wang and Michael Mendler

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