Date: | Fri, 29 May 2009 20:13:02 -0400 |
---|---|
From: | Polina Dudnik <pdudnik@xxxxxxxxx> |
Subject: | Re: [Gems-users] Formal Verification of Cache Coherence Protocols |
Hi Abdullah, Currently we are not aware of any tools out there to perform formal verification. In general we verify the protocols through rigorous testing. You might find this paper interesting "Verifying a Multiprocessor Cache Controller Using Random Test Generation". Maybe someone else on the list can comment on this? Polina On Fri, May 29, 2009 at 6:49 PM, Abdullah Kayi <apokayi@xxxxxxxxxxxxxx> wrote: Hi all, |
[← Prev in Thread] | Current Thread | [Next in Thread→] |
---|---|---|
|
Previous by Date: | [Gems-users] MOESI_CMP_* protocols, Edward Lee |
---|---|
Next by Date: | [Gems-users] Using Multiple CC Protocols, Edward Lee |
Previous by Thread: | [Gems-users] Formal Verification of Cache Coherence Protocols, Abdullah Kayi |
Next by Thread: | [Gems-users] Inclusive L2 cache, Edward Lee |
Indexes: | [Date] [Thread] |