Gopinath, K and Rao, Manohara R (1994) Verification of the DASH cache consistency protocols. In: Computer Systems and Education. Proceedings of the International Conference on Computer Systems and Education in Honour of Prof. V. Rajaraman, 22-25 June 1994, Bangalore, India, pp. 16-31.
Full text not available from this repository. (Request a copy)Abstract
Symbolic model checking is a technique to represent a very large state space compactly using Boolean decision diagrams without explicitly constructing the state graph. In this paper, we use a symbolic model verifier (SMV) that follows this approach to verify a simplified version of the cache consistency protocols of Stanford's DASH (Directory Architecture for SHared memory) multiprocessor
Item Type: | Conference Paper |
---|---|
Publisher: | Tata McGraw-Hill |
Additional Information: | Copyright of this article belongs to Tata McGraw-Hill. |
Keywords: | cache storage;data integrity;diagrams;formal verification; memory protocols;shared memory systems;state space methods; temporal logic |
Department/Centre: | Division of Electrical Sciences > Computer Science & Automation |
Date Deposited: | 28 Sep 2007 |
Last Modified: | 11 Jan 2012 09:27 |
URI: | http://eprints.iisc.ac.in/id/eprint/11020 |
Actions (login required)
View Item |