By: Konrad Schwarz (no.spam.delete@this.no.spam), September 2, 2007 1:57 am
Room: Moderated Discussions
Hi,
you make frequent reference to EV7 and I see Brannon Batson's name in the patent list. Would you have any (more) indication that Lamport's Temporal Logic of Actions was used to validate the cache coherency protocol (or other parts)? I would like to know how well it fares in practice.
Regards
Konrad
you make frequent reference to EV7 and I see Brannon Batson's name in the patent list. Would you have any (more) indication that Lamport's Temporal Logic of Actions was used to validate the cache coherency protocol (or other parts)? I would like to know how well it fares in practice.
Regards
Konrad