Date: | Tue, 11 Oct 2005 20:13:47 -0700 (PDT) |
---|---|
From: | arrvindh shriraman <arrvindh_shriraman@xxxxxxxxx> |
Subject: | [Gems-users] SLICC Transient states |
When developing a optimized protocols on existing MESI, is there any way to determine the transient states required. From base MESI (which assumes an atomic bus) is there any specific steps to determine transient states and verify correctness, before using SLICC and tester.exec. Also How do I include new bus-msgs, and bus lines (like 'S') ? __________________________________ Yahoo! Mail - PC Magazine Editors' Choice 2005 http://mail.yahoo.com |
[← Prev in Thread] | Current Thread | [Next in Thread→] |
---|---|---|
|
Previous by Date: | Re: [Gems-users] livelock/deadlock after loading opal., Liqun Cheng |
---|---|
Next by Date: | [Gems-users] Generating traces with ruby, Sean Ryan Leventhal |
Previous by Thread: | Re: [Gems-users] SIMICS directory, Dan Gibson |
Next by Thread: | [Gems-users] Snoop Device, arrvindh shriraman |
Indexes: | [Date] [Thread] |