TSOtool - ISCA presentation
Upcoming SlideShare
Loading in...5
×
 

TSOtool - ISCA presentation

on

  • 2,481 views

TSOtool - ISCA presentation

TSOtool - ISCA presentation

Statistics

Views

Total Views
2,481
Views on SlideShare
1,800
Embed Views
681

Actions

Likes
0
Downloads
3
Comments
0

7 Embeds 681

http://xenon.stanford.edu 668
http://www-cs-students.stanford.edu 6
http://translate.googleusercontent.com 3
https://xenon.stanford.edu 1
http://209.85.229.132 1
http://webcache.googleusercontent.com 1
http://translate.googl 1
More...

Accessibility

Categories

Upload Details

Uploaded via as Adobe PDF

Usage Rights

© All Rights Reserved

Report content

Flagged as inappropriate Flag as inappropriate
Flag as inappropriate

Select your reason for flagging this presentation as inappropriate.

Cancel
  • Full Name Full Name Comment goes here.
    Are you sure you want to
    Your message goes here
    Processing…
Post Comment
Edit your comment

TSOtool - ISCA presentation TSOtool - ISCA presentation Presentation Transcript

  • 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
  • Goal: Find the hard memory-related bugs in Sun's multiprocessor systems P2