TSOtool: a program for verifying memory systems using the memory consistency model
Authors:
- S. HangalSHS. Hangal
- D. VahiaDVD. Vahia
- C. ManovitCMC. Manovit
- Juin-Yeu Joseph LuJLJuin-Yeu Joseph Lu
- S. NarayananSNS. Narayanan
- 13 November 2004
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 114-123
Abstract
No abstract availableThis publication has 14 references indexed in Scilit:
- The complexity of verifying memory coherence2003
- Transparent and scalable client-side server selection using Netlets2003
- Functional verification of a multiple-issue, out-of-order, superscalar Alpha processor-the DEC Alpha 21264 microprocessor2002
- Verification of the UltraSPARC microprocessor2002
- Functional verification of the POWER4 microprocessor and POWER4 multiprocessor systemsIBM Journal of Research and Development, 2002
- Automatable verification of sequential consistency2001
- An executable specification and verifier for relaxed memory orderIEEE Transactions on Computers, 1999
- Multiprocessors should support simple memory consistency modelsComputer, 1998
- Shared memory consistency models: a tutorialComputer, 1996
- Formal Specification of Memory Models1992