Date: | Fri, 29 May 2009 18:49:42 -0400 |
---|---|
From: | Abdullah Kayi <apokayi@xxxxxxxxxxxxxx> |
Subject: | [Gems-users] Formal Verification of Cache Coherence Protocols |
Hi all,I modified some of the GEMS released protocols and I am looking for a possible way of doing formal verification. I read the CAN' 2005 GEMS paper and I saw couple of sentences talking about this, specifically converting SLICC codes to TLA+ or Murphi. I was wondering whether there is any automated tool available for this purpose as of now. Or, if anybody has tried this before, can I get some tips on how to proceed? Thanks in advance, Abdullah |
[← Prev in Thread] | Current Thread | [Next in Thread→] |
---|---|---|
|
Previous by Date: | Re: [Gems-users] Error loading opal, Luo, Yan |
---|---|
Next by Date: | [Gems-users] MOESI_CMP_* protocols, Edward Lee |
Previous by Thread: | [Gems-users] error when run scripts in gems/gen-scripts to warm up the cache, shanshuchang |
Next by Thread: | Re: [Gems-users] Formal Verification of Cache Coherence Protocols, Polina Dudnik |
Indexes: | [Date] [Thread] |