On 9 Nov 2015, at 12:12 , Raymond Jennings shentino@gmail.com wrote:
Can I say btw that virtually addressed caches stink?
Not really, they are fun, but not the sort of fun formal verification people like
Gernot
________________________________
The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments.