TSOtool - ISCA presentation

2,303 views
2,306 views

Published on

TSOtool - ISCA presentation

Published in: Business, Technology
0 Comments
0 Likes
Statistics
Notes
  • Be the first to comment

  • Be the first to like this

No Downloads
Views
Total views
2,303
On SlideShare
0
From Embeds
0
Number of Embeds
942
Actions
Shares
0
Downloads
7
Comments
0
Likes
0
Embeds 0
No embeds

No notes for slide

TSOtool - ISCA presentation

  1. 1. TSOtool: A Program for Verifying Memory Systems Using the Memory Consistency Model Sudheendra Hangal†, Durgam Vahia‡, Chaiyasit Manovit‡, Joseph Lu‡ and Sridhar Narayanan‡ tsotool@sun.com ISCA-2004 † Sun Microsystems India Pvt. Ltd., Bangalore (India) ‡ Sun Microsystems, Sunnyvale, CA (USA) P1
  2. 2. Goal: Find the hard memory-related bugs in Sun's multiprocessor systems P2

×