TSOtool: a program for verifying memory systems using the memory consistency model
- 13 November 2004
- conference paper
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
No abstract availableThis publication has 14 references indexed in Scilit:
- The complexity of verifying memory coherencePublished by Association for Computing Machinery (ACM) ,2003
- Transparent and scalable client-side server selection using NetletsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Functional verification of a multiple-issue, out-of-order, superscalar Alpha processor-the DEC Alpha 21264 microprocessorPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Verification of the UltraSPARC microprocessorPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Functional verification of the POWER4 microprocessor and POWER4 multiprocessor systemsIBM Journal of Research and Development, 2002
- Automatable verification of sequential consistencyPublished by Association for Computing Machinery (ACM) ,2001
- 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 ModelsPublished by Springer Science and Business Media LLC ,1992