A Hybrid Model for Reasoning about Composed Hardware Systems (1994)
| Venue: | Conference on Computer-Aided Verification |
| Citations: | 1 - 0 self |
BibTeX
@INPROCEEDINGS{Schubert94ahybrid,
author = {E. Thomas Schubert},
title = {A Hybrid Model for Reasoning about Composed Hardware Systems},
booktitle = {Conference on Computer-Aided Verification},
year = {1994}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
. To formally specify and reason about composed systems, a process algebra is developed that integrates an extended interpreter model. This approach utilizes the interpreter model for device decomposition, while also being able to reason about larger systems that require interdevice communication. By combining these approaches, convenient notations are available to specify and verify both device independent properties (e.g., instruction sets) and device interdependent properties (e.g., communication protocols). 1 Introduction Previous approaches to system verification have decomposed systems into several hardware and software layers that may be independently verified [3, 9, 11, 17]. Each layer consists of an implementation description and a more abstract specification. The layers are joined, or "stacked", with each implementation description serving as the specification for the next lower layer. The hardware layers of these systems have been modeled as a microprocessor with memory. Th...
