Your SlideShare is downloading. ×
0
TSOtool - ISCA presentation
TSOtool - ISCA presentation
TSOtool - ISCA presentation
TSOtool - ISCA presentation
TSOtool - ISCA presentation
TSOtool - ISCA presentation
TSOtool - ISCA presentation
TSOtool - ISCA presentation
TSOtool - ISCA presentation
TSOtool - ISCA presentation
TSOtool - ISCA presentation
TSOtool - ISCA presentation
TSOtool - ISCA presentation
TSOtool - ISCA presentation
TSOtool - ISCA presentation
TSOtool - ISCA presentation
TSOtool - ISCA presentation
TSOtool - ISCA presentation
TSOtool - ISCA presentation
TSOtool - ISCA presentation
TSOtool - ISCA presentation
TSOtool - ISCA presentation
TSOtool - ISCA presentation
TSOtool - ISCA presentation
TSOtool - ISCA presentation
TSOtool - ISCA presentation
Upcoming SlideShare
Loading in...5
×

Thanks for flagging this SlideShare!

Oops! An error has occurred.

×
Saving this for later? Get the SlideShare app to save on your phone or tablet. Read anywhere, anytime – even offline.
Text the download link to your phone
Standard text messaging rates apply

TSOtool - ISCA presentation

1,811

Published on

TSOtool - ISCA presentation

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
1,811
On Slideshare
0
From Embeds
0
Number of Embeds
3
Actions
Shares
0
Downloads
5
Comments
0
Likes
0
Embeds 0
No embeds

Report content
Flagged as inappropriate Flag as inappropriate
Flag as inappropriate

Select your reason for flagging this presentation as inappropriate.

Cancel
No notes for slide

Transcript

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

×